A Tase Of ATS
Автор: Compose Conference
Загружено: 2019-06-25
Просмотров: 4040
Compose NYC 2019
Speaker: Aditya Siram
ATS is one of the most exciting and advanced low level systems programming languages around. It's a statically-typed, fully functional no-GC ML exactly as fast as C with ADTs at the value, type, kind and proof level, statically verified pointer arithmetic, refinement types, linear types, dependent types and theorem proving!
Just one problem, ATS has two modes, hard and super-hard, the tool support and ecosystem are non-existent and the ergonomics are post apocalyptic. But it has amazing and pragmatic ideas that should inspire the next great systems programming language. Join me for a whirlwind, warts-and-all tour of ATS's types, proofs and low level memory manipulation all with grounded, relatable but challenging examples.
No experience with ATS is needed, only an appreciation for types, functional programming and systems programming. Just sit back, relax and enjoy!
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
