mstdn.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A general-purpose Mastodon server with a 500 character limit. All languages are welcome.

Administered by:

Server stats:

9.6K
active users

#haskell

35 posts26 participants0 posts today
marcosh<p><span class="h-card" translate="no"><a href="https://social.edu.nl/@foxy" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>foxy</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@wouter" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>wouter</span></a></span> I know that in the <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> ecosystem there is <a href="https://wiki.haskell.org/Backpack" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">wiki.haskell.org/Backpack</span><span class="invisible"></span></a> which should provide a more modular module system, but I'm not really familiar with the details</p>
jbz<p>FreeBSD - getting Haskell up an running on ARM64 • BSDJedi</p><p><a href="https://www.youtube.com/watch?v=Gss8rx2YYOE" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=Gss8rx2YYOE</span><span class="invisible"></span></a></p><p><a href="https://indieweb.social/tags/freebsd" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>freebsd</span></a> <a href="https://indieweb.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://indieweb.social/tags/arm64" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arm64</span></a></p>
Lobsters<p>Monads as Graphs (2019) <a href="https://lobste.rs/s/91ukor" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/91ukor</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a><br><a href="http://neilmitchell.blogspot.com/2019/10/monads-as-graphs.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">neilmitchell.blogspot.com/2019</span><span class="invisible">/10/monads-as-graphs.html</span></a></p>
José A. Alonso<p>Comparing codes: Image rotation (Mutable arrays in Haskell). ~ James Bowen. <a href="https://mmhaskell.com/blog/2025/7/21/image-rotation-mutable-arrays-in-haskell" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mmhaskell.com/blog/2025/7/21/i</span><span class="invisible">mage-rotation-mutable-arrays-in-haskell</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>
Malvin<p>"The first LTS release will be GHC 9.14, which will be released this summer!"<br><a href="https://www.haskell.org/ghc/blog/20250702-ghc-release-schedules.html" rel="nofollow noopener" target="_blank">https://www.haskell.org/ghc/blog/20250702-ghc-release-schedules.html</a><br><br>That's cool! It should reduce my number of "which GHC version do I use for the course this year" moments by at least 50% 😃<br><br><a href="https://goto.fiets.pizza/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a></p>
Habr<p>Путешествие в мир функционального программирования: как я провела курс студентам</p><p>Привет! Меня зовут Ксюша, я работаю бэкенд-разработчиком на C# в Контуре. В весеннем семестре я провела курс по функциональному программированию на Haskell для студентов 3 и 4 курса направления ФИИТ (фундаментальная информатика и информационные технологии) в УрФУ и хочу поделиться своим опытом организации и проведения курса.</p><p><a href="https://habr.com/ru/companies/skbkontur/articles/927814/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">habr.com/ru/companies/skbkontu</span><span class="invisible">r/articles/927814/</span></a></p><p><a href="https://zhub.link/tags/%D0%BF%D1%80%D0%B5%D0%BF%D0%BE%D0%B4%D0%B0%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>преподавание</span></a> <a href="https://zhub.link/tags/%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>функциональное_программирование</span></a> <a href="https://zhub.link/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://zhub.link/tags/%D1%84%D0%BF" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>фп</span></a> <a href="https://zhub.link/tags/%D1%81%D1%82%D1%83%D0%B4%D0%B5%D0%BD%D1%82%D1%8B" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>студенты</span></a> <a href="https://zhub.link/tags/%D1%81%D1%82%D1%83%D0%B4%D0%B5%D0%BD%D1%82%D1%8B_%D0%B2_it" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>студенты_в_it</span></a></p>
marcosh<p>I wrote another blog post on several ways to declare an interface in <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a></p><p><a href="https://marcosh.github.io/post/2025/07/22/four-ways-of-declaring-interfaces-in-haskell.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">marcosh.github.io/post/2025/07</span><span class="invisible">/22/four-ways-of-declaring-interfaces-in-haskell.html</span></a></p><p><a href="https://functional.cafe/tags/functionalprogamming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogamming</span></a> <a href="https://functional.cafe/tags/functional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functional</span></a> <a href="https://functional.cafe/tags/interface" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>interface</span></a> <a href="https://functional.cafe/tags/abstraction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abstraction</span></a></p>
Lobsters<p>A parser and interpreter for a very small language via <span class="h-card" translate="no"><a href="https://fantastic.earth/@abnv" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>abnv</span></a></span> <a href="https://lobste.rs/s/sas2kh" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/sas2kh</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://blog.ploeh.dk/2025/07/07/a-parser-and-interpreter-for-a-very-small-language/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.ploeh.dk/2025/07/07/a-par</span><span class="invisible">ser-and-interpreter-for-a-very-small-language/</span></a></p>
mirek kratochvil<p>So I made a tool for managing little changes in code&amp;text and it seems to run well enough now, so sharing.</p><p>The diff is like from `git diff --word-diff`, but you can automerge same-line edits, retain spacing&amp;indentation from a selected version, and send the small edits around as patches. Also works great for <a href="https://mastodon.online/tags/LaTeX" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LaTeX</span></a> and <a href="https://mastodon.online/tags/markdown" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>markdown</span></a> (merging these with plain git is pure pain).</p><p><a href="https://github.com/exaexa/werge" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/exaexa/werge</span><span class="invisible"></span></a> (is <a href="https://mastodon.online/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> )</p><p><a href="https://mastodon.online/tags/versioncontrol" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>versioncontrol</span></a> <a href="https://mastodon.online/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a></p>
José A. Alonso<p>Readings shared July 21, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-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/22-readings_shared_07-21-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> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a></p>

Kwang's #Haskell Blog - Memoization in Haskell
"memoization is used widely in many programming languages, but it can’t be applied directly to Haskell because Haskell is pure and we don’t want to introduce impurity just to memoize a function. Fortunately, it is possible to memoize a function without side effects thanks to Haskell’s nature of lazy evaluation.

The following memoize function takes a function of type Int -> a and returns a memoized version of the same function. The trick is to turn a function into a value because, in Haskell, functions are not memoized but values are."
kseo.github.io/posts/2017-01-1.

kseo.github.ioKwang's Haskell Blog - Memoization in Haskell