nightmare.com personal blog
Irken Language – A Scheme with parametric polymorphism
Irken is a simplified, statically-typed dialect of Scheme . It uses an ML-like type system supporting parametric polymorphism (i.e., "let polymorphism") and algebraic datatypes . With type inference and a pattern-matching syntax, it could be considered ML with a lisp/scheme syntax .
- Points
- 106
- HN comments
- 24
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 5, 2014 | Irken Language – A Scheme with parametric polymorphism by wirrbel | 106 | 24 |
