Zebra

Statically-typed purely functional language

Todo

• polymorphic data types
• pattern matching
• tuples
• automatic semicolons
• JS compiler
• records
• modules
• type classes
• support laziness
• type annotations
• IO

Usage

node dist/Main.js src.ze [croco/js]

References

• Maranget, Luc (2008) Compiling Pattern Matching to Good Decision Trees

• Peterson, John & Jones, Mark. (1995). Implementing Type Classes. ACM SIGPLAN Notices. 28. 10.1145/173262.155112. Implementing Type Classes

• okmij Demystifying Type Classes