Если без веб-морды, то и на самом Erlang только в путь. 😊

скала мощнее* )

Наоборот. Какой-то очень хитрый чувак наебывает бледнолицых - притворяется Гофером и рекламирует Раст. Хз зачем я очевидные вещи рассказываю

Вообще ту хрень которую про работу он говорил можно сделать с помощью Кролика. Писать все из всех потоков в кролик а потом забирать оттуда и писать в БД. Скорость записи тоже будет писец. Тут таки нужен конечно ещё кеш и триггеры в БД которые будут обратно стучаться и кеш обновлять если что. Ну там ещё много геморроя - я к тому что и без либы раста к Постре можно такого же ёфекта добиться.

Хех, я первые программы на бумажке начал писать когда мне лет 10-14 было. Книга была такая, что-то про кибернетику и там был ещё Шатл нарисован. Синяя книга такая. Там были задачи типо напишите код для того чтобы робот закрасил 4 квадрата в середине и т. д. Там код был весь на псевдо языке прохожем на Бейсик толко на Руском. Типо - Начало если 1 то вернуть 2 еначе вернуть 3 Конец. Что-то в этом роде. Я уже нафиг забыл ибо был маленький тогда. Помню хорошо только ее обложку. Я тогда быстро книгу прочитал. Все задачки выполнил и мне таки понравилось. Потом через много много лет (у нас в школе не было программирования) в универе с программированием столкнулся когда учился на инженера конструктора. Тогда понял что вот это мое и этим хочу заниматься. Такие дела.)

Почему? Я вот как Идрис доучу и хочу за неё взяться а ты меня демотивируешь. Фу таки быть! Таки почему она не юзабельна то?

типы не выводятся, ранк-2 через костыли, тайпклассы некогерентные

Идрис первым ФП языком начал учить?

Я наоборот планирую Scala доучить, а потом за Idris/F* взяться. Сначала Idris как-то не осилил

Респект

Я в Идрисе индентацию не осилил 😂

Нихт! Мая по фану ещё 2 книги по Хаскель прочитал. Изучай «Хаскель Во имя Добра» и вторая «Изучем Хаскель» https://www.ozon.ru/context/detail/id/35161141/

Ну некогерентность тайпклассов имеет свои преимущества. Многие вещи тогда можно делать без заворачивания всего подряд в ньютайпы.

Ранк-2 через костыли, но жить с ними можно.

Типы не выводятся - это да, но писать работающие программы это не особо мешает.

Все равно все верхоуровневые объявления в хаскеле принято типами аннотировать.

> Ну некогерентность тайпклассов имеет свои преимущества. Многие вещи тогда можно делать без заворачивания всего подряд в ньютайпы.

Преувеличенная проблема. В проекте на 100к строк ньютайпы в основном используются для номинативных типов и DerivingVia

> Ранк-2 через костыли, но жить с ними можно.

Нормальные оптики когда будут?

> Типы не выводятся - это да, но писать работающие программы это не особо мешает.

Ахахаха

Это нормальные трейдоффы с учётом того, что на скале можно использовать джава экосистему.

Я готов пожить с кривым выводом типов, отсутствием оптик, и траханием с приоритетом имплиситов ради возможности найти либу для всего чего угодно.

ну так будто список на этом закончился

Нет, но от размеров это списка количество либ на хаскеле не увеличится всё равно.

но эргономика скалы пострадает сильно

Да, но она будет все равно на уровне или лучше, чем в остальном мейнстриме