helvede.net is one of the many independent Mastodon servers you can use to participate in the fediverse.
Velkommen til Helvede, fediversets hotteste instance! Vi er en queerfeministisk server, der shitposter i den 9. cirkel. Welcome to Hell, We’re a DK-based queerfeminist server. Read our server rules!

Server stats:

167
active users

#fp

0 posts0 participants0 posts today
vascorsd<p>Going structural with Named Tuples by Jamie Thompson | Scalar Conference 2025</p><p><a href="https://www.youtube.com/watch?v=Qeavi9M65Qw" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=Qeavi9M65Qw</span><span class="invisible"></span></a></p><p><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/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/scala3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala3</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
vascorsd<p>It's always sad when reading comments on <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> languages and people saying "I tried <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</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/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a>... and don't like because X", which shows they are interested but then also say "I looked at <a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala</span></a> and it looked complex so I didn't even try it and ran away" 🙃...</p><p>People, if you can do it in those languages, you can do it in scala. It's the most popular and used in production fp language in the world!</p><p>Thanks for coming to my teg talk :blobcatcoffee:</p>
vascorsd<p><a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala</span></a> got into hacker news and actually has a bunch of comments and people talking, that's surprising :blobcatcoffee: </p><p>Cmon, let'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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>fp</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/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/jvm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jvm</span></a></p>
Torsten Fink<p>A nice article, starting with harmless maps and flatMaps in Kotlin and ending with functors and monads, hopefully without scaring the reader:</p><p><a href="https://blog.akquinet.de/2025/02/28/the-map-and-flatmap-patterns/#writing-our-own-mappable-and-flatmappable-types" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.akquinet.de/2025/02/28/th</span><span class="invisible">e-map-and-flatmap-patterns/#writing-our-own-mappable-and-flatmappable-types</span></a></p><p><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mastodon.social/tags/kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>kotlin</span></a> <a href="https://mastodon.social/tags/arrowkt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>arrowkt</span></a></p>
vascorsd<p>Lambda World 2024 - Functional effects in perspective - Vitaly Bragilevsky - YouTube<br><a href="https://m.youtube.com/watch?v=FO8xXYBMZ8U" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">m.youtube.com/watch?v=FO8xXYBM</span><span class="invisible">Z8U</span></a></p><p><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</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/FunctionalEffects" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalEffects</span></a></p>
vascorsd<p>Insane talk 🤯</p><p>Lambda World 2024 - The Power of Function Composition - Conor Hoekstra - YouTube<br><a href="https://m.youtube.com/watch?v=W7fjzdEJnvY" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">m.youtube.com/watch?v=W7fjzdEJ</span><span class="invisible">nvY</span></a></p><p><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
vascorsd<p>These years in Common Lisp: 2023-2024 in review - Lisp journey - <a href="https://lisp-journey.gitlab.io/blog/these-years-in-common-lisp-2023-2024-in-review/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lisp-journey.gitlab.io/blog/th</span><span class="invisible">ese-years-in-common-lisp-2023-2024-in-review/</span></a></p><p><a href="https://mastodon.social/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</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/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</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/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a></p>
vascorsd<p>The State of Scala &amp; Clojure Surveys: How is functional programming on JVM doing - JVM Weekly vol. 119 - <a href="https://www.jvm-weekly.com/p/the-state-of-scala-and-clojure-surveys" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">jvm-weekly.com/p/the-state-of-</span><span class="invisible">scala-and-clojure-surveys</span></a></p><p><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/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clojure</span></a> <a href="https://mastodon.social/tags/jvm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jvm</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/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>
vascorsd<p>~40% have no plans to migrate to <a href="https://mastodon.social/tags/scala3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala3</span></a>.</p><p>~55% are on <a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala</span></a> 2.13, ~30% on scala 3.</p><p>~40% using <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> style of programming, ~35% using regular style, ~20% highly generic code, only less than 7% use python like style.</p><p>Overall a good read. Still only half way there.</p>
vascorsd<p><a href="https://mastodon.social/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> Project Maintenance Survey Report</p><p><a href="https://lp.virtuslab.com/wp-content/uploads/2025/02/Scala-Projects-Maintenance-Report.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lp.virtuslab.com/wp-content/up</span><span class="invisible">loads/2025/02/Scala-Projects-Maintenance-Report.pdf</span></a></p><p><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
fanf42<p>The more I use <a href="https://github.com/scalalandio/chimney" rel="nofollow noopener noreferrer" target="_blank">chimney</a>, the more I love it. Hope it's not just Stockholm syndrom kicking :)</p><p><a href="https://social.treehouse.systems/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scala</span></a> <a href="https://social.treehouse.systems/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
vascorsd<p>Functional PostgreSQL without JDBC - Jesper Öman, Scala Stockholm Winter Meetup, Nov 2024 Part 1 </p><p>code at: <a href="https://github.com/jesperoman/skunk-scala-meetup/tree/main" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/jesperoman/skunk-sc</span><span class="invisible">ala-meetup/tree/main</span></a> (things are at different branches)</p><p><a href="https://www.youtube.com/watch?v=oNZvQFvQ7OI" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=oNZvQFvQ7OI</span><span class="invisible"></span></a></p><p><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/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
fenix<p>Compartir el hecho de que estamos ahora compartiendo experiencia y saberes en las aulas de <a href="https://masto.nobigtech.es/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> en los institutos de <a href="https://masto.nobigtech.es/tags/madrid" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>madrid</span></a></p><p> Si estás en un proyecto relacionado... , en el ámbito de la empresa o de la escuela, orientado a metodologías activas y dinámicas (del siglo XXI, vaya) y faltan manos, de cara al curso 2024-25, no dudes en ponerte en contacto conmigo. </p><p>Y conversamos ? será, una vez más, un placer compartir experiencias.</p><p><a href="https://masto.nobigtech.es/tags/escuela" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>escuela</span></a></p>
Jan Midtgaard<p>Over the past couple of days, I've been scratching a 3-year old QCheck(2) itch<br><a href="https://github.com/c-cube/qcheck/pull/319" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/c-cube/qcheck/pull/</span><span class="invisible">319</span></a><br>It's nice to finally make progress on it! 😃 <br><a href="https://types.pl/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> <a href="https://types.pl/tags/quickcheck" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quickcheck</span></a> <a href="https://types.pl/tags/pbt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pbt</span></a> <a href="https://types.pl/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
vascorsd<p>Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust | Lobsters<br><a href="https://lobste.rs/s/aeut8o/blazing_fast_directory_tree_traversal" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lobste.rs/s/aeut8o/blazing_fas</span><span class="invisible">t_directory_tree_traversal</span></a></p><p><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/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</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/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a></p>
vascorsd<p>Nice video for understanding a bit about the Alternative typeclass.</p><p>Chris Penner - Alternative by example - A typeclass for parsing, concurrency, logic programming - <a href="https://www.youtube.com/watch?v=ColY2dknvJs" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=ColY2dknvJs</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</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/typeclasses" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typeclasses</span></a></p>
vascorsd<p>For interesting <a href="https://mastodon.social/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</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/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</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/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> videos on peertube, at least we got some there here - <a href="https://video.infosec.exchange/c/category_theory/videos" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">video.infosec.exchange/c/categ</span><span class="invisible">ory_theory/videos</span></a></p>
Jan Midtgaard<p>Yesterday a very good friend gave me this nice box of homemade OCaml coasters, all 3d-printed. Naturally, they were immediately put to good use... 😄🍻 <a href="https://types.pl/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> <a href="https://types.pl/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
jnpn<p>who wants some <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> youtube channel ?</p><p><a href="https://www.youtube.com/@FUNOCaml" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/@FUNOCaml</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/fun" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fun</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
Alex Nedelcu<p><a href="https://social.alexn.org/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> hasn't taken over the world yet, as its observable benefits are more subtle, essentially forcing people into proven best practices. Examples:</p><p>- Clear &amp; observable state modeling;<br>- Testing outputs, not side effects;<br>- Forcing resources to be params (clear deps &amp; lifecycles).</p>