Our blog is back, with an amazing guest post by julesh on implementing well-typed by construction substructural languages. zanzix.github.io/posts/4-substr…

x.com/kylascan/statu…

I don't want to write code with Gimp

studenttheses.uu.nl/bitstream/hand…

Wasn't there some talk about designing PLs like a game engine, I want to find it

Aron Adler א/ע EduardoRFS.tei oliver you can kinda do this in haskell too btw

Haskell fans, here's SPJ at the Haskell Symposium/ICFP talking about the efforts that the GHC Steering Committee are making towards stability. Thanks to SPJ and the Haskell Foundation Stability Working Group for making this push! youtube.com/watch?v=1hrOpc…

In this new blog post Jonathan Arnoult walks us through his internship contributions to teach Liquid Haskell to reason when external dependencies are involved. hubs.ly/Q02PNmrw0

wrote up the example of streaming compression in Haskell, calling a C API that performs memory writes as effects. It is a nontrivial example of how to juggle laziness and effects, and why monadic IO is so central vmchale.com/static/serve/l…

spocino (b/yacc) It doesn't need to be substructural. Read closure-less paper by Kovacs.

Haskell is my safe space. My day was worse up until I wrote some Haskell

(forall x. Cls x => x) is the limit of the forgetful functor from f-algebras, assuming class Cls a where meth :: f a -> a It is isomorphic to Fix f

You know it's bash when every feature is a trick