#functionalprogamming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functionalprogamming, aggregated by home.social.
-
A couple of posts recently reminded me of this article by Frank Quinn
https://www.ams.org/notices/201201/rtx120100031p.pdf
about, in part, how math education is stuck in the 19th century meaning: there was a huge shift in math in the early 20th century to make definitions precise and self-contained and proofs more rigorous so that they made no appeals to intuition about the physical world. This results in definitions that may seem more opaque at first, but that one can understand by working with them, and that are equally usable by everyone.
The way that math is usually taught, it is not even clear which things are definitions and which things follow from them. I defected from physics to math because I could never understand what "appealing to physical intuition" meant which is a common refrain in mechanics classes (less in quantum mechanics :)).
Only semi-relatedly: it's a shame that, through the beginning of college, math is taught as an unwavering march to calculus when high school students could easily learn basic group theory and topology and, I'm sure, would love it. "You can study tiling patterns using algebra?! Cool!!"
Anecdotally, it seems like a decent number of functional programmers do not particularly like math in school, but fall in love with the math they encounter in fp. It is such a missed opportunity that they have to stumble into it that way.
-
A couple of posts recently reminded me of this article by Frank Quinn
https://www.ams.org/notices/201201/rtx120100031p.pdf
about, in part, how math education is stuck in the 19th century meaning: there was a huge shift in math in the early 20th century to make definitions precise and self-contained and proofs more rigorous so that they made no appeals to intuition about the physical world. This results in definitions that may seem more opaque at first, but that one can understand by working with them, and that are equally usable by everyone.
The way that math is usually taught, it is not even clear which things are definitions and which things follow from them. I defected from physics to math because I could never understand what "appealing to physical intuition" meant which is a common refrain in mechanics classes (less in quantum mechanics :)).
Only semi-relatedly: it's a shame that, through the beginning of college, math is taught as an unwavering march to calculus when high school students could easily learn basic group theory and topology and, I'm sure, would love it. "You can study tiling patterns using algebra?! Cool!!"
Anecdotally, it seems like a decent number of functional programmers do not particularly like math in school, but fall in love with the math they encounter in fp. It is such a missed opportunity that they have to stumble into it that way.
-
A couple of posts recently reminded me of this article by Frank Quinn
https://www.ams.org/notices/201201/rtx120100031p.pdf
about, in part, how math education is stuck in the 19th century meaning: there was a huge shift in math in the early 20th century to make definitions precise and self-contained and proofs more rigorous so that they made no appeals to intuition about the physical world. This results in definitions that may seem more opaque at first, but that one can understand by working with them, and that are equally usable by everyone.
The way that math is usually taught, it is not even clear which things are definitions and which things follow from them. I defected from physics to math because I could never understand what "appealing to physical intuition" meant which is a common refrain in mechanics classes (less in quantum mechanics :)).
Only semi-relatedly: it's a shame that, through the beginning of college, math is taught as an unwavering march to calculus when high school students could easily learn basic group theory and topology and, I'm sure, would love it. "You can study tiling patterns using algebra?! Cool!!"
Anecdotally, it seems like a decent number of functional programmers do not particularly like math in school, but fall in love with the math they encounter in fp. It is such a missed opportunity that they have to stumble into it that way.
-
A couple of posts recently reminded me of this article by Frank Quinn
https://www.ams.org/notices/201201/rtx120100031p.pdf
about, in part, how math education is stuck in the 19th century meaning: there was a huge shift in math in the early 20th century to make definitions precise and self-contained and proofs more rigorous so that they made no appeals to intuition about the physical world. This results in definitions that may seem more opaque at first, but that one can understand by working with them, and that are equally usable by everyone.
The way that math is usually taught, it is not even clear which things are definitions and which things follow from them. I defected from physics to math because I could never understand what "appealing to physical intuition" meant which is a common refrain in mechanics classes (less in quantum mechanics :)).
Only semi-relatedly: it's a shame that, through the beginning of college, math is taught as an unwavering march to calculus when high school students could easily learn basic group theory and topology and, I'm sure, would love it. "You can study tiling patterns using algebra?! Cool!!"
Anecdotally, it seems like a decent number of functional programmers do not particularly like math in school, but fall in love with the math they encounter in fp. It is such a missed opportunity that they have to stumble into it that way.
-
To reprise one of my common refrains: I think everyone, especially software engineers, and extra especially functional programmers, should learn some algebra by which I mean: sets and functions, the basics of linear algebra, and the basics of group theory. Here are some references I like, then I'll stop going on about this for a little while and go on about other stuff.
Chapter 0: Preliminaries in Dummit and Foote (googlable pdf) is 8 pages including exercises and covers sets, functions, equivalence relations, modular arithmetic, and gives some previews of group theory. Skimming Chapters 1-3 would make a good introduction to groups. Harvard's entire abstract algebra course is also free on youtube[0].
As I mentioned recently: the first chapter of Strang's Linear Algebra and Its Applications (googlable pdf) is about solving systems of linear equations with previews of the linear algebra to come. Very nice book. For a good more general/theoretical book, Axler's Linear Algebra Done Right[1] is fantastic.
That's it! Enjoy!
[0] https://youtube.com/playlist?list=PLelIK3uylPMGzHBuR3hLMHrYfMqWWsmx5&si=IuahUS2GKPrG3c9c
[1] free pdf: https://linear.axler.net/ -
To reprise one of my common refrains: I think everyone, especially software engineers, and extra especially functional programmers, should learn some algebra by which I mean: sets and functions, the basics of linear algebra, and the basics of group theory. Here are some references I like, then I'll stop going on about this for a little while and go on about other stuff.
Chapter 0: Preliminaries in Dummit and Foote (googlable pdf) is 8 pages including exercises and covers sets, functions, equivalence relations, modular arithmetic, and gives some previews of group theory. Skimming Chapters 1-3 would make a good introduction to groups. Harvard's entire abstract algebra course is also free on youtube[0].
As I mentioned recently: the first chapter of Strang's Linear Algebra and Its Applications (googlable pdf) is about solving systems of linear equations with previews of the linear algebra to come. Very nice book. For a good more general/theoretical book, Axler's Linear Algebra Done Right[1] is fantastic.
That's it! Enjoy!
[0] https://youtube.com/playlist?list=PLelIK3uylPMGzHBuR3hLMHrYfMqWWsmx5&si=IuahUS2GKPrG3c9c
[1] free pdf: https://linear.axler.net/ -
To reprise one of my common refrains: I think everyone, especially software engineers, and extra especially functional programmers, should learn some algebra by which I mean: sets and functions, the basics of linear algebra, and the basics of group theory. Here are some references I like, then I'll stop going on about this for a little while and go on about other stuff.
Chapter 0: Preliminaries in Dummit and Foote (googlable pdf) is 8 pages including exercises and covers sets, functions, equivalence relations, modular arithmetic, and gives some previews of group theory. Skimming Chapters 1-3 would make a good introduction to groups. Harvard's entire abstract algebra course is also free on youtube[0].
As I mentioned recently: the first chapter of Strang's Linear Algebra and Its Applications (googlable pdf) is about solving systems of linear equations with previews of the linear algebra to come. Very nice book. For a good more general/theoretical book, Axler's Linear Algebra Done Right[1] is fantastic.
That's it! Enjoy!
[0] https://youtube.com/playlist?list=PLelIK3uylPMGzHBuR3hLMHrYfMqWWsmx5&si=IuahUS2GKPrG3c9c
[1] free pdf: https://linear.axler.net/ -
To reprise one of my common refrains: I think everyone, especially software engineers, and extra especially functional programmers, should learn some algebra by which I mean: sets and functions, the basics of linear algebra, and the basics of group theory. Here are some references I like, then I'll stop going on about this for a little while and go on about other stuff.
Chapter 0: Preliminaries in Dummit and Foote (googlable pdf) is 8 pages including exercises and covers sets, functions, equivalence relations, modular arithmetic, and gives some previews of group theory. Skimming Chapters 1-3 would make a good introduction to groups. Harvard's entire abstract algebra course is also free on youtube[0].
As I mentioned recently: the first chapter of Strang's Linear Algebra and Its Applications (googlable pdf) is about solving systems of linear equations with previews of the linear algebra to come. Very nice book. For a good more general/theoretical book, Axler's Linear Algebra Done Right[1] is fantastic.
That's it! Enjoy!
[0] https://youtube.com/playlist?list=PLelIK3uylPMGzHBuR3hLMHrYfMqWWsmx5&si=IuahUS2GKPrG3c9c
[1] free pdf: https://linear.axler.net/ -
Okay, it's time for a toot after a long time of lurking :flan_peek:
At the moment I'm learning a bit of Scheme and while reading "Simply Scheme" I've found this passage which explains functional programming :flan_book: It says that functional programming focuses on the value not the actions like in imperative languages. So basically one doesn't care how the program calculates for example the power of 2 of some integer. I just want to get the value/result of it.
But, somehow the program needs to know how to do a power of 2, right? I mean… the value doesn't appear out of the sudden, right? Does this mean that the language hides those "action" details from me :flan_think: ? Could someone shed some light upon my rumination, please :flan_smile: ?
PS: Apologies for this long toot!
-
Just finished writing a #blog article about my #langdev #functionalprogamming #rust #compiler project. Got too long for a toot-chain, so blog it is.
Will be posted later today on @[email protected] and boosted from this account.
That account is a writefreely instance, where I cannot reply to comments because writefreely does not have that feature... So make sure to reply to the boost on this account 😉
-
Just finished writing a #blog article about my #langdev #functionalprogamming #rust #compiler project. Got too long for a toot-chain, so blog it is.
Will be posted later today on @[email protected] and boosted from this account.
That account is a writefreely instance, where I cannot reply to comments because writefreely does not have that feature... So make sure to reply to the boost on this account 😉
-
Just finished writing a #blog article about my #langdev #functionalprogamming #rust #compiler project. Got too long for a toot-chain, so blog it is.
Will be posted later today on @[email protected] and boosted from this account.
That account is a writefreely instance, where I cannot reply to comments because writefreely does not have that feature... So make sure to reply to the boost on this account 😉
-
Just finished writing a #blog article about my #langdev #functionalprogamming #rust #compiler project. Got too long for a toot-chain, so blog it is.
Will be posted later today on @[email protected] and boosted from this account.
That account is a writefreely instance, where I cannot reply to comments because writefreely does not have that feature... So make sure to reply to the boost on this account 😉
-
Just finished writing a #blog article about my #langdev #functionalprogamming #rust #compiler project. Got too long for a toot-chain, so blog it is.
Will be posted later today on @[email protected] and boosted from this account.
That account is a writefreely instance, where I cannot reply to comments because writefreely does not have that feature... So make sure to reply to the boost on this account 😉
-
https://pca.st/episode/bb60c63e-2277-4509-8da8-d9d5d273e697
Jaret Binford on GitHub - https://github.com/Jaretbinford
Alex Miller on GitHub - https://github.com/puredanger -
https://pca.st/episode/bb60c63e-2277-4509-8da8-d9d5d273e697
Jaret Binford on GitHub - https://github.com/Jaretbinford
Alex Miller on GitHub - https://github.com/puredanger -
https://pca.st/episode/bb60c63e-2277-4509-8da8-d9d5d273e697
Jaret Binford on GitHub - https://github.com/Jaretbinford
Alex Miller on GitHub - https://github.com/puredanger -
https://pca.st/episode/bb60c63e-2277-4509-8da8-d9d5d273e697
Jaret Binford on GitHub - https://github.com/Jaretbinford
Alex Miller on GitHub - https://github.com/puredanger -
https://pca.st/episode/bb60c63e-2277-4509-8da8-d9d5d273e697
Jaret Binford on GitHub - https://github.com/Jaretbinford
Alex Miller on GitHub - https://github.com/puredanger -
"Function reuse is just wishful thinking"
A companion article to the talk by Nicolas Rinaudo.
https://nrinaudo.github.io/articles/function_reuse.html -
"Function reuse is just wishful thinking"
A companion article to the talk by Nicolas Rinaudo.
https://nrinaudo.github.io/articles/function_reuse.html -
"Function reuse is just wishful thinking"
A companion article to the talk by Nicolas Rinaudo.
https://nrinaudo.github.io/articles/function_reuse.html -
OK, this seems fun, so here's my #introduction
I'm a computer nerd from Germany, and finished my masters degree this year. I wrote my thesis about the monitoring of #p2p #botnets, the detection thereof using #graphtheory and how to prevent detection using a #collaborated #crawling approach. Beside that I did some #sSoftwareEngineering professionally and for fun.
I am generally interested in #malware, mostly oldschool parasitic viruses.
Sometimes I play #CTF.
Currently I'm looking to get into #InfoSec professionally or academically.
Other stuff I enjoy includes #rust, #linux, #OpenSource, #selfhosing, #NixOS, #FunctionalProgamming and #AnalogPhotograpgy
-
OK, this seems fun, so here's my #introduction
I'm a computer nerd from Germany, and finished my masters degree this year. I wrote my thesis about the monitoring of #p2p #botnets, the detection thereof using #graphtheory and how to prevent detection using a #collaborated #crawling approach. Beside that I did some #sSoftwareEngineering professionally and for fun.
I am generally interested in #malware, mostly oldschool parasitic viruses.
Sometimes I play #CTF.
Currently I'm looking to get into #InfoSec professionally or academically.
Other stuff I enjoy includes #rust, #linux, #OpenSource, #selfhosing, #NixOS, #FunctionalProgamming and #AnalogPhotograpgy
-
OK, this seems fun, so here's my #introduction
I'm a computer nerd from Germany, and finished my masters degree this year. I wrote my thesis about the monitoring of #p2p #botnets, the detection thereof using #graphtheory and how to prevent detection using a #collaborated #crawling approach. Beside that I did some #sSoftwareEngineering professionally and for fun.
I am generally interested in #malware, mostly oldschool parasitic viruses.
Sometimes I play #CTF.
Currently I'm looking to get into #InfoSec professionally or academically.
Other stuff I enjoy includes #rust, #linux, #OpenSource, #selfhosing, #NixOS, #FunctionalProgamming and #AnalogPhotograpgy
-
OK, this seems fun, so here's my #introduction
I'm a computer nerd from Germany, and finished my masters degree this year. I wrote my thesis about the monitoring of #p2p #botnets, the detection thereof using #graphtheory and how to prevent detection using a #collaborated #crawling approach. Beside that I did some #sSoftwareEngineering professionally and for fun.
I am generally interested in #malware, mostly oldschool parasitic viruses.
Sometimes I play #CTF.
Currently I'm looking to get into #InfoSec professionally or academically.
Other stuff I enjoy includes #rust, #linux, #OpenSource, #selfhosing, #NixOS, #FunctionalProgamming and #AnalogPhotograpgy
-
OK, this seems fun, so here's my #introduction
I'm a computer nerd from Germany, and finished my masters degree this year. I wrote my thesis about the monitoring of #p2p #botnets, the detection thereof using #graphtheory and how to prevent detection using a #collaborated #crawling approach. Beside that I did some #sSoftwareEngineering professionally and for fun.
I am generally interested in #malware, mostly oldschool parasitic viruses.
Sometimes I play #CTF.
Currently I'm looking to get into #InfoSec professionally or academically.
Other stuff I enjoy includes #rust, #linux, #OpenSource, #selfhosing, #NixOS, #FunctionalProgamming and #AnalogPhotograpgy
-
CONF: Reactive Conf Prague, Czech Republic Oct 30th, 2019 -> Nov 1st, 2019 - 3-day functional programming conference based in the Central Europe with top-notch speakers & 1300+ attendees. https://reactiveconf.com/ #Conference #FunctionalProgamming by @[email protected]
-
CONF: Reactive Conf Prague, Czech Republic Oct 30th, 2019 -> Nov 1st, 2019 - 3-day functional programming conference based in the Central Europe with top-notch speakers & 1300+ attendees. https://reactiveconf.com/ #Conference #FunctionalProgamming by @[email protected]
