Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#functionalprogramming

24 posts18 participants1 post today
José A. Alonso<p>Readings shared April 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/28-readings_shared_04-28-25" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/28-readings_shared_04-28-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a></p>
Hacker News<p>Packed Data Support in Haskell</p><p><a href="https://arthi-chaud.github.io/posts/packed/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">arthi-chaud.github.io/posts/pa</span><span class="invisible">cked/</span></a></p><p><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/PackedData" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PackedData</span></a> <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</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/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/DataStructures" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataStructures</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a></p>
Sal Rahman<p>For those familiar on the matter…</p><p>What's your preferred syntax for the pipeline operator?</p><p><a href="https://techhub.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://techhub.social/tags/PipelineOperator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PipelineOperator</span></a> <a href="https://techhub.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FSharp</span></a> <a href="https://techhub.social/tags/HackLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackLanguage</span></a> <a href="https://techhub.social/tags/Hack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Hack</span></a> <a href="https://techhub.social/tags/Facebook" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Facebook</span></a> <a href="https://techhub.social/tags/Microsoft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Microsoft</span></a> <a href="https://techhub.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://techhub.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://techhub.social/tags/Coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coding</span></a></p>
Alvin Alexander<p>Woo-hoo, my final FREE video training course is now available: “An Introduction to ZIO Kafka.” 🚀 This course features 14 short videos to help you get up and running with the ZIO Kafka library. 👉 <a href="https://www.learnscala.dev" rel="nofollow noopener noreferrer" target="_blank">www.learnscala.dev</a> <a class="hashtag" href="https://bsky.app/search?q=%23scala" rel="nofollow noopener noreferrer" target="_blank">#scala</a> <a class="hashtag" href="https://bsky.app/search?q=%23functionalprogramming" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a></p>
jbz<p>Graphics livecoding in Common Lisp | Kevin Galligan</p><p>｢ Some Lisps, like Common Lisp, have a powerful feature that tends to go underappreciated amidst all the talk about macros: the ability to recompile your program while it's running, without restarting it. For the purposes of this post, and because it sounds cool, let's call this ability livecoding ｣</p><p><a href="https://kevingal.com/blog/cl-livecoding.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">kevingal.com/blog/cl-livecodin</span><span class="invisible">g.html</span></a></p><p><a href="https://indieweb.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://indieweb.social/tags/livecoding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>livecoding</span></a> <a href="https://indieweb.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a></p>
Matej Cerny<p>A Functor is one of the basic structures in functional programming. Think of it like a container that allows transforming its contents with a function, while preserving the container's overall structure. <a href="https://witter.cz/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala</span></a> <a href="https://witter.cz/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a></p>
José A. Alonso<p>Haskelling my Python (Reimplementing Haskell lazy infinite lists using Python generators). ~ Unnamed Website. <a href="https://unnamed.website/posts/haskelling-my-python/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">unnamed.website/posts/haskelli</span><span class="invisible">ng-my-python/</span></a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a></p>
José A. Alonso<p>Power series, power serious. ~ M. Douglas McIlroy (1998). <a href="https://citeseerx.ist.psu.edu/document?repid=rep1&amp;type=pdf&amp;doi=4666d43d39c890cfe88630eb93e39afe3110f930" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">citeseerx.ist.psu.edu/document</span><span class="invisible">?repid=rep1&amp;type=pdf&amp;doi=4666d43d39c890cfe88630eb93e39afe3110f930</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a></p>
Leanpub<p>Functional Programming for the Object-Oriented Programmer by Brian Marick is free with a Leanpub Reader membership! Or you can buy it for $7.99! <a href="http://leanpub.com/fp-oo" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="">leanpub.com/fp-oo</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/Software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Software</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
Daniel Düsentrieb<p>Bin gerade mindblown wie elegant <a href="https://social.linux.pizza/tags/Arrow" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Arrow</span></a> meinen einzigen Kritikppunkt an <a href="https://social.linux.pizza/tags/Kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kotlin</span></a>: Keine Checked <a href="https://social.linux.pizza/tags/Exceptions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Exceptions</span></a>, auf elegante weise, mit Typed Errors löst</p><p><a href="https://arrow-kt.io/learn/summary/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arrow-kt.io/learn/summary/</span><span class="invisible"></span></a></p><p><a href="https://social.linux.pizza/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://social.linux.pizza/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a></p>
José A. Alonso<p>Readings shared April 25, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/25-readings_shared_04-25-25" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/25-readings_shared_04-25-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="tag">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="tag">#<span>Python</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 noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> <a href="https://mastodon.social/tags/Software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Software</span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ebooks</span></a></p>
Hacker News<p>Curry: A Functional Logic Programming Language</p><p><a href="https://curry-lang.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">curry-lang.org/</span><span class="invisible"></span></a></p><p><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/Curry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Curry</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</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/CurryLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CurryLang</span></a></p>
José A. Alonso<p>Magical Haskell: A friendly approach to modern functional programming, type theory, and artificial intelligence. ~ Anton Antich. <a href="https://books.google.com/books?id=aLBWEQAAQBAJ" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">books.google.com/books?id=aLBW</span><span class="invisible">EQAAQBAJ</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a></p>
José A. Alonso<p>Porting song recommendations to Haskell. ~ Mark Seemann. <a href="https://blog.ploeh.dk/2025/04/21/porting-song-recommendations-to-haskell/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">blog.ploeh.dk/2025/04/21/porti</span><span class="invisible">ng-song-recommendations-to-haskell/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a></p>
José A. Alonso<p>Integrating effectful and persistent. ~ Jack Kelly. <a href="https://exploring-better-ways.bellroy.com/integrating-effectful-and-persistent.html" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">exploring-better-ways.bellroy.</span><span class="invisible">com/integrating-effectful-and-persistent.html</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a></p>
José A. Alonso<p>Implementing Unsure Calculator in 100 lines of Haskell. ~ Rodrigo Mesquita. <a href="https://alt-romes.github.io/posts/2025-04-25-unsure-calculator-in-100-lines-of-haskell.html" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">alt-romes.github.io/posts/2025</span><span class="invisible">-04-25-unsure-calculator-in-100-lines-of-haskell.html</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a></p>
Karsten Schmidt<p>Added a new convenience transducer for clipping and binning values, e.g. as preparation step for histogram generation whilst working in the REPL. New release forthcoming. A small code example attached (actually taken from the doc string of the new `binned()` transducer).</p><p><a href="https://mastodon.thi.ng/tags/ThingUmbrella" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ThingUmbrella</span></a> <a href="https://mastodon.thi.ng/tags/Transducers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Transducers</span></a> <a href="https://mastodon.thi.ng/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.thi.ng/tags/ASCIIArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ASCIIArt</span></a> <a href="https://mastodon.thi.ng/tags/DataViz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataViz</span></a> <a href="https://mastodon.thi.ng/tags/TypeScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TypeScript</span></a> <a href="https://mastodon.thi.ng/tags/JavaScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JavaScript</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 noreferrer" 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 noreferrer" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/leanpublishing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>leanpublishing</span></a> <a href="https://mastodon.social/tags/selfpublishing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>selfpublishing</span></a> <a href="https://mastodon.social/tags/booklaunch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>booklaunch</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</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/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mastodon.social/tags/JavaScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JavaScript</span></a> @getify</p>
Leanpub<p>Effect Oriented Programming: A Paradigm for Creating Reliable, Adaptable, Testable Systems - Using Scala and ZIO <a href="https://leanpub.com/effect-oriented-programming" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leanpub.com/effect-oriented-pr</span><span class="invisible">ogramming</span></a> by Bill Frasure, Bruce Eckel, and James Ward is the featured book on the Leanpub homepage! <a href="https://leanpub.com" rel="nofollow noopener noreferrer" 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/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ebooks</span></a></p><p>Have you wondered what makes functional programming such a big deal, but haven't been able to get through any of the explanations? We wrote this book for you.</p><p>Find it on Leanpub!</p>
SearchLive feeds
About