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

Algebraic Effects (and handlers)

• Articles
  • Algebraic Effects for the Rest of Us
  • Effect Programming in C#
    • Eff lib
• Languages
  • Koka
  • Eff language

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