datatype

datatype copied to clipboard

Polymorphic datatype

8

Allows `define-datatype` to take type parameters, as discussed in https://github.com/andmkent/datatype/issues/2. e.g. ``` (define-datatype (Optional a) [Some (a)] [None ()]) ``` Note: changes syntax of `define-datatype`; might not be quite ready...

markfarrell

Option datatype?

1

How might I define datatypes that take a type parameter, like Option? Would like to be able to define Option like this, but currently can't: ``` racket (define-datatype (Opt a)...

markfarrell