Skip to content


Here are a number of the core ideas and directives that drive the project. Many of these are not currently implemented, but will hopefully be implemented in the future.


  • basics - Discusses the basic elements within the type system.
  • typeTheory - Introduction to the ideas behind the type theory.
  • choice - The ability to write code that abstracts over lower level choices and design decisions and express information joining levels of abstraction.
  • metaprogramming - Discusses support for meta programming.
    • macros - For a strongly typed language, you must either support unsafe features, require duplicate code, or support macros. This describes the macro usage within the language.
    • Language Based Compilation - Move logic from the compiler to the language and library for greater capabilities, faster upgrades, more customization, and ease of use.
    • compilerErrorStatement - Declare error messages from within function definitions themselves.
  • testing - General introduction to the testing philosophy and techniques.
    • arrowTesting - Automatic testing to ensure that overlapping function definitions should have the same result. It makes the use of multiple return values and implicit conversions safe.
    • assertions - Using assertions both for property testing and to declare properties.
  • Context - An additional calling convention for passing data down through the call stack. This can be used for easier while still manageable state management.
  • optimization - Various aspects about performance optimization.
  • syntacticSugar - Various forms of syntactic sugar to add.
  • documentation - Documentation organization.
    • naming - Thoughts on naming and some language specific guidance for good naming.
  • modules - Module and code scoping systems.
  • debugging - Tools for debugging.