Скачать
⚡ Type Level Arithmetic in Haskell - Felix B
Автор: UWCS - University of Warwick Computing Society
Загружено: 2022-12-21
Просмотров: 1296
Описание:
Tired of using basic, boring programming features like numbers? Think having a standard library is too handhold-y? Fancy doing every last bit of your computation at compile time? Well, have we got the solution for you! In this talk, we'll write a program to add two numbers together - but at the type level.
Talk by Felix B
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
