starpial is an open source programming language created in 2012.
| #2001on PLDB | 14Years Old |
git clone https://github.com/ColonelJ/StarpialStarpial is a stack-oriented functional logic programming language with OOP, recursive regex, dependent types, refinement types, and automatic parallelization based on transactions.
| Feature | Supported | Example | Token |
|---|---|---|---|
| Dependent types | ✓ |