mirror of https://github.com/tweag/nickel.git synced 2024-10-04 23:27:15 +03:00

History

francois-caddet 5fdc352391 replace `//` by `#` for comments		2022-03-03 11:28:59 +01:00
..
polymorphism.ncl	replace `//` by `#` for comments	2022-03-03 11:28:59 +01:00
README.md	Update README.md	2021-09-14 15:07:14 +02:00

README.md

Polymorphism

This example shows the usage of (statically typed) polymorphism in Nickel through forall. Polymorphic functions are the ones operating on generic values. Polymorphic types can be nested in Nickel, although it is rarely needed. Note that they must always be written explicitly: the typechecker never infers polymorphic types for you.

Run

$ nickel -f polymorphism.ncl

Playground

Try to swap some type variables, or to mess with the definition of the functions to see the program failing to typecheck.