
Richard Eisenberg
@raehaskell
Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
ID: 1191049810213834753
https://richarde.dev/ 03-11-2019 17:49:51
220 Tweet
3,3K Followers
149 Following


We can imagine an operator like `Tuple Int Bool Double` that reduces to `(Int, Bool, Double)` by inferring its arity. But can we do it for unboxed tuples, with their varying representations? Richard Eisenberg shows us how, with a couple of twists and turns: youtu.be/kGyiH5Nup-Y


Haskell weekly is such an important part of the Haskell ecosystem. Hard to believe it's run by a single, passionate person for such a long time. Thank you for all of your hard work Taylor Fausak and congratulations on hitting 300 issues!



The Haskell Foundation is seeking a new Executive Director. Come join us and help shape the future of #Haskell! We're eager to get moving, and so the deadline is Feb 22. Spread the word! haskell.foundation/careers/ed.html




I'm writing a paper for Haskell Symposium, using Andres Löh's lhs2TeX for code formatting. My editor: VSCode. And, amazing to say, HLS is finding type errors in the middle of my paper. Very cool!


