Статически типизированный язык для JVM с алгебраическими типами и неизменяемыми данными. Для интерактивных примеров включите JavaScript.