Richard Eisenberg (@raehaskell) 's Twitter Profile
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

linkhttps://richarde.dev/ calendar_today03-11-2019 17:49:51

220 Tweet

3,3K Followers

149 Following

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

In a fit of evening productivity, I wrote two GHC proposals tonight: github.com/ghc-proposals/… on a new opt-in syntax for lists and tuples that avoids punning, and github.com/ghc-proposals/… on dropping support for -XNoPolyKinds. Video on -XNoPolyKinds due out on Thursday.

Tweag (@tweagio) 's Twitter Profile Photo

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

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

Want to contribute to GHC? I came across a ticket today that should be nicely addressable by a newcomer. Hint: look in libraries/template-haskell/Language/Haskell/TH/Ppr.hs gitlab.haskell.org/ghc/ghc/-/issu…

gilmi (@_gilmi) 's Twitter Profile Photo

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!

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

Excited to make a new series of videos, about a Haskell program to find good Wordle guesses. Should be a good companion example to Haskell learners and an opportunity to learn about data representation choices and optimization for Haskell intermediates. youtu.be/2djr6ZxQ8VA

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

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

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

Pleased to share that the videos from the WITS workshop (co-organized with @agdakx and part of POPL 2025) are now online, including the keynote by @jonmsterling. Thanks to Apoorv Ingle, the tireless video chair! youtube.com/playlist?list=…

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

Alert: The GHC Steering Committee is contemplating a proposal that will cause some breakage. We want community feedback to inform whether we should proceed. Read all about it -- and share your thoughts -- at Discourse: discourse.haskell.org/t/feedback-req…

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

Apologies to my loyal fans, but this week got away from me -- no Tweag video. :( I'll make it up with 2 next week! :) One will use criterion to run microbenchmarks on the Wordle code. Don't worry if you haven't kept up on the (long) series -- it will be relevant regardless!

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

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!

Computing at School (@compatsch) 's Twitter Profile Photo

Simon Peyton Jones’ work to deliver outstanding computing education is recognised in the Queen’s Birthday Honours ahead of the Platinum Jubilee celebrations. 👏🎊 Read more: computingatschool.org.uk/news-and-blogs… #PlatinumJubilee #Congratulations #OBE

Simon Peyton Jones’ work to deliver outstanding computing education is recognised in the Queen’s Birthday Honours ahead of the Platinum Jubilee celebrations. 👏🎊

Read more: computingatschool.org.uk/news-and-blogs…
#PlatinumJubilee #Congratulations #OBE
Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

I'm excited to be part of a panel on careers in PL at PLMW at POPL 2025. But I'm weighing whether or not to stick around for all of POPL. I'd love to -- but I went 2 for 2 in 2022 for getting covid at conferences. Will there be e.g. a testing protocol? That would go a long way.