Recent searches

No recent searches

Search options

Not available on dice.camp.
dice.camp is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon server for RPG folks to hang out and talk. Not owned by a billionaire.

Administered by:

Server stats:

1.6K
active users

dice.camp: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.3

#functionalprogramming

5 posts5 participants1 post today
José A. Alonso<p>Granite: A library for producing terminal plots. It depends only on Haskell's base package so it should be easy to use and install. ~ Michael Chavinda. <a href="https://github.com/mchav/granite" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/mchav/granite</span><span class="invisible"></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></p>
lil5 🚲 🇳🇱<p><a href="https://social.linux.pizza/tags/rescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rescript</span></a> is so easy that I write all my ffi bindings (Vitest, NodeJs, …)</p><p>For any <a href="https://social.linux.pizza/tags/frontend" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>frontend</span></a> or <a href="https://social.linux.pizza/tags/js" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>js</span></a> <a href="https://social.linux.pizza/tags/backend" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>backend</span></a> developers who like the idea rust / Haskell have, Rescript is your answer </p><p><a href="https://rescript-lang.org/docs/manual/v11.0.0/primitive-types" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">rescript-lang.org/docs/manual/</span><span class="invisible">v11.0.0/primitive-types</span></a></p><p><a href="https://social.linux.pizza/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a></p>
Sunflower Björnskalle 🌻<p>Alright, I knew I wasn't crazy. I've seen both of the first pairs and it's always confused the fuck out of me. I think that several times I had thought that I had forgotten how it works, but no, they probably just switched it up on me.</p><p>The quote is from SEP by the way, so you know this is for real.</p><p><a href="https://mastodon.online/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.online/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.online/tags/computerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computerscience</span></a> <a href="https://mastodon.online/tags/lambdacalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lambdacalculus</span></a> <a href="https://mastodon.online/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a></p>
jbz<p>💡 Why Racket? Why Lisp? | Butterick’s Practical Typography </p><p>｢ What I found was plenty of Lisp flattery from expert Lisp programmers. (Also plenty of Lisp kvetchery from its detractors.) What I didn’t find were simple, persuasive arguments in its favor. So here’s why Racket was the right tool for this project, and what I see as the practical virtues of Lisps in general ｣</p><p><a href="https://practicaltypography.com/why-racket-why-lisp.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">practicaltypography.com/why-ra</span><span class="invisible">cket-why-lisp.html</span></a></p><p><a href="https://indieweb.social/tags/racketlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>racketlang</span></a> <a href="https://indieweb.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://indieweb.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a></p>
José A. Alonso<p>Binary search—think positive. ~ Alexander Dinges, Ralf Hinze. <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming/article/binary-searchthink-positive/1F974DF9C6475D19B32E18C93A2DCC1C" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cambridge.org/core/journals/jo</span><span class="invisible">urnal-of-functional-programming/article/binary-searchthink-positive/1F974DF9C6475D19B32E18C93A2DCC1C</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/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Agda</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
José A. Alonso<p>Teaching introductory functional programming using Haskelite. ~ Pedro Vasconcelos. <a href="https://arxiv.org/abs/2508.03640" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2508.03640</span><span class="invisible"></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></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MULCIA</span></a>: Haskell software engineer for remote position at IOG (Input Output Global). <a href="https://tinyurl.com/23x85sha" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/23x85sha</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/Jobs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Jobs</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></p>
dallo<p>PHP 8.5 Adds Pipe Operator <a href="https://thephp.foundation/blog/2025/07/11/php-85-adds-pipe-operator/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">thephp.foundation/blog/2025/07</span><span class="invisible">/11/php-85-adds-pipe-operator/</span></a></p><p>Now JS please do it.</p><p><a href="https://pouet.chapril.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://pouet.chapril.org/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://pouet.chapril.org/tags/code" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>code</span></a> <a href="https://pouet.chapril.org/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://pouet.chapril.org/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>
HaskellOrg<p>The talks of the 2025 Haskell Implementor's Workshop, also co-located with <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> are available on YouTube: <a href="https://www.youtube.com/playlist?list=PLQpeDZt0_xQfpBPdVV3hUZ3_pDxmYhsbr" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/playlist?list=PLQp</span><span class="invisible">eDZt0_xQfpBPdVV3hUZ3_pDxmYhsbr</span></a></p><p><a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a><br><a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
HaskellOrg<p>The talks of the 2025 Haskell Ecosystem Workshop, co-located with <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>, are now available on YouTube: <a href="https://www.youtube.com/playlist?list=PLQpeDZt0_xQe319u9EdkpxjibYFtGsugc" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/playlist?list=PLQp</span><span class="invisible">eDZt0_xQe319u9EdkpxjibYFtGsugc</span></a></p><p><a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a><br><a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
marcosh<p>one aspect on the complexity of software projects is a complex graph of dependencies (I'm not thinking only to other packages, but class/module dependencies inside a single package/library).</p><p>Functional programming encourages to use really tiny and precise dependencies (i.e. functions) instead of collections of them (e.g. classes).</p><p>This makes the dependency graph more complex. Hence managing and organizing the dependency graph becomes harder.</p><p>Could this be a reason why in functional programming projects I tend to see less code organization than in OOP ones?</p><p><a href="https://functional.cafe/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a> <a href="https://functional.cafe/tags/oop" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>oop</span></a> <a href="https://functional.cafe/tags/objectoriented" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>objectoriented</span></a> <a href="https://functional.cafe/tags/objectorienteddesign" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>objectorienteddesign</span></a> <a href="https://functional.cafe/tags/complexity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>complexity</span></a> <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</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>
HaskellOrg<p>Cabal 3.16 is released with numerous quality-of-life improvements! <a href="https://blog.haskell.org/cabal-3-16-0-0-release/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.haskell.org/cabal-3-16-0-</span><span class="invisible">0-release/</span></a></p><p><a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
ultramagnetic<p>✨ Update deeply nested data structures immutably in Java without drowning in boilerplate using higher-kinded-j and functional Optics.</p><p>🔍 Traverse complex records with Lenses, Traversals, and Prisms, all type-safe, compile-time generated, and fully immutable.</p><p>Full example: <a href="https://higher-kinded-j.github.io/optics/auditing_complex_data_example.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">higher-kinded-j.github.io/opti</span><span class="invisible">cs/auditing_complex_data_example.html</span></a><br>Explore more: <a href="https://higher-kinded-j.github.io/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">higher-kinded-j.github.io/</span><span class="invisible"></span></a></p><p><a href="https://techhub.social/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a> <a href="https://techhub.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://techhub.social/tags/Optics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Optics</span></a> <a href="https://techhub.social/tags/Immutability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Immutability</span></a> <a href="https://techhub.social/tags/HKTs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HKTs</span></a></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>
TrendingLive feeds
About