Упс, scala

[amarao]

Я тут случайно открыл видео про capabilities в scala и оно меня затянуло. Я ещё плаваю в луже в пол-сантиметра толщиной, но то, что я понахватался, звучит как офигенно.

Неявная передача контекста компилятором по явной аннотации требуемого контекста в сигнатуре функции, плюс, возможность этот контекст задавать явно (включая переопределение) для артикуляции и проверки на уровне типов сайд-эффектов... wow.

Мой мозг пищит от восторга.

Неужели нужно садиться и учить scala? Это же богомерский jvm. выучить скалу, чтобы познакомиться с крутой идеей и выкинуть и забыть за jvm? Что за жестокая судьба...

GPT говорит, что next best - это какой-то koka, про который я ничего не слышал. С учётом, я хочу только идею, а не язык программирования, why not?

https://koka-lang.github.io/koka/doc/index.html

Да, в эпоху победившего llm, можно себе позволить учить языки just for fun.