0:00 / 0:00
#dependent-types#dependent-haskell#ghc
@rae: Update on Dependent Haskell
Tweag by Modus Create
5K subscribers • 25 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Richard Eisenberg, software engineer at Tweag
- Linked in the descriptionghc-proposals/ghc-proposals
- May be out of date. The tools, versions or practices it shows have likely moved on.
Advanced. Deep dive for people who know the field.
3K views5 years ago1 recommendation
Programming languagesHaskellLanguage design and type systems
Richard Eisenberg shares an update on the progress and design principles of Dependent Haskell.
I share a little on what's been going on in the broader journey toward dependent types in Haskell. Beyond what's shared in the video, viewers may want to check out the principles behind the design of Dependent Haskell at gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell and lots of relevant discussion at github.com/ghc-proposals/ghc-proposals/pull/378. Find me at richarde.dev/ or on Twitter at @RaeHaskell.Why it's here
1 person recommends thisWhat people say. Recommended as a helpful status update on the road to dependent types in Haskell.
u/ziggurismin r/haskell • Mentions
On “is dependent haskell still a thing?”
Richard Eisenberg was spearheading that project for years, without much in the way of user facing progress, but in 2022 he seemed to step back. I don't know whether he formally announced his parting ways with the project, but he deleted the "projects" tab of his personal website where he talked about the dependent haskell initiative.
He did say this on the haskell discourse in 2022.
>But – in some contrast to the me of 5 years ago – I’ve come to be more skeptical of adding dependent types to Haskell as it exists today.
>Suppose we’re renovating our castle. We know that a beautiful tower placed just there will be a sight to behold – and will give us a wonderful view, both for pleasure and…
u/Noughtmarein r/haskell • Mentions
On “Haskell is the greatest programming language of all time”
There was this video from Richard Eisenberg less than two years ago:
link to this video
And this short message very recently confirming Serokell is still working on it actively.