Easy GADTs by Repeating Yourself - Eduardo Rafael - FUN OCaml 2024
Автор: FUN OCaml
Загружено: 2024-11-20
Просмотров: 2044
Описание:
Eduardo Rafael's FUN OCaml 2024 talk recording!
Overview by Eduardo:
Traditionally GADT's are used for lightweight tasks as the code complexity increases quite. I will be arguing that this is mostly a lack of common "design patterns" and maybe some tools. The talk will go through describing what you can fundamentally do with GADT's, how you should think about them and a general technique to mimic dependent types in OCaml, Hopefully by the end, a show case of a proposal for the Michelson interpreter.
https://fun-ocaml.com/2024/easy-gadts/
Connect with us
Website: https://fun-ocaml.com/
Twitter: https://x.com/FunOCaml
Bluesky: https://bsky.app/profile/fun-ocaml.com
#ocaml
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
