Haskell/GADT - Wikibooks, open books for an open world

Generalized algebraic datatypes, or simply GADTs, are a generalization of the algebraic data types that you are familiar with. Basically, they allow you to explicitly write down the types of the constructors. In this chapter, you'll learn why this is useful and how to declare your own. We begin with an example of building a simple embedded domain specific language (EDSL) for simple arithmetical ex

[masterq]

いまさら入門。。。