Blogs (61) >>
Tue 17 Jul 2018 15:55 - 16:35 at Matterhorn III - Track 3

Generalized algebraic datatypes (GADTs) are often considered an exotic academic curiosity with no bearing in practical applications. In this talk, we’ll explore how to apply GADTs to a real-world problem: implementing a simple GraphQL server. In that process we’ll demonstrate how GADTs allow us to model the problem domain accurately in the type system. As a result, we can get many compile-time guarantees that is typically solved with runtime checks and type coercions in other libraries. Examples will be in OCaml.

Tue 17 Jul

curryon-2018-CurryOn-Talks
15:55 - 17:25: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks15:55 - 16:35
Talk
curryon-2018-CurryOn-Talks16:45 - 17:25
Talk