ghl3 / jest Goto Github PK

• Create a "defprotocol" keyword to create a new protocol
• Create a "Implements" keyword in the record definition to list protocols it implements
• Add support for implementing the protocol in the record definition

• Ensure type checking works with all example programs
• When type checking is omitted, include type checking in the source, but fall back to the most generic version (based on the arity).
• Add automatic typeness to keywords, maps, vectors

Design a module system and add Jest imports.

Can borrow from Haskall, where each module is identified by it's path and each module at the very top identifies what functions it exports (for easier parsing)

The Jest language would be strongly improved if it implemented its own type checking system (instead of relying on core/typed). core/typed is great, but is designed as an add-on to existing clojure programs. We can do better with something more specifically designed for Jest.

Add variable definition via unpacking:

val (x, y) = getXAndY();

• Allow compiling of Jest source to Javascript by using ClojureScript as a bridge.
• Create a command line argument to the main Jest executable "--js" that outputs the javascript source.

• Remove the hacky "#" for core.typed types and instead create a clojure namespace of supported jest types and then :require that namespace in compiled Jest Clojure.
• Improve the Jest parser to leverage these types
• Add these types to the documentation (probably need to create a separate Types section)

• Add a generic type of pattern matching similar to a switch statement
• Add a "complete" pattern matching for certain types (may need to create an enum-like type to support this)