Но и не хаскелист (нормальный)

Кто же ты есть такой?

Dependent Object Types в Scala 3 (Dotty как раз и называется от акронима DOT)

Если Вы что-то знаете про системы типов, вот, можно исходную статью почитать :)
https://infoscience.epfl.ch/record/215280/files/paper_1.pdf

Там самое полезное это начало

Но скалы это хорошо

Я должен был вчера выбрать и сказать, но несколько недотого было

И сейчас всё ещё несколько недотого, но не так критично

Могу выбрать "открываем дверцу в котёнке: как пишет и думает хаскелист", и вот напишем считалку метеоритов, так как я бы её писал. К этому хоть готовиться особо не надо

master/slave зацензурили, blacklist/whitelist цензурят сейчас, cop на очереди?

К сожалению, подобного формата троллинг в наше время пост-эффектов перестает играть свою прежнюю роль - саркастической критики, прикрытой абсурдными формулировками, - и начинает работать ровно на ту цель, которую он пытается критиковать. Вчера еще это был троллинг глупости, выраженный в виде подобной же глупости, только доведенной до абсурда, - а сегодня уже это передовая мысль тех, кого он пытался высмеивать. И сколь бы ни было ясно отдельным людям, что это троллинг, неискушенные участники воспринимают его за чистую монету.

А какие сожаления по этому поводу? Наоборот, отличный лакмус )

Так троллинг, будучи сам по себе плохим явлением, еще и усугубляет ситуацию в ту сторону, в какую не следует. Вот создал человек троллоло-тикет в рандомном репозитории, захотел лулзов словить, а тут шутку раструбили на весь интернет, а затем набежали SJW, и шутка перестала быть шуткой. Завязалась буча, бессмысленная и беспощадная. И автору репозитория уже несладко, и в сообществе не всё ладно. А потом еще и под давлением этой публики изменения пойдут, и вот уже переменные blackList/whiteList выкашиваются, и проекты с десятилетней историей переименовываются, и у внешних наблюдателей ощущение, что лучше не вмешиваться, разумное светлое вечное не защищать, а то запишут в угнетатели. В итоге разумное светлое вечное страдает, и заговор молчания укрепляется

Через 50 лет вообще ни одного разрешенного цвета не останется, и говорить будем как Эллочка Людоедка, потому что всё остальное будет запрещено.

Вот ФП-то расцветет, ведь можно будет писать только на одном языке - на Whitespace... oh, wait...

Зависимые типы в скале звучит больно

(Здесь изначально был язык Йот (J), который комбинаторный с единственной функцией на борту, но я засамоцензурился на всякий случай)

Типы в скале звучит больно

занятo