News for hackers. Stuff that matters.
Re:PFP: A Probabilistic Functional Programming Library for H... by internet_points on Sunday August 31, 2025 @02:43AM (#45080913)
Re:PFP: A Probabilistic Functional Programming Library for H... by usually on Wednesday September 03, 2025 @03:33PM (#45119623)
It's interesting to see how much Haskell has changed since this was written. It feels weird not having every Monad be an Applicative Functor. (Sidenote, I really like that you can define a Monad instance in Lean 4 and automatically get those. I guess Haskellers derive this stuff anyway, so it's not the biggest deal)