@rae: Update on Dependent Haskell
Автор: Tweag by Modus Create
Загружено: 2021-02-01
Просмотров: 3053
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 https://gitlab.haskell.org/ghc/ghc/-/... and lots of relevant discussion at https://github.com/ghc-proposals/ghc-....
Find me at https://richarde.dev/ or on Twitter at @RaeHaskell.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: