30.3.22
Programming language to the stars
TIL that my students can choose among about forty different firms interested in hiring Haskell programmers. Among them is Co-Star, a firm that provides horoscopes to millions of users, which has put up a page detailing why they choose Haskell over other languages. Thanks to Alex Wasey and Dylan Thinnes for the pointer.
Labels: Functional Programming, Haskell
3.3.22
Optics vs Lenses, Operationally
A great blog post by Bruno Gavranović, with a clear and beautifully illustrated explanation of why lenses and optics are equivalent denotationally, but optics are superior operationally. There is also a video of a corresponding talk.
Labels: Category Theory, Functional Programming, Programming Languages
