Files
dream-python/aaronwinter/README.md
T
2015-03-15 08:03:36 -03:00

234 B

__#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