Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
nerdculture.de is one of the many independent Mastodon servers you can use to participate in the fediverse.
Be excellent to each other, live humanism, no nazis, no hate speech. Not only for nerds, but the domain is somewhat cool. ;) No bots in general. Languages: DE, EN, FR, NL, ES, IT

Administered by:

Server stats:

1.2K
active users

nerdculture.de: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#functional

1 post1 participant0 posts today
__sharky__<p>Found this <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> snippet in my code </p><p>ret = [mydict for mydict in mylist if mydict.get('somekey') == 'somevalue']</p><p>I did not now about the == at the end of the list comprehension . </p><p>I am pretty sure I red a blogpost about list comprehension that day :) </p><p><a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://mastodon.social/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
DJ Adams<p>We're live this Friday with the first episode looking at functional programming, and so I thought I'd put together a collection of the material I've created over the years on the topic, in the form of presentations, documents and blog posts, in case you want to dive in before the first episode. Share &amp; enjoy! </p><p><a href="https://qmacro.org/blog/posts/2025/03/24/functional-programming-resources/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">qmacro.org/blog/posts/2025/03/</span><span class="invisible">24/functional-programming-resources/</span></a> </p><p><a href="https://hachyderm.io/tags/HandsOnSAPDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HandsOnSAPDev</span></a> <a href="https://hachyderm.io/tags/Functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Functional</span></a> <a href="https://hachyderm.io/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/sap" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sap</span></a></span></p>
IrgndSonDepp<p>I'm looking for interesting new ways to bend (or break) my brain. Is there a <a href="https://gts.da-miez.de/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> (first) <a href="https://gts.da-miez.de/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> language that compiles down to single binaries?<br>I have some experience with F#, but it's been ages since I used it and I don't really like whatever "self-contained" .Net binaries are. 😬<br>Haven't tried Elm or Haskell yet.<br>Any recommendations?</p>
marcosh<p>Today I probably implemented the most useless <a href="https://functional.cafe/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>php</span></a> class I could think of</p><p><a href="https://github.com/marcosh/lamphpda/blob/master/src/Unit.php" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/marcosh/lamphpda/bl</span><span class="invisible">ob/master/src/Unit.php</span></a></p><p><a href="https://functional.cafe/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://functional.cafe/tags/functionalprogamming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogamming</span></a></p>
Emilis 🇺🇦<p>I am <a href="https://fosstodon.org/tags/LookingForAJob" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LookingForAJob</span></a></p><p>Web developer with 20+ years experience.<br><a href="https://fosstodon.org/tags/JavaScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JavaScript</span></a> / <a href="https://fosstodon.org/tags/TypeScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TypeScript</span></a> 15 years, <a href="https://fosstodon.org/tags/React" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>React</span></a> 10 years.<br>Love <a href="https://fosstodon.org/tags/Linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Linux</span></a> and <a href="https://fosstodon.org/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> programming, dabble in maker stuff.<br>Would be happiest to work on <a href="https://fosstodon.org/tags/FreeSoftware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FreeSoftware</span></a>, <a href="https://fosstodon.org/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSource</span></a> or with an NGO.</p><p><a href="https://fosstodon.org/tags/Vilnius" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Vilnius</span></a>, <a href="https://fosstodon.org/tags/Lithuania" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lithuania</span></a>, Europe. Hybrid or remote.</p><p>CV: <a href="https://emilis.codeberg.page/cv2025.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">emilis.codeberg.page/cv2025.ht</span><span class="invisible">ml</span></a></p><p>Please boost 🙇</p>
marcosh<p>I'm back to blogging after a fairly long time with a blog post on how to combine effects using natural transformations</p><p><a href="https://marcosh.github.io/post/2025/03/10/combining-monads.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">marcosh.github.io/post/2025/03</span><span class="invisible">/10/combining-monads.html</span></a></p><p>Really interested to know what people think of it</p><p><a href="https://functional.cafe/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://functional.cafe/tags/monads" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monads</span></a> <a href="https://functional.cafe/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://functional.cafe/tags/functionalprogamming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogamming</span></a></p>
N-gated Hacker News<p>🚀🎉 Behold the utopia where <a href="https://mastodon.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coding</span></a> becomes a <a href="https://mastodon.social/tags/carnival" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>carnival</span></a> ride: "F# for <a href="https://mastodon.social/tags/Fun" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Fun</span></a> and Profit"! Dive into this rabbit hole of "fun" <a href="https://mastodon.social/tags/tips" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tips</span></a>, and get lost in a sea of <a href="https://mastodon.social/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> buzzwords with the promise of profits that rival a lemonade stand. 📚🔍 Because who wouldn't want to "think functionally" while troubleshooting their way to success? 😂🙈<br><a href="https://fsharpforfunandprofit.com/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">fsharpforfunandprofit.com/</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/profit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>profit</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ngated</span></a></p>
Hacker News<p>Gleam, Coming from Erlang — <a href="https://olano.dev/blog/gleam-coming-from-erlang/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">olano.dev/blog/gleam-coming-fr</span><span class="invisible">om-erlang/</span></a><br><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Gleam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gleam</span></a> <a href="https://mastodon.social/tags/Erlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Erlang</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/Language" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Language</span></a> <a href="https://mastodon.social/tags/Functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Functional</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/Tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Tech</span></a> <a href="https://mastodon.social/tags/News" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>News</span></a></p>
André Machado :debian:<p>GNU Guix: Revolutionizing Software Deployment with Functional Package Management</p><p>GNU Guix is an innovative package manager and operating system that rethinks software deployment by adopting a purely functional approach. Unlike traditional package managers, Guix manages software in a way that guarantees reproducibility, transactional upgrades, and precise dependency tracking.</p><p>Read More: <a href="https://machaddr.substack.com/p/gnu-guix-revolutionizing-software" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">machaddr.substack.com/p/gnu-gu</span><span class="invisible">ix-revolutionizing-software</span></a></p><p><a href="https://mastodon.sdf.org/tags/Guix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Guix</span></a> <a href="https://mastodon.sdf.org/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSource</span></a> <a href="https://mastodon.sdf.org/tags/Computer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Computer</span></a> <a href="https://mastodon.sdf.org/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Science</span></a> <a href="https://mastodon.sdf.org/tags/Operating" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Operating</span></a> <a href="https://mastodon.sdf.org/tags/System" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>System</span></a> <a href="https://mastodon.sdf.org/tags/Functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Functional</span></a> <a href="https://mastodon.sdf.org/tags/Scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scheme</span></a></p>
__sharky__<p>any(x == 'Erik' for x in ['Erik', 'John', 'Jane', 'Jim'])</p><p><a href="https://mastodon.social/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clojure</span></a> is taking over my python code. I did not know that this is possible . I really like this syntax </p><p><a href="https://mastodon.social/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a></p>
The vOICe vision BCI 🧠🇪🇺<p>Psilocybin as a treatment for repetitive mild head injury: Evidence from neuroradiology and molecular biology <a href="https://www.biorxiv.org/content/10.1101/2025.02.03.636248v1" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">biorxiv.org/content/10.1101/20</span><span class="invisible">25.02.03.636248v1</span></a> "<a href="https://mas.to/tags/psilocybin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>psilocybin</span></a> can reduce vasogenic edema, restore normal vascular reactivity and <a href="https://mas.to/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://mas.to/tags/connectivity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>connectivity</span></a>"; <a href="https://mas.to/tags/neuroplasticity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neuroplasticity</span></a>, <a href="https://mas.to/tags/brain" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>brain</span></a> <a href="https://mas.to/tags/plasticity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plasticity</span></a>, <a href="https://mas.to/tags/neuroscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neuroscience</span></a></p>
Jonathan Müller<p>I will be giving a keynote about functional programming in C++ @ <span class="h-card" translate="no"><a href="https://mastodon.social/@cpponline" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>cpponline</span></a></span>:</p><p><a href="https://cpponline.uk/session/2025/functional-programming-in-cpp/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cpponline.uk/session/2025/func</span><span class="invisible">tional-programming-in-cpp/</span></a></p><p><a href="https://fosstodon.org/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cpp</span></a> <a href="https://fosstodon.org/tags/cplusplus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cplusplus</span></a> <a href="https://fosstodon.org/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a></p>
amen zwa, esq.<p><a href="https://mathstodon.xyz/tags/SPJ" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SPJ</span></a>'s 1987 book, "The Implementation of <a href="https://mathstodon.xyz/tags/Functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Functional</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> Languages", is the most accessible and comprehensive publication on the subject. Indeed, the <a href="https://mathstodon.xyz/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> community is fortunate to have the book, given how few authors have dared to wade into these murky waters.</p>
Marco Paviotti<p>Dear all, </p><p>I am looking for a <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> student to work on (any subset of) these topics: <br><a href="https://mathstodon.xyz/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semantics</span></a>, <a href="https://mathstodon.xyz/tags/domaintheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>domaintheory</span></a>, <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typetheory</span></a> and <a href="https://mathstodon.xyz/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> programming. </p><p>Deadline for application is 15th of February 2025.</p><p>Please get in touch if interested, here's the official call: <a href="https://www.kent.ac.uk/scholarships/search/FN15COMPGR01" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">kent.ac.uk/scholarships/search</span><span class="invisible">/FN15COMPGR01</span></a></p>
Ecology & Ecosystem Modelling<p>New paper out led by <span class="h-card" translate="no"><a href="https://ecoevo.social/@lawojcik" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>lawojcik</span></a></span> : Functional diversity comprises several facets being often measured separately. We developed an aggregated metric (K index) that can notably be decomposed into its multiple facets to understand their joint and separate effects on diversity and ecosystem functioning. Find the paper here: <br> <a href="https://doi.org/10.1111/2041-210X.14470" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">doi.org/10.1111/2041-210X.1447</span><span class="invisible">0</span></a></p><p><a href="https://ecoevo.social/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://ecoevo.social/tags/diversity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diversity</span></a> <a href="https://ecoevo.social/tags/index" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>index</span></a> <a href="https://ecoevo.social/tags/ecology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ecology</span></a> <a href="https://ecoevo.social/tags/theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theory</span></a> <a href="https://ecoevo.social/tags/paper" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>paper</span></a> <a href="https://ecoevo.social/tags/publication" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>publication</span></a> <a href="https://ecoevo.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>science</span></a></p>
Patrick Smyth<p>This game is a weird historical curiosity. Interactive fiction game where a genie teaches you <a href="https://fosstodon.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> </p><p><a href="https://ifdb.org/viewgame?id=zj3ie12ewi1mrj1t" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ifdb.org/viewgame?id=zj3ie12ew</span><span class="invisible">i1mrj1t</span></a></p><p>I think <span class="h-card" translate="no"><a href="https://mastodon.gamedev.place/@zarfeblong" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>zarfeblong</span></a></span> coded a Lisp interpreter in z machine. for this.</p><p><a href="https://fosstodon.org/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://fosstodon.org/tags/interactivefiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>interactivefiction</span></a></p>
Darren<p>There's a myth that <a href="https://sfba.social/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> programming eliminates all errors. It's more like a seatbelt.. Informally, a startling number of my production time software defects seem to correlate with this single programming construct...</p>
dorotaC<p>Trying to create complex <a href="https://fosstodon.org/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>software</span></a> managing kernel buffers.<br>This needs tests.</p><p>"<a href="https://fosstodon.org/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> core, imperative shell" - Testing management should not need the kernel.</p><p>I started mocking with a generic backend. Looks annoying.</p><p>"imperative shell"</p><p>The mocked generic is becoming a spaghetti horror.</p><p>"functional core" - and then it clicked.</p><p>I separated just the buffer manager, made it generic over buffer type. I can now feed it fake buffers and test it.</p><p><a href="https://fosstodon.org/tags/testing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>testing</span></a> <a href="https://fosstodon.org/tags/development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>development</span></a> <a href="https://fosstodon.org/tags/hexagonal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hexagonal</span></a></p>
Ein Philosophiker<p>Why should a developer ever consider using something else than a hammer? They've been taught that a car is a vehicle, all vehicles can be driven, and some of them have virtual methods. So why bother? Why ever consider that you might only want to get from A to B? <a href="https://social.saarland/tags/Functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Functional</span></a> <a href="https://social.saarland/tags/FSharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FSharp</span></a> <a href="https://social.saarland/tags/Erlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Erlang</span></a> <a href="https://social.saarland/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://social.saarland/tags/Elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Elixir</span></a></p>
amen zwa, esq.<p>The <a href="https://mathstodon.xyz/tags/DEC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DEC</span></a> <a href="https://mathstodon.xyz/tags/VAX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VAX</span></a>-11/780 was the top-of-the-line 32-bit minicomputer, when I entered <a href="https://mathstodon.xyz/tags/CS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CS</span></a>. It occupied a large, climate-controlled room. The one I used had 256 KB of RAM. It was in continuous service from the late 1970s to the early 2000s, so it belongs in the pantheon of "great computers".</p><p><a href="https://mathstodon.xyz/tags/StandardML" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StandardML</span></a> is universally accepted as the mother of all modern <a href="https://mathstodon.xyz/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> languages, including <a href="https://mathstodon.xyz/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> and <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a>. The earliest ML implementation I used was Cardelli's VAX ML.</p><p>Today, we have $0.99 32-bit microcontrollers, which are the size of a thumbnail, but can run rings round the VAX-11 in all aspects of performance and capability. There ought to be bare metal implementations of ML, OCaml, Haskell, etc., for the MCUs.</p><p><a href="https://www.aliexpress.us/item/3256807309874304.html?spm=a2g0o.productlist.main.9.5413f2A7f2A7Ur&amp;algo_pvid=ae77b239-9f33-45a7-9cb0-44916e2b3229&amp;algo_exp_id=ae77b239-9f33-45a7-9cb0-44916e2b3229-4&amp;pdp_npi=4%40dis%21USD%218.32%210.99%21%21%2158.87%217.02%21%40210313e917306963982604080eeb6e%2112000041022270884%21sea%21US%210%21ABX&amp;curPageLogUid=NRCQI8K73hQ8&amp;utparam-url=scene%3Asearch%7Cquery_from%3A" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">aliexpress.us/item/32568073098</span><span class="invisible">74304.html?spm=a2g0o.productlist.main.9.5413f2A7f2A7Ur&amp;algo_pvid=ae77b239-9f33-45a7-9cb0-44916e2b3229&amp;algo_exp_id=ae77b239-9f33-45a7-9cb0-44916e2b3229-4&amp;pdp_npi=4%40dis%21USD%218.32%210.99%21%21%2158.87%217.02%21%40210313e917306963982604080eeb6e%2112000041022270884%21sea%21US%210%21ABX&amp;curPageLogUid=NRCQI8K73hQ8&amp;utparam-url=scene%3Asearch%7Cquery_from%3A</span></a></p>
ExploreLive feeds
About