This document is an informal collection of design ideas for the Halcyon programming language. This document in in permanent draft status; do not take anything you read here as final. There are no plans to ever actually implement the ideas here; they're listed only for future reference.
-
Static, strong typing
Type errors at runtime are stupid.
-
Type inference