Richard Eisenberg
@RaeHaskell
Followers
3K
Following
44
Media
8
Statuses
220
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
Philadelphia, PA, USA
Joined November 2019
I'm excited to be part of a panel on careers in PL at PLMW at @poplconf. 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.
0
1
5
And speaking of unboxed types... check out my talk next week at the ML Workshop:
0
1
7
This looks like an exciting program to be a part of. Come join us! I've been at Jane Street for only three weeks and am already deep into unboxed types. You'll have a chance to collaborate with a clever team and make a quick impact, too.
If you're going to be at ICFP, come and talk to one of the Jane Street folk there! One new thing to talk about is our Visiting Researcher Program. https://t.co/PebH7sWFZe
2
0
14
I'm thrilled to share that today was my first day working at @JaneStreetGroup. First task: work out unboxed types for #OCaml. Do not fear, though: Part of my job is to continue contributing to #Haskell. What will the two languages learn from each other? So excited to find out!
8
17
292
Back after a hiatus for Haskell Symposium submission (rejected ๐ข) and then holidays.
There has been some ado in the Haskell world about deep subsumption and how its removal broke Haskell code in GHC 9.0. @RaeHaskell explains how it all unfolded.
1
1
12
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: https://t.co/HVn5fCLwtH
#PlatinumJubilee #Congratulations #OBE
13
53
217
I'm writing a paper for Haskell Symposium, using @kosmikus'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!
0
2
50
Apologies to my loyal fans, but this week got away from me -- no @tweagio 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!
1
0
12
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
The GHC Steering Committee is considering accepting https://github.com/ghc-proposals/ghc-proposals/pull/425, a proposal to add new syntax allowing more explicit datatype and class declarations. For...
1
18
35
Well, video will be up in the morning. Turns out the problem was much easier than I thought (`cabal repl test`), but it came at the end of a painful recording session, with lots of silly mistakes, and I was out of creativity/patience by the end.
1
0
5
I must apologize to loyal watchers of my videos made with @tweagio -- there will be no video this week. Since getting going in Oct 2020, this will be the first week missed. The problem?
github.com
I wanted to demonstrate QuickCheck in a video, by running quickCheck in GHCi and showing how QuickCheck generates test cases for property-based testing. But I cannot figure out how to do this (unle...
3
0
10
Pleased to share that the videos from the WITS workshop (co-organized with @agdakx and part of @poplconf) are now online, including the keynote by @jonmsterling. Thanks to Apoorv Ingle, the tireless video chair!
youtube.com
The first Workshop on the Implementation of Type Systems https://popl22.sigplan.org/home/wits-2022#program
0
5
22
The @haskellfound 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!
0
27
39
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.
2
8
44
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 @taylorfausak and congratulations on hitting 300 issues!
๐ฏ๐ฏ๐ฏ Issue 300 of the #Haskell Weekly newsletter is out now!
2
7
88
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
Summary The function pprint in template-haskell formats do expressions with braces and semicolons. That's normally a safer approach...
1
7
27
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? @RaeHaskell shows us how, with a couple of twists and turns:
1
3
20
In a fit of evening productivity, I wrote two GHC proposals tonight: https://t.co/zCXr6zC9jz on a new opt-in syntax for lists and tuples that avoids punning, and https://t.co/HMTaA12Imf on dropping support for -XNoPolyKinds. Video on -XNoPolyKinds due out on Thursday.
github.com
Support for -XNoPolyKinds has become harder and harder to keep up. It's not clear that anyone is relying on the lack of kind polymorphism. I thus propose to drop support for -XNoPolyKinds. ...
3
0
22