snabelen.no er en av mange uavhengige Mastodon-servere du kan bruke for å delta i det desentraliserte sosiale nettet.
Ein norsk heimstad for den desentraliserte mikroblogge-plattformen.

Administrert av:

Serverstatistikk:

363
aktive brukere

#functionalprogramming

18 innlegg10 deltakere0 innlegg i dag
José A. Alonso<p>A Liquid Haskell kick-start. ~ Xavier Góngora. <a href="https://ninioartillero.github.io/2025/04/15/lh-kickstart.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ninioartillero.github.io/2025/</span><span class="invisible">04/15/lh-kickstart.html</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 July 24, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/25-readings_shared_07-24-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/25-readings_shared_07-24-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/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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>The Haskell Unfolder Episode 47: Pure parallelism. ~ Edsko de Vries, Andres Löh. <a href="https://www.youtube.com/live/trDqqZldxQA" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/live/trDqqZldxQA</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>Type-level programming for safer resource management. ~ Fraser Tweedale. <a href="https://frasertweedale.github.io/blog-fp/posts/2025-07-19-type-nats-and-constraints.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">frasertweedale.github.io/blog-</span><span class="invisible">fp/posts/2025-07-19-type-nats-and-constraints.html</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>
Fortsettelse av samtale

I also got experience with the following (5 = a lot, 1 = a little) :

#machinelearning #ml (3) (I have implemented some ML models myself in the past, for learning purposes.)
#guix (3) (Using it for reproducible setups of projects.)
#functionalprogramming #fp (5) (Doing it in my own projects.)
#objectorientedprogramming #oop (4) (last job and past xp in my own projects.)
#CI / #CD (3) (Last job)
#make (4) (using it for my own project setups and convenience)
#testing (4) (last job, own projects)

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.
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.
Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.

gleam.run

gleam.runGleam languageThe Gleam programming language