https://github.com/nathsou/zebra

Statically-typed purely functional programming language
https://github.com/nathsou/zebra

Last synced: about 2 months ago
JSON representation

Statically-typed purely functional programming language

• Host: GitHub
• URL: https://github.com/nathsou/zebra
• Owner: nathsou
• Created: 2020-10-06T19:23:16.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2021-10-29T11:41:47.000Z (about 3 years ago)
• Last Synced: 2024-10-11T20:42:54.420Z (3 months ago)
• Language: TypeScript
• Homepage: https://nathsou.github.io/Zebra/
• Size: 901 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Zebra

## Statically-typed purely functional language

### Todo

- [x] polymorphic data types

- [x] pattern matching

- [x] tuples

- [ ] automatic semicolons

- [x] JS compiler

- [ ] records

- [ ] modules

- [x] type classes

- [ ] support laziness

- [ ] type annotations

- [ ] IO

### Usage

```bash

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

```

### References

- Maranget, Luc (2008) [Compiling Pattern Matching to Good Decision Trees](http://moscova.inria.fr/~maranget/papers/ml05e-maranget.pdf)

 

 - Peterson, John & Jones, Mark. (1995). Implementing Type Classes. ACM SIGPLAN Notices. 28. 10.1145/173262.155112. [Implementing Type Classes](https://www.researchgate.net/publication/2683816_Implementing_Type_Classes)

- okmij [Demystifying Type Classes](http://okmij.org/ftp/Computation/typeclass.html)