IR
И компилятор в Вебассемблер
могу рассказать как запилить 🙂
Size: a a a
2018 May 10
AK
могу рассказать как запилить 🙂
Расскажи! Я видел один чувак начал в одно лицо, но кажется у него сил продолжать и это больше эксперимент был
IR
ну у меня есть либа для генерации вебассембли на хаскеле https://github.com/SPY/haskell-wasm
IR
нужно просто написать бекендик для кодогенерации
IR
я сейчас пытаюсь написать для https://www.idris-lang.org/
IR
потом можно просто взять рантайм от идриса и запилить на нем кодгенерацию для элма
IR
там они на уровне лямбда исчисления изоморфны по-сути
AK
Блин, круто
AK
Посмотрю, спасибо!
IR
я через недельку где-то в паблик уже открою идрисовый кодбейз, можно будет посмотреть как оно там
IR
про Элм у меня тоже было желание заняться
IR
но Идрис выглядит превлекательнее как первая жертва
AK
Про Идрис ничего не знаю к сожалению
AK
Но думаю да, как следующий этап Эльм самое то
AK
Надо будет попробовать объединиться
AK
А то зачем ещё такие чаты
IR
он судя по всему пытался просто в текстовое представление скомпайлить 1-в-1
IR
так не получится, для языка со сборкой мусора нужно моделировать стек отдельно