к
даже проблему большого числа слоев абстракции можно решить слоем абстракции
Size: a a a
2020 December 01
к
который прячет все эти слои
RR
даже проблему большого числа слоев абстракции можно решить слоем абстракции
Золотые слова
VD
Я правильно понял, что имелось в виду "налепить на страницу скрипт с реактом, а в хаскелле реализовать простенькие едсл для генерации жса, а потом едсл поверх этого едсл, чтоб теребить реакт было проще"?
RR
Но я всё-равно предпочту на идрисе писать реакт
VD
Но тогда случится "жса дофига получится, такое не все любят", как А64 говорил.
RR
Но тогда случится "жса дофига получится, такое не все любят", как А64 говорил.
Так нет же
к
Я правильно понял, что имелось в виду "налепить на страницу скрипт с реактом, а в хаскелле реализовать простенькие едсл для генерации жса, а потом едсл поверх этого едсл, чтоб теребить реакт было проще"?
не, js-а будет меньше, не будет же всякий собранных в js библиотек хаскельных
KV
Но тогда случится "жса дофига получится, такое не все любят", как А64 говорил.
Если хаскельный рантайм тащить не надо, то уже не очень дофига
RR
Кстати, странно что идрис не тащит свой рантайм
VD
Ага.
VD
Хм, а зачем хаскельный-жс конпелятор тащит еще и рантайм?
VD
В смысле в жсных апи и так тысячи готовых штук 🤔
AA
Кстати, странно что идрис не тащит свой рантайм
че странного, жсного рантайма идрису должно быть достаточно же
к
Кстати, странно что идрис не тащит свой рантайм
а какой у него рантайм-то
к
строгий язык с гц в строгий язык с гц
AA
ну т.е. обычно языкам с каррингом надо тащить костылик для этого, но если плевать на производительность - можно тупо лямбды лепить.
ну а идрису плевать
ну а идрису плевать
AA
строгий язык с гц в строгий язык с гц
ну вот какой-нибудь смл тоже строгий и с гц, но в жаваскрип его замучаешься компилять из-за стековышибания
RR
Весь код гимеля на 500 строк всего
RR
А там больше 2000 вроде