Kirill
я про IOHK если что :)
Kirill
с лагом в 2 месяца?
Denis
не знаю про лаг, мне не было интересно
Kirill
я уже какбы новый контракт подписал, причём там тоже был процесс длинной в 1.5 месяца растянут
Kirill
ну да не суть
A64m
в таком языке рядового полиморфизма еще мало, он же типизированный, в "рекордах" типы должны быть, т.е. типизированный конфигурационный файл должен быть с дрееровскими миксинами или чем-то вроде
Alexander
угу
Alexander
да, забываю, что это отдельно
Denis
я знаю что тут есть ямлоненавистники, но лучше yaml чем dhall
Quet
dhall совсем плох?
Alexander
он очень странный
Quet
что-то я видел кроме гонзалеса еще кто-то за него топит
Quet
причем из вменяемых людей
Denis
Оливер Чарльз вспоминается
A64m
много кто
Alexander
наверное его можно использовать, и есть какой-то смысл в конфигурации который тайпчекнется
Alexander
но это вещь в себе
Denis
а вообще не только он
Denis
но я решительно не понимаю
A64m
но сейчас у хаскелистов модно любить бойлерплейт
Denis
я любил бойлерплейт еще до того как это стало модно
Denis
Бойлерплейт это потенциал к улучшению.
Alexander
пытаться использовать его в чем-то кроме того, что специально под него проектируется странно
Alexander
вот там весь ад с мейби про который хикки говорил открывается
A64m
уже и программные статьи выходят. Не любите писать много скучного кода руками? А надо любить.
Denis
бойлерплейт лучше корявых абстракций
A64m
даже и это сомнительно
Denis
он проще рефакторится как правило
Denis
он на то и бойлерплейт что он тупой и его много
Ю ли я? 🤔
Alexander
но писать на языке без абстракций печально
Alexander
а абстракции через тонны бойлерплейта
Ю ли я? 🤔
Это влияние гоферов, что ли?
Ю ли я? 🤔
Вопрос. В хаски есть подобие идрисового cast, который конвертит что-нибудь во что-нибудь?
кана
Ю ли я? 🤔
Енто понятно, но меня готовый интересует
Denis
но я предпочитаю сначала написать какое-то количество бойлерплейта и потом уже смотреть как его абстрагировать, нежели общаться с космосом и пытаться это сделать заранее
Leonid 🦇
@A64m_qb0 ну все, мы знамениты
кана
но я предпочитаю сначала написать какое-то количество бойлерплейта и потом уже смотреть как его абстрагировать, нежели общаться с космосом и пытаться это сделать заранее
Поддерживаю такой подход, очень сложно (сказал бы невозможно, но всегда есть элемент удачи) сделать правильную абстракцию сразу
Viacheslav
A64m
Leonid 🦇
Чат спалили. Критикуют наше мнение что лисп не фп
A64m
лисперы критикуют?
Aliester
хаскель －ооп
кана
дык разве лисп - фп
Ю ли я? 🤔
смотря что и во что
Из Integral a в Num b, из String в Read a, из Show a в String, всякое такое
Aliester
и вообще
Aliester
не мешайте типы и функционалку
Aliester
типы отдельно, функциональная парадигма отдельно
Denis
Из Integral a в Num b, из String в Read a, из Show a в String, всякое такое
Нет, но можно написать при желании. А в идрисе он далеко не всегда безопасный.
A64m
Из Integral a в Num b, из String в Read a, из Show a в String, всякое такое
такого нет, есть каст между типами которым одинаковое представление соответсвтует, по ртти и по доказательству
Евгений
А ским ФП?
A64m
ФС
кана
ским процедурный же
Aliester
а КЛ фп?
A64m
нет
A64m
и даже не ФС
Aliester
А кложа?
Aliester
а С фп?
Aliester
с указателелями на функции
кана
если называть С фя (а это можно постараться сделать), то пользы от такой классификации мало
классификация она же не чисто ради классификации, а чтобы помогать
Ю ли я? 🤔
Функциональные писания
Alexander
ибо автор не осилил
Aliester
МакКарти?
Alexander
+
Aliester
он жи гений, не?
Alexander
все гений
Aliester
что не Расмуссен