Concatenative language
Concatenative topics
Concatenative meta
Other languages
Meta
[[https://github.com/UberPyro/prowl | Prowl]] is a typed concatenative logic language with many ideas imported from functional programming and abstract algebra. It is still deeply in the design and development phase, though implementations and design documents from various points in the past exist. The main (planned) features of Prowl are: - A static type system based on [[http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TM-531b.pdf | rank 2 type inference]] - Dataflow operators with inference based on monoid unification - A determinism system based on boolean unification - A [[https://github.com/UberPyro/Prowl-Ideas-Pile/blob/master/modern/costack.md | costack]]-of-stacks as the base datastructure - Regex-inspired nondeterministic control flow based on relation algebra - Equational Datatypes based on Zhegalkin polynomials - A runtime with constraint logic programming to support nondeterministic guesses, abelian group arithmetic, set arithmetic, catenable deques, and datatype traversals.
Describe this revision:
Save