В Идрис 2 завезли Жабаскрипт кодогенератор

Что такое idris-2 и почему он не нужен?

Стильно модно молодежно. Хаскель то уже все, не модно. Во идрис2 это да! там ууух что можно. Например факториал, или вот еще Фибоначчи можно.

А куда первый Идрис дели? Не взлетел?

идрис2 написали на идрис1.

А вообще штука интересная поиграться, хотя и непонятно где ее применять пока

писать без рвотного рефлекса

писать без рефлексии - кажись, это уже проходили.

Никуда не дели. Основное отличие второй версии в том, что теперь компилятор идриса написан на нем самом. Ну и всякое пофиксили между делом.

Сейчас Идрис 2 уже пишется на Идрис 2 :)

компилятор идриса написан на нем самом

Компилятор идрис-2 написан на идрис-1. Это не «на нем самом»

писать без рефлексии - кажись, это уже проходили.

Она есть уже в компайл тайм в Идрисе из коробки :)

хотя и непонятно где ее применять пока

Как где? В кровавом ынтерпрайзе же

Как тогда писать без того самого рефлекса?

я там даже пока более «популярный» раст не могу. А ты говоришь про экспериментальный идрис :D

Для очередного тьюринг-полного языка завезли кодогенратор на очередной тьюринг-полный язык. Ура, товарищи!

ворованный хаскель, не нужен.

Для очередного тьюринг-полного языка

вообще-то он «pacman complete» (c)

вообще-то он «pacman complete» (c)

Срочно переписывать все в продакшене!

Сравнил недоигру pacman и тьюринг-вселенной

Сравнил недоигру pacman и тьюринг-вселенной

Попробуй написать пакман на брэйнфаке или на цппшных шаблонах для начала :)

пакман
на цппшных шаблонах

Мать, неси таблетки, тут дед опять какую-то х..ню несет.

«Попробуй написать» это не про полноту, а про жирноту.

Вот напишут очередной ненужный кодогенератор из нужно-ли на ненужно - задачу-которую-не-нужно-решать автматичеси решится

подставляй глоза, божьей росы подвезли — https://github.com/mattbierner/Super-Template-Tetris

Канонично: https://github.com/idris-lang/Idris2/pull/415/files#diff-1b234c448247e83c05681116f1e062dd

В Идрис 2 завезли Жабаскрипт кодогенератор

За

В Идрис 2 завезли Жабаскрипт кодогенератор

чем?

Променяли говно на мочу. Мне чел на хабре пытался доказать, что ClojureScript стало ололо прорывом удобства писания систем, поскольку у тебя лисп на морде и лисп на бэке. А я спрашиваю: зачем на однопотоковом фронте язык, значительная доля вообще всех встроенных структур данных которого расчитана на транзакционную многопоточку? Многоверсионный список-ассоциативный-массив, атомы, STM — вот это всё куда и зачем?

Да, есть web worker-ы, которые не имеют доступа к window, и вообще DOM и любым объектам, относящимся к гую, вроде канвы или картинки. Когда же мы устраняем все эти фичи из JS изначально и получаем node.js, то внезапно возникает вопрос: на зачем мы вообще пытаемся использовать язык браузеров не на браузерах? Есть единственное оправдание ноде — это избыток бездарных JS-макак, которые не могут освоить верстку, но могут освоить херак-херак-стаковерфлоу-дривен девелопмент. Заставлять людей учить идрис/кложу для написания кода на ноде — это сама бессмысленность и беспощадность.

Есть Elm, есть ReasonML, которые являются адаптацией хаскеля и ML под фронтенд — а какой смысл пытаться транспилировать такой чисто теоретический язык, как идрис?

Заставлять людей учить идрис/кложу

Хорошо, что ты сразу все понял и поделился своим мнением. А теперь представь, что есть люди, которые знают «идрис/кложу» и хотят по-быстрому замутить пару строк под ноду. Зачем их заставлять учить js? Другое дело, что по опыту скажу, что любой js-транспилятор все равно приводит к тому, что рано или поздно тебе придется окунуться с головой в гов^W попытки понять, как js работает, почему js именно так работает, как дальше жить и т.д.

Короче, написали и написали.

Заставлять людей учить идрис/кложу для написания кода на ноде — это сама бессмысленность и беспощадность.

Это работает в другу сторону. То бишь программист на Idris/Clojure/Kotlin и т. д. хочет писать всё на одном языке и не марать руки об JavaScript. Транспайлеры отлично решают эту проблему.

Никто не хочет прыгать из своего уютного болотца (Idris/Clojure/Kotlin/Java) в сточную яму полную фекалий (Web-разработка).

А теперь представь, что есть люди, которые знают «идрис/кложу» и хотят по-быстрому замутить пару строк под ноду

У меня складывается ощущение, что ты не знаешь идрис/кложу, либо просто сильно выкаблучиваешься. Потому что JS намного, намного проще идриса, и значительно проще кложи. «Учить JS» — это все равно, что учить сосать сиську или хватать мамку за руку, там сам язык простейший. Библиотеки, интерфейсы браузера — да, посложнее будут, но знание/незнание JS не сделает тебе никакой разницы при работы с браузером — фронтенд разработка подразумевает именно знание браузера и фреймворков, а никак не JS. Примерно как работа физиком-ядерщиком требует понимания физических процессов, а не просто знания русского языка и умения читать формулы.

Короче, написали и написали

Хаскель, как и идрис по наследству, получили довольно необычную фичу: на них просто писать транслятор, потому что их трансляторы на них самих написаны. Однако, почему-то кроме трансляторов на них ничего не пишут.

Однако, почему-то кроме трансляторов на них ничего не пишут.

А, так ты из этих.

вебворкеры имеют доступ к канвасу.

Никто не хочет прыгать из своего уютного болотца (Idris/Clojure/Kotlin/Java) в сточную яму полную фекалий (Web-разработка)

Уже ответил: В Идрис 2 завезли Жабаскрипт кодогенератор (комментарий)

Я не представляю, зачем кому-то нужно транспилировать в JS вообще что-то вне веба. Сама нода пытается допрыгнуть до языков общего назначения с переменным успехом, какая сверхважная и полезная фича должна быть в этой ноде, чтобы нужно было усложнять ее транспилированным дополнительным кодом?

вебворкеры имеют доступ к канвасу

Не совсем: https://caniuse.com/#feat=offscreencanvas

писать без рвотного рефлекса.

С нежным пищеварительным трактом в энтерпрайзе вообще делать нечего, независимо от языка программирования