Anmol Sahoo
Research Associate
IIT Madras
location_on India
Member since 3 years
Share
Anmol Sahoo
Specialises In
Anmol Sahoo graduated with a Bachelor of Engineering degree in Mechanical Engineering from India but his love for computer architecture brought him to the Shakti project. He is currently working on the software tooling around Shakti and he loves long-distance running.
-
keyboard_arrow_down
GADTs in OCaml
90 Mins
Tutorial
Intermediate
OCaml is a multi-paradigm programming language with a pragmatic mix of functional and imperative programming features. OCaml, which has been around since 1996, has grown to be a battle tested language, widely deployed and used in production systems. In this talk, we will look at the support for Generalized Algebraic Data Types (GADTs), a powerful generalization of the more mundane Algebraic Data Types (ADTs). We will start with an example of building an interpreter for a small language and add type safety through GADTs. We will then look at a few powerful type-safe design patterns that GADTs enable.
-
-
No more submissions exist.
