These are chat archives for groupoid/exe

6th
May 2016
nponeccop
@nponeccop
May 06 2016 22:15
я тут подумал, что для нужд обкатывания дизайна стдлибы, может транслятор Exe -> Lean захуярить?
Namdak Tonpa
@5HT
May 06 2016 22:16
там еще три подхода по моим оценкам для YECC/LEEX надо
обещаю на след неделе занятся плотно парсером
и там сразу сделаю пример экспорта в Lean
но я думал в Lean Term Format
а нет такого чтобы из Lean Term Format в Lean?
или там просто olean объектный файл?
nponeccop
@nponeccop
May 06 2016 22:19
нам достаточно просто чекать, т.е. term format хватит
Namdak Tonpa
@5HT
May 06 2016 22:19
а чекать внешним хаскелевским чекером?
nponeccop
@nponeccop
May 06 2016 22:19
лином чекать же
Namdak Tonpa
@5HT
May 06 2016 22:20
впринципе EXE -> Lean это хороший пример и проверка стабильности
я не знал просто что Lean умеет чекать только olean файлы без исходников
nponeccop
@nponeccop
May 06 2016 22:20
ну мы сможем либу писать сразу же, не дожидаясь кодировок
Namdak Tonpa
@5HT
May 06 2016 22:20
ага
nponeccop
@nponeccop
May 06 2016 22:20
а он умеет? я не знаю, но это же логично что умеет
Namdak Tonpa
@5HT
May 06 2016 22:20
я не думал что умеет
nponeccop
@nponeccop
May 06 2016 22:21
надо проверить значит