Morel - A Functional Query Language

This talk examines Morel, an implementation of Standard ML extended with relational expressions. It covers the language’s design, higher-order relational operations, compiler translation to relational algebra, optimization through Apache Calcite, and applications to data-intensive systems.

Syllabus

Intro
Building a document index
Data-parallel programming
What are our options?
Evolution of functional languages
Extend Standard ML
Themes
Standard ML: Values and types
Standard ML: variables and functions
Algebraic data types, case, and recursion
Relations and higher-order functions
Implementing Join using higher-order functions
Implementing Join in Morel using from
Word Count
Chaining relational operators - step 5
Algebraic rewrite
Integration with Apache Calcite - schemas
Integration with Apache Calcite - relational algebra
Optimization
Compute models