АГ
Переползать совсем не советую (хотя для каких-то эпизодических нишевых применений почему бы и не), а вот кругозор расширить полезно
Оставляю за собой право быть настоящим хаскеллистом и никуда не выползать за его пределы!
Size: a a a
2020 October 02
YS
Просто было слишком сильное погружение для меня
АГ
Там есть крутая и формализованная объектная система. Он же О-камл!
Ужас кошмар, этот ваш грязный мейнстрим
YS
А вот многие хаскеллисты на горбе завышенных ожиданий как застряли, так на нем и сидят. И чтобы не разочаровываться, просто прыгают из падающей технологии в набирающую хайп. Вот сейчас, например, все хотят прыгнуть на линейные типы и зависимые типы, потому что системы эффектов начинают с горба уже падать. А разочаровываться не хочется. Это такой наркотик.
ну, потенциально вроде линейные типы имеют профит практический
YS
когда будут доделаны нормально
YS
поэтому тут могу понять людей
АГ
ну, потенциально вроде линейные типы имеют профит практический
Потенциально да. Но нужно, чтобы были найдены способы применения и поняты последствия. А это скучная работа
АГ
Ну вот с фри монадами показателен пример. Поигрались немного, похайпили, сочинили кучу мифов и бросили.
YS
мне кажется там больше проблем будет с либами
Y
Да нормально было!
Ну не, я всё-таки далеко не в первый раз читаю доклады, и уже знаю, как это – когда правда нормально
АГ
Толком фри монады никто и не понял. Точнее, не их самих, а применимость
YS
Ну не, я всё-таки далеко не в первый раз читаю доклады, и уже знаю, как это – когда правда нормально
ну я к тому, что я плохие доклады тоже слышал)
АГ
Толком фри монады никто и не понял. Точнее, не их самих, а применимость
(Да и не хотели понимать)
YS
так что - было нормально!
Y
мне кажется там больше проблем будет с либами
С либами на линейных типам или с либами в OCaml?
AT
Да, и я постараюсь подготовиться получше (и выпить больше транков), чем в прошлый раз >_>
Так можно и совсем медленно сделать:)
YS
С либами на линейных типам или с либами в OCaml?
с линтипами
АГ
Ну не, я всё-таки далеко не в первый раз читаю доклады, и уже знаю, как это – когда правда нормально
На митапах? Для митапов нормально
YS
Юрий вроде говорил что лекции читал
YS
Так что опыт широкий