A modern programming language that makes developers happier.

kotlinlang

For 0.9.0 I started AQL: <https://github.com/arrow-kt/arrow/pull/1079>
Think LINQ generalized to ALL data types based on type class support. You can extract, filter, query and transform data from any kinded value based on the type classes it supports which generalizes a SQL style DSL to all the data types we support in Arrow.
A single language that allows you to use type classes without having to learn the core FP type classes and their combinators if you already know SQL. It's a rough draft but thought I'd share for early feedback. Once the design it's finished I plan on pushing a version for Scala as well