Easy GADTs by Repeating Yourself - Eduardo Rafael - FUN OCaml 2024

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