Скачать
@rae: Using singleton types to replicate a length-indexed Vector
Автор: Tweag by Modus Create
Загружено: 2021-04-20
Просмотров: 1786
Описание:
This second video in my series on type-level programming with length-indexed vectors shows how fancy types help us to avoid programming errors. We also encounter the first time we need a singleton type to make progress, in the type of replicate.
Previous video: • @rae: How to program in types with length-...
Final version of code in video: https://github.com/goldfirere/video-r...
Find me at https://richarde.dev/ or on Twitter at @RaeHaskell
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![The Nix Hour #67 [language tooling]](https://imager.clipsaver.ru/EMapAe1lgQM/max.jpg)