www.youtube.com/watch?v=Xr1g... #haskell #functionalprogramming #programming
@frenchie-sans.bsky.social
@clojurejobboard.comPlanting Space is searching for: Backend Software Engineering #RemoteWork 🇪🇺 #clojure #remote #haskell
@haskell.orgJust published on the #Haskell blog: A deep dive into "Differences between `foldl` and `foldr`"
blog.haskell.org/foldl-and-fo... originally by Alexis King
@peterb.bsky.social
@lobsters-feed.bsky.socialReal-Time Telemetry with Eventlog Live https://lobste.rs/s/3bgvbn #release #haskell
@lobsters-feed.bsky.socialParsing JSON Objects without intermediate ASTs https://lobste.rs/s/ehpn7n #haskell
@stphrolland.bsky.socialHe is a bit tough/harsh about #haskell and #assembler
@jalonso.eurosky.socialReadings shared: 14-20 September, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #RocqProver
@haskell.orgWell-Typed #Haskell ecosystem activities report: June–August 2026
What is category theory, and why does it matter for functional programming? Explained for #haskell programmers:
www.youtube.com/watch?v=Xr1g...
www.youtube.com/watch?v=mul9...
@abuseofnotation.mathstodon.xyz.ap.brid.gy at ZuriHac 2026
@khibino.bsky.social今回の一連の記事は、
以上の一般の場合の全単射を証明したものとなります。
#Haskell #FP
Tagless-Final 辞書と Free Monad インタプリタは米田の補題でつながる
bsky.app/profile/khib...
F X = Σᵢⁿ Aᵢ × (Rᵢ → X) を Container関手として読む
zenn.dev/khibino/arti...
Free Monad インタプリタは一段階分の解釈で決まる
zenn.dev/khibino/arti...
@jalonso.eurosky.socialSearch over algebraic graphs. ~ David Anekstein. anekstein.com/posts/2026-0... #Haskell #FunctionalProgramming
@tweag.ioLiquid Haskell can prove your type class laws with an SMT solver – or could, until GHC 9 broke it. Juan Pablo Yamamoto spent #GSoC bringing it back. Here's how it went:
@lobsters-feed.bsky.socialTilia—a new formatter for Haskell https://lobste.rs/s/jbxpqz #haskell
@abuseofnotation.mathstodon.xyz.ap.brid.gy
@qiita-trending.bot.chrs.to
@alexn.org