mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

348K
active users

#functionalprogramming

17 posts11 participants0 posts today
blaix<p>Oh no it's Monday! But I have a new Gren Twigs video. This one is about type variables. Might be a little weird if you've never seen this before!</p><p><a href="https://www.youtube.com/watch?v=51JnaN3Q3v4&amp;list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&amp;index=12" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=51JnaN3Q3v</span><span class="invisible">4&amp;list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&amp;index=12</span></a></p><p><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/gren" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gren</span></a></p>
José A. Alonso<p>Readings shared March 30, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/30-readings_shared_03-30-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/03/30-readings_shared_03-30-25</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</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/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maxima</span></a></p>
José A. Alonso<p>Readings shared March 29, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/29-readings_shared_03-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/03/29-readings_shared_03-29-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/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared March 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-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/03/28-readings_shared_03-28-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Calculemus</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CompSci</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/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</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/Philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Philosophy</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
Salar Rahmanian :verified: :scala: :swift: :nix:<p>:scala: 📣 I am excited to welcome Haoyi Li as the speaker for our upcoming <a href="https://social.softinio.com/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scala</span></a> <a href="https://social.softinio.com/tags/meetup" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Meetup</span></a> in <a href="https://social.softinio.com/tags/sanfrancisco" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SanFrancisco</span></a>! :scala:</p><p>He’ll be presenting:</p><p>:scala: Solving Scala's Build Problem with the Mill Build Tool :scala:</p><p>An MIT grad and creator of the widely-used “com-lihaoyi” Scala projects (10K+ GitHub stars, 20M+ downloads/month), Li Haoyi has built core infrastructure at companies like Dropbox and Databricks. He's also the author of Hands-on Scala Programming and brings deep expertise in the JVM, Scala Programming Language, Build tools and beyond. Don’t miss this chance to learn from one of the best!</p><p><a href="https://lu.ma/dccyo635" rel="nofollow noopener" target="_blank">https://lu.ma/dccyo635</a></p><p><a href="https://social.softinio.com/tags/bayareascala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BayAreaScala</span></a> <a href="https://social.softinio.com/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://social.softinio.com/tags/sfscala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SFScala</span></a> <a href="https://social.softinio.com/tags/jvm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JVM</span></a></p><p>cc <span class="h-card"><a href="https://fosstodon.org/@scala_lang" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>scala_lang</span></a></span> <span class="h-card"><a href="https://softwaremill.social/@scala_space" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>scala_space</span></a></span> <span class="h-card"><a href="https://softwaremill.social/@scalatimes" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>scalatimes</span></a></span> <span class="h-card"><a href="https://fosstodon.org/@SethTisue" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>SethTisue</span></a></span></p>
blaix<p>Hey hey it's Friday. This Gren Twig is about custom types in Gren.</p><p><a href="https://www.youtube.com/watch?v=_NEMl8odaL4&amp;list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&amp;index=11" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=_NEMl8odaL</span><span class="invisible">4&amp;list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&amp;index=11</span></a></p><p><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/gren" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gren</span></a></p>
Cass Alexandru<p><em>The other thing that I really enjoyed in my industry job is to really think that, hey, the skills that we have as PL people and as formal methods, functional programming, these sorts of things, they are relevant. It’s like people say that when you get into industry, these things are not important. And I think that’s a total misconception. It’s a total lie because, of course, if you don’t know what you can do with a nice systematic approach, of course, you don’t end up doing it, and everything becomes just another hack.</em> - <a href="https://haskell.foundation/podcast/63/" rel="nofollow noopener" target="_blank">Farhad Mehta – the Haskell Interlude Podcast</a><br><a href="https://types.pl/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://types.pl/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://types.pl/tags/formalmethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>formalmethods</span></a></p>
José A. Alonso<p>Ejercicios de programación funcional con Haskell (versión del 20 de septiembre de 2007). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/pd-09/temas/ej_prog_Haskell.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/pd-09/temas/ej_prog_Haskell.pdf</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>Temas de "Programación funcional con Haskell" (2009-10). <a href="https://web.archive.org/web/20211024153243/http://www.cs.us.es/~jalonso/cursos/pd-09/temas/temas-PD-PF-2009-10.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/2021102415</span><span class="invisible">3243/http://www.cs.us.es/~jalonso/cursos/pd-09/temas/temas-PD-PF-2009-10.pdf</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>Curso "Programación declarativa (2009-10)". <a href="https://jaalonso.github.io/cursos/pd-09" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/pd-0</span><span class="invisible">9</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/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>Readings shared March 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/27-readings_shared_03-27-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/03/27-readings_shared_03-27-25</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</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/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</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/TeXLaTeX" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TeXLaTeX</span></a></p>
Puzzle ITC<p>🚀 Java 24 bringt die neuen Stream Gatherers – ein Upgrade, das funktionales Java auf ein neues Level hebt.</p><p>Gatherers füllen eine Lücke bei den Intermediate-Operations: <br>✔ eleganter<br>✔ wiederverwendbar<br>✔ parallelisierbar</p><p>Im Blog erklärt David anhand eines Beispiels: <br>🔹 wie Gatherers funktionieren<br>🔹 wie man eigene schreibt<br>🔹 und warum sie ein echter Gamechanger sind.</p><p>📚 <a href="https://www.puzzle.ch/blog/2025/03/28/stream-gatherers-mit-java-24" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">puzzle.ch/blog/2025/03/28/stre</span><span class="invisible">am-gatherers-mit-java-24</span></a></p><p><a href="https://mstdn.social/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a> <a href="https://mstdn.social/tags/Java24" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java24</span></a> <a href="https://mstdn.social/tags/JavaStreams" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaStreams</span></a> <a href="https://mstdn.social/tags/Gatherers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gatherers</span></a> <a href="https://mstdn.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mstdn.social/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareDevelopment</span></a> <a href="https://mstdn.social/tags/Coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coding</span></a> <a href="https://mstdn.social/tags/DevBlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DevBlog</span></a></p>
José A. Alonso<p>Functional programming in Haskell. ~ Graham Hutton. <a href="https://youtube.com/playlist?list=PLF1Z-APd9zK7usPMx3LGMZEHrECUGodd3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">youtube.com/playlist?list=PLF1</span><span class="invisible">Z-APd9zK7usPMx3LGMZEHrECUGodd3</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>The Haskell Unfolder Episode 41: Generic monoids. ~ Edsko de Vries, Andres Löh. <a href="https://www.youtube.com/live/db-KjKOBMeA" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/live/db-KjKOBMeA</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>Readings shared March 26, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/26-readings_shared_03-26-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/03/26-readings_shared_03-26-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</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/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maxima</span></a></p>
Leanpub<p>Leanpub book LAUNCH! Northwind Elixir Traders: Learn Elixir and database modeling with Ecto and SQLite, all in one project by Isaak Tsalicoglou <a href="https://youtu.be/LtzBS9hb1Go" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">youtu.be/LtzBS9hb1Go</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="tag">#<span>books</span></a> <a href="https://mastodon.social/tags/leanpublishing" class="mention hashtag" rel="tag">#<span>leanpublishing</span></a> <a href="https://mastodon.social/tags/selfpublishing" class="mention hashtag" rel="tag">#<span>selfpublishing</span></a> <a href="https://mastodon.social/tags/booklaunch" class="mention hashtag" rel="tag">#<span>booklaunch</span></a> <a href="https://mastodon.social/tags/ElixirLang" class="mention hashtag" rel="tag">#<span>ElixirLang</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/IndieHacker" class="mention hashtag" rel="tag">#<span>IndieHacker</span></a> <a href="https://mastodon.social/tags/Ecto" class="mention hashtag" rel="tag">#<span>Ecto</span></a> <a href="https://mastodon.social/tags/SQLite" class="mention hashtag" rel="tag">#<span>SQLite</span></a> <a href="https://mastodon.social/tags/SoftwareDevelopment" class="mention hashtag" rel="tag">#<span>SoftwareDevelopment</span></a> <a href="https://mastodon.social/tags/OpenSource" class="mention hashtag" rel="tag">#<span>OpenSource</span></a> <a href="https://mastodon.social/tags/FullStackDev" class="mention hashtag" rel="tag">#<span>FullStackDev</span></a> <a href="https://mastodon.social/tags/LearnToCode" class="mention hashtag" rel="tag">#<span>LearnToCode</span></a> <a href="https://mastodon.social/tags/LeanpubPodcast" class="mention hashtag" rel="tag">#<span>LeanpubPodcast</span></a></p>
Leanpub<p>NEW! A Leanpub Frontmatter Podcast Interview with Isaak Tsalicoglou, Author of Northwind Elixir Traders: Learn Elixir and database modeling with Ecto and SQLite, all in one project | Watch here: <a href="https://youtu.be/zeUVFt82UG4" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">youtu.be/zeUVFt82UG4</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="tag">#<span>books</span></a> <a href="https://mastodon.social/tags/ElixirLang" class="mention hashtag" rel="tag">#<span>ElixirLang</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/IndieHacker" class="mention hashtag" rel="tag">#<span>IndieHacker</span></a> <a href="https://mastodon.social/tags/Ecto" class="mention hashtag" rel="tag">#<span>Ecto</span></a> <a href="https://mastodon.social/tags/SQLite" class="mention hashtag" rel="tag">#<span>SQLite</span></a> <a href="https://mastodon.social/tags/SoftwareDevelopment" class="mention hashtag" rel="tag">#<span>SoftwareDevelopment</span></a> <a href="https://mastodon.social/tags/OpenSource" class="mention hashtag" rel="tag">#<span>OpenSource</span></a> <a href="https://mastodon.social/tags/FullStackDev" class="mention hashtag" rel="tag">#<span>FullStackDev</span></a> <a href="https://mastodon.social/tags/LearnToCode" class="mention hashtag" rel="tag">#<span>LearnToCode</span></a> <a href="https://mastodon.social/tags/LeanpubPodcast" class="mention hashtag" rel="tag">#<span>LeanpubPodcast</span></a></p>
vascorsd<p><a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="tag">#<span>scala</span></a> got into hacker news and actually has a bunch of comments and people talking, that&#39;s surprising :blobcatcoffee: </p><p>Cmon, let&#39;s convince the industry to create some more jobs, at least I know I need one 😅 </p><p><a href="https://news.ycombinator.com/item?id=43468972" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">news.ycombinator.com/item?id=4</span><span class="invisible">3468972</span></a></p><p><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="tag">#<span>fp</span></a> <a href="https://mastodon.social/tags/functionalProgramming" class="mention hashtag" rel="tag">#<span>functionalProgramming</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a> <a href="https://mastodon.social/tags/jvm" class="mention hashtag" rel="tag">#<span>jvm</span></a></p>
José A. Alonso<p>Readings shared March 25, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/25-readings_shared_03-25-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/03/25-readings_shared_03-25-25</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</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/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
Ænðr E. Feldstraw<p>I researched how to reduce verbosity when programming in the javascript language and found <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="tag">#<span>functionalprogramming</span></a> useful. I gathered a sample and a breakdown of why it works, together with some drawbacks. </p><p><a href="https://www.patreon.com/posts/125084056" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">patreon.com/posts/125084056</span><span class="invisible"></span></a></p><p>What say you? Is this a good use or a bad use of <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="tag">#<span>fp</span></a> techniques?</p>