NI
Понятно. То есть, вот то многообразие ещё пока никто из них не пробовал портировать на идрис2...
Size: a a a
2020 November 30
AG
ну там не сильно разнообразнее было
RR
Yuki Rito
про Clean когда-то прочитал: "Язык для имплементации факториала". Вот они и пишут. Факториальчики. И зависимые типчики. А ИТ вот идет в другую сторону, эдак они никогда не встретятся: ФП и ИТ :)
Я не пилю либы для академиков
RR
Я дружу идрис с реактом
YR
а вы точно хаскелист?
именно поэтому и знаю о чем говорю. Разогнать коммитет, все фичеры в языке запретить и пусть все пишут библиотеки следующие хотя бы 10 лет. И будет толк
Oℕ
А почему вам кажется, что либы начнут пилить, если всех разогнать?
KV
Правильно, надо делать обычный мейнстримный язык и потихоньку тягать оттуда фичи из хаскеля, а не новые придумывать, ну тупыые
AG
хороший план, осталось только достроить фп-гулаг
YR
багфиксинг и либы райтинг :)
Oℕ
Это что-то вроде сельского хозяйства, которое с колен встанет, если 80% импорта запретить ?
NI
Это что-то вроде сельского хозяйства, которое с колен встанет, если 80% импорта запретить ?
Чотта вот представил, как мы с колен встанем, если 80 import'ов запретить.
RR
Правильно, надо делать обычный мейнстримный язык и потихоньку тягать оттуда фичи из хаскеля, а не новые придумывать, ну тупыые
Не
RR
Надо пилить идрис
RR
Но шоб клятi академики вместо меня пилили TEA с реактом
YR
да я шучу, понятно, что будущее у Хаскеля в пейперах, а не либах и мое желание не популярно... это-то понятно, нету же фана, либы-то писать :)
KV
Либы писать весело и здорово, тока они уже везде написаны кроме хаскеля
YR
берешь спецификацию, на какой-нибудь протокол или формат. И начинаешь писать. И пишешь, пишешь, пишешь, два, три, четыре года, а тебе ишаки открывают и открывают. То ли дело линейные типы замутить, пейпер написать... Наука-с! :)
AG
это все здорово, а кто оплачивает банкет?
YR
а пейперы?
AG
в науке то платят за папиры а не за ишаки