Richard Eisenberg Profile
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
Don't wanna be here? Send us removal request.
@RaeHaskell
Richard Eisenberg
3 years
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
@RaeHaskell
Richard Eisenberg
3 years
And speaking of unboxed types... check out my talk next week at the ML Workshop:
0
1
7
@RaeHaskell
Richard Eisenberg
3 years
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.
@yminsky
Yaron (Ron) Minsky
3 years
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
@RaeHaskell
Richard Eisenberg
3 years
It was a fond farewell to @tweagio, where I have spent a very enjoyable few years. I feel so lucky to have been able to go from one great opportunity to another. Thanks, @tweagio, for everything!
2
0
41
@RaeHaskell
Richard Eisenberg
3 years
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
@RaeHaskell
Richard Eisenberg
3 years
Back after a hiatus for Haskell Symposium submission (rejected ๐Ÿ˜ข) and then holidays.
@tweagio
Tweag by Modus Create
3 years
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
@CompAtSch
Computing at School
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
This is my favorite tweet in a while.
@csTimSears
Tim Sears
4 years
๐ŸŸฉ I got Chardle in one guess! Only happens about once a month.
0
0
3
@RaeHaskell
Richard Eisenberg
4 years
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
@_gilmi
gilmi
4 years
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!
@haskellweekly
Haskell Weekly
4 years
๐Ÿ’ฏ๐Ÿ’ฏ๐Ÿ’ฏ Issue 300 of the #Haskell Weekly newsletter is out now!
2
7
88
@RaeHaskell
Richard Eisenberg
4 years
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
Tweet card summary image
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
@tweagio
Tweag by Modus Create
4 years
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
@RaeHaskell
Richard Eisenberg
4 years
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