0:00 / 0:00
#dependent-types#dependent-haskell#ghc
@rae: Update on Dependent Haskell
Tweag by Modus Create
5K subscribers • 20 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.