On: Resources on creating programming languages

[wcrichton]

I can't agree more. I think a lot of the pieces to enable such a compiler stack are there--gradual typing, extensible parsers, and so on, but nobody has put them all together into a single place.

[TeMPOraL → wcrichton]

Common Lisp? Except that the typing could use some extension (probably could be provided through macros).

[sitkack → wcrichton]

Gradual Typing is a specific term, what you are looking for is optional typing.