Recent searches

No recent searches

Search options

Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Administered by:

Server stats:

192
active users

eupolicy.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.1

#functionalprogramming

2 posts2 participants0 posts today
Margaret Eldridge<p>Celebrating Advanced Functional Programming with Elixir by Joseph Koski now in beta!</p><p>🔗 Read more: <a href="https://bit.ly/3V5AQBZ" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">bit.ly/3V5AQBZ</span><span class="invisible"></span></a></p><p>📘 ebook: <a href="https://pragprog.com/titles/jkelixir" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">pragprog.com/titles/jkelixir</span><span class="invisible"></span></a></p><p><a href="https://hachyderm.io/tags/Elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elixir</span></a> <a href="https://hachyderm.io/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a> <a href="https://hachyderm.io/tags/MyElixirStatus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MyElixirStatus</span></a> <a href="https://hachyderm.io/tags/WeBEAMTogether" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WeBEAMTogether</span></a> <a href="https://hachyderm.io/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://hachyderm.io/tags/pragprog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pragprog</span></a></p>
jbz<p>🐍 Functional Programming with Python </p><p><a href="https://docs.python.org/3/howto/functional.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">docs.python.org/3/howto/functi</span><span class="invisible">onal.html</span></a></p><p><a href="https://indieweb.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://indieweb.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a></p>
vascorsd<p>The language is great. Most things it has going for it exist in many languages in the FP world that are static typed. Like <a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>scala</span></a>, there's almost no feature described that we don't have and with the fallback of everything that already exists in <a href="https://mastodon.social/tags/jvm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>jvm</span></a> world... But they must be doing something incredibly right for so many ppl moving to it.</p><p>--</p><p>How I ended up writing Gleam - Isaac Harris-Holt | Code BEAM</p><p><a href="https://www.youtube.com/watch?v=BfPRcanTWXA" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=BfPRcanTWXA</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/beamvm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>beamvm</span></a> <a href="https://mastodon.social/tags/gleam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gleam</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalProgramming</span></a></p>
SMT<p><a href="https://genomic.social/tags/RStats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RStats</span></a> <a href="https://genomic.social/tags/StatiscalComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>StatiscalComputing</span></a> <a href="https://genomic.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://genomic.social/tags/OldieButGoodie" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OldieButGoodie</span></a><br>Back to the Future: Lisp as a Base for a<br>Statistical Computing System by Ross Ihaka and Duncan Temple Lang<br><a href="https://www.stat.auckland.ac.nz/%7Eihaka/downloads/Compstat-2008.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">stat.auckland.ac.nz/%7Eihaka/d</span><span class="invisible">ownloads/Compstat-2008.pdf</span></a></p>
kupac^ESC:wq<p>In this week’s episode of the “Hidden Monads in R” series, I’ll explore the vector aspect of R data structures, and see how the flatmap operation can be quite useful (duh).</p><p><a href="https://www.biobits.be/biofunctor/2025/07/30/what-s-r-vector-victor/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">biobits.be/biofunctor/2025/07/</span><span class="invisible">30/what-s-r-vector-victor/</span></a></p><p><a href="https://functional.cafe/tags/rstats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rstats</span></a> <a href="https://functional.cafe/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a></p>
José A. Alonso<p>Readings shared July 29, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/30-readings_shared_07-29-25</span></a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IMO</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistant</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
José A. Alonso<p>Comparing codes: Spiral matrix (another matrix layer problem). ~ James Bowen. <a href="https://mmhaskell.com/blog/2025/7/28/spiral-matrix-another-matrix-layer-problem" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mmhaskell.com/blog/2025/7/28/s</span><span class="invisible">piral-matrix-another-matrix-layer-problem</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
Benjamin Geer<p>Fennel, a Lisp that compiles to Lua <a href="https://fennel-lang.org/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">fennel-lang.org/</span><span class="invisible"></span></a> <a href="https://piaille.fr/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lisp</span></a> <a href="https://piaille.fr/tags/Lua" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lua</span></a> <a href="https://piaille.fr/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
Simon Brooke<p><span class="h-card" translate="no"><a href="https://babka.social/@serge" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>serge</span></a></span> Is Scratch not essentially based on <a href="https://mastodon.scot/tags/Smalltalk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Smalltalk</span></a>? Not knocking it, Smalltalk is also an excellent language, but <a href="https://mastodon.scot/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> is a different, and in my opinion more fundamental, paradigm than <a href="https://mastodon.scot/tags/OOP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OOP</span></a>, and one which I believe it benefits children to be introduced to first.</p>
José A. Alonso<p>Readings shared July 22, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/23-readings_shared_07-22-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/23-readings_shared_07-22-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IMO</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
Dominik Chrástecký - Blog<p><strong>New in PHP 8.5: The Pipe Operator</strong></p> One of the most exciting additions in PHP 8.5 is the pipe operator. It enables more readable and expressive code when working with nested function calls. <p><a href="https://chrastecky.dev/programming/new-in-php-8-5-the-pipe-operator" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">chrastecky.dev/programming/new</span><span class="invisible">-in-php-8-5-the-pipe-operator</span></a></p>
José A. Alonso<p>Comparing codes: Image rotation (Mutable arrays in Haskell). ~ James Bowen. <a href="https://mmhaskell.com/blog/2025/7/21/image-rotation-mutable-arrays-in-haskell" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mmhaskell.com/blog/2025/7/21/i</span><span class="invisible">mage-rotation-mutable-arrays-in-haskell</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
Zelphir Kaltstahl<p>I also got experience with the following (5 = a lot, 1 = a little) :</p><p><a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>machinelearning</span></a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ml</span></a> (3) (I have implemented some ML models myself in the past, for learning purposes.) <br><a href="https://mastodon.social/tags/guix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>guix</span></a> (3) (Using it for reproducible setups of projects.)<br><a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> (5) (Doing it in my own projects.)<br><a href="https://mastodon.social/tags/objectorientedprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>objectorientedprogramming</span></a> <a href="https://mastodon.social/tags/oop" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>oop</span></a> (4) (last job and past xp in my own projects.)<br><a href="https://mastodon.social/tags/CI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CI</span></a> / <a href="https://mastodon.social/tags/CD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CD</span></a> (3) (Last job)<br><a href="https://mastodon.social/tags/make" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>make</span></a> (4) (using it for my own project setups and convenience)<br><a href="https://mastodon.social/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> (4) (last job, own projects)</p>
Björn Gohla<p>Found this in Barendregt's definition of combinatory logic 😆 </p><p><a href="https://mathstodon.xyz/tags/lambdaCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lambdaCalculus</span></a> <a href="https://mathstodon.xyz/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mathstodon.xyz/tags/SPQR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SPQR</span></a></p>
Joseph Nuthalapati :fbx:<p>Gleam is an interesting new functional programming language. It is an ML-family language with syntax very similar to Rust, but it's not a replacement. <br>If you like Rust and don't like Go (or Elixir's Ruby syntax), Gleam might be worth considering for I/O bound applications needing high concurrency. <br>Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.</p><p><a href="https://gleam.run" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">gleam.run</span><span class="invisible"></span></a></p><p><a href="https://social.masto.host/tags/Gleam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gleam</span></a> <a href="https://social.masto.host/tags/Elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elixir</span></a> <a href="https://social.masto.host/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://social.masto.host/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://social.masto.host/tags/FP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FP</span></a></p>
Leanpub<p>Leanpub book LAUNCH 🚀 Unwrapping Monads &amp; Friends: Shining Light on Functional Programming's Scariest Concepts by Kyle Simpson <a href="https://youtu.be/gcNHDun3Gg0X" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/gcNHDun3Gg0X</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/leanpublishing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>leanpublishing</span></a> <a href="https://mastodon.social/tags/selfpublishing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>selfpublishing</span></a> <a href="https://mastodon.social/tags/booklaunch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>booklaunch</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mastodon.social/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a></p>
Leanpub<p>Practical FP in Scala + Functional event-driven architecture <a href="https://leanpub.com/b/pfp-feda-scala" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">leanpub.com/b/pfp-feda-scala</span><span class="invisible"></span></a> by Gabriel Volpe is the featured bundle of ebooks 📚 on the Leanpub homepage! <a href="https://leanpub.com" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">leanpub.com</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scala</span></a> <a href="https://mastodon.social/tags/Software" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Software</span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ebooks</span></a></p>
José A. Alonso<p>Comparing codes: Binary search in Haskell and Rust. ~ James Bowen. <a href="https://mmhaskell.com/blog/2025/7/7/binary-search-in-haskell-and-rust" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mmhaskell.com/blog/2025/7/7/bi</span><span class="invisible">nary-search-in-haskell-and-rust</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
Daniel Düsentrieb<p>The lovely thing about Clojure (or any LISP for that matter) is that you start with<br> <br>step 1: learning its data structures,</p><p>then you proceed to </p><p>step 2: learning the syntax, which you've already done in step 1</p><p><a href="https://social.linux.pizza/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://social.linux.pizza/tags/Clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Clojure</span></a> <a href="https://social.linux.pizza/tags/LISP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LISP</span></a> <a href="https://social.linux.pizza/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalProgramming</span></a></p>
Teixi<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@FrohlichMarcel" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>FrohlichMarcel</span></a></span> </p><p>Oh là là just dropped:<br>2.5 hour "Introduction To Category Theory"<br>by Richard Southwell<br><a href="https://youtu.be/H32kyA4BMz4" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/H32kyA4BMz4</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/ZuriHac" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ZuriHac</span></a> <a href="https://mastodon.social/tags/ZuriHac2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ZuriHac2025</span></a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a></p><p>HT <span class="h-card" translate="no"><a href="https://fosstodon.org/@zurihac" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>zurihac</span></a></span></p>
TrendingLive feeds
About