dev@lang@func

Functional Languages and friends

Articles

• Linear Logic and Permutation Stacks--The Forth Shall Be First
  • http://home.pipeline.com/~hbaker1/ForthStack.html
  • Linear Lisp: http://home.pipeline.com/~hbaker1/LinearLisp.html

Type Systems

• Substructural type system

Logic Languages

• Datalog: https://en.wikipedia.org/wiki/Datalog

Stack-based Languages

• Forth
• Factor: https://www.factorcode.org/
• Cat: https://github.com/cdiggins/cat-language
• Other: https://concatenative.org/wiki/view/Contents