mirror of
https://github.com/not-kennethreitz/dream-python.git
synced 2026-06-05 15:10:18 +00:00
JoaoGFarias
12 lines
234 B
Markdown
12 lines
234 B
Markdown
__#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
|