SQL на OCaml или Haskel

Производительный SQL

• Минимальный язык запросов к базам данных: SELECT, JOIN WHERE и может что-то ещё
• Интерпретатор запросок на этом языке
• Эти запросы должны исполняться на больших данных, автогенеренных с помощью https://github.com/NetApp/SQL_Storage_Benchmark
• Большие входы должны заставить интерпретатор исполняться запросы эффективно, а не как попало.

Пример готовой задачи с правильным кодстайлом https://github.com/sofsof2201/example