Files
2015-03-15 08:03:36 -03:00
..
2015-03-15 08:03:36 -03:00

__#My Dream:

  • Algebraic Data Types a la Haskell

Example:

Let's define the set of natural numbers:

Nat = Z | S(Nat) with S being the operation "add one" and Z being zero.

  • More freedom / built-in functions for memory management