YS
Решил посмотреть впервые за год на идешку, мне хватило
В общем, я буду признателен если кто-то на винде сделает
Stack new yt yesodweb/postgres
Запустит в проекте репл
:l src/DevelMain.hs
update
Чет бомбит от этой фигни уже
Size: a a a
2020 May 17
D
Должен запустить сервер в репле
MK
почему Брейди строит идрис 2 используя в качестве бэкенда схему?
MK
кто видел начало истории?
AV
@clayrat наверняка знает, но кажется он не в этом чатике
к
MK
компилил бы в Cmm...
NI
Почему не ghc? ;-)
NI
компилил бы в Cmm...
Ну или core.
MK
кор это всё-таки SystemF, чтобы в него заптивы превратить надо кучу unsafeCoerce втыкать (вроде)
MK
а с STG наверное таких проблем нет
MK
или есть
AA
Ну или core.
как агдастрадальцам чтоль бразиллион ансейфкоэрсов делать
NI
На определённом уровне стирания типов уже пофиг.
Для примера -- есть ли сложности в трансляции просто-типа-лямбды в core?
Для примера -- есть ли сложности в трансляции просто-типа-лямбды в core?
AA
есть, конечно. корка то типизированная
AA
можно стг генерить, но в гхц почти все оптимизации до нее
NI
есть, конечно. корка то типизированная
Я хотел сказать simply typed lambda.
AA
ну и для этого ничего нет и все недокументировано, это надо свой форк гхц сделать как гринтехи
AA
Я хотел сказать simply typed lambda.
наверное можно