New Programming Language

So, /prog/

You are in charge of developing a new programming language. You are not the one who has to implement it, you just have to tell the codemonkies what you want.

Some things to think about:

- syntax style
- paradigm
- garbage collection or not
- vm or compiled
- type system
- special features of the compiler or language

- syntax style
Haskell. Two-dimensional layout is the logical progression of the off-side rule.

- paradigm
Emphasize functional and pure, but allow imperative and impure to help get shit done.

- garbage collection or not
Yes, but allow the programmer to give hints on when a variable should leave memory.

- vm or compiled
Compiled.

- type system
Strong static with type inference.

- special features of the compiler or language
Optimize recursion. Type classes for pure data structures, regular OO classes for impure.