'Functor tree2' diaporamas de présentation

Grab Bag of Interesting Stuff

Grab Bag of Interesting Stuff. Higher Order types. Type constructors are higher order since they take types as input and return types as output. Some type constructors (and also some class definitions) are even higher order, since they take type constructors as arguments.

274 views • 20 slides