Coral (Python)
Jump to navigation
Jump to search
| Paradigm(s) | imperative, procedural, functional |
|---|---|
| Designed by | Rebecca Cawkwell, Sanford Miller, Jacob Austin, Maddy Bowers |
| Appeared in | 2018 |
| Type system | gradual |
| Memory system | variable-based |
| Dimensions | one-dimensional |
| Computational class | Turing complete |
| Reference implementation | https://jacobaustin123.github.io/Coral/ |
Coral is a gradually typed, compiled programming language. Coral is a subset of Python. Unlike Python, it compiles to machine code and utilizes type hinting for optimizations. The language uses a mixed static and dynamic typing system referred to as gradual typing. In this typing system, types are inferred to a single static type where possible, using a dynamic system as a fallback.[1][2]
Coral lacks support for closures, classes, and type conversion.[3]
References
- ↑ Cawkwell, R., Miller, S., Austin, J., Bowers, M. (2018, Sep 19). Coral Programming Language Proposal. https://www.cs.columbia.edu/~sedwards/classes/2018/4115-fall/proposals/Coral.pdf
- ↑ Cawkwell, R., Miller, S., Austin, J., Bowers, M. (2018, Oct 15). Coral Programming Language Reference Manual. https://www.cs.columbia.edu/~sedwards/classes/2018/4115-fall/lrms/Coral.pdf
- ↑ Coral Programming Language. https://jacobaustin123.github.io/Coral/