RESEARCH.md

TablaM: A relational language

This document describes sources for research/inspiration

Overall language design

• https://soc.me/languages/modern-minimal.html
• https://soc.me/languages/naming-conventions-creation.html
• https://borretti.me/article/lessons-writing-compiler

Books/ Papers

Some basic info about the relational model and why could be great as general purpose language:

• An introduction to relational database theory
• Out of the Tar Pit

Some of the ideas are also derived from array languages, and I consider an array/ndarray a kind of relation:

• An Implementation of J
• Mastering Dyalog APL

Parsing

• Simple but Powerful Pratt Parsing
• From Pratt to Dijkstra

Type system / checking

• Cubic Biunification

Probably the only one specific about the relational model?

• Type Inference, Type Improvement, and Type Simplification in a Language with User-Defined Polymorphic Relational Operators