MK
Только ту что тебе надо
Size: a a a
2020 July 18
MK
Дурацкий интерфейс
DB
Ты не обязан имплементировать все
Да мне надо Exp и Type
DB
то это 4 функции String -> BlahQ
И насколько я понимаю, они принимают одну и ту же строку
DB
в одной функции нужно из неё вывести тип
DB
в другой — значение
JS
то это 4 функции String -> BlahQ
вызывается всегда только одна, в зависимости от синтаксического контекста
JS
И насколько я понимаю, они принимают одну и ту же строку
нет, нельзя из одной строки получить и изолированный тип, и изолированное выражение. но можно получить набор деклараций, включающий имя с типом и имя с выражением. это quoteDec
JS
quoteType:
x :: [myQType| example |]
x = ?
x :: [myQType| example |]
x = ?
JS
quoteExp:
x :: ?
x = [myQExp| example |]
x :: ?
x = [myQExp| example |]
JS
quoteDec:
[myQDec| example |]
-- x :: generated
-- x = generated
[myQDec| example |]
-- x :: generated
-- x = generated
D
Да
MK
F
ЗП
походу автор нашел какую-то работу и забил
A
походу автор нашел какую-то работу и забил
там, в гитхабе, есть всё.. Рахул - в Symbiont.io
DB
нет, нельзя из одной строки получить и изолированный тип, и изолированное выражение. но можно получить набор деклараций, включающий имя с типом и имя с выражением. это quoteDec
Блин, супер-грустно(
JS
Блин, супер-грустно(
почему?
DB
Ну я хотел что-то типа m1 = [matrix| ... ]
DB
Что бы и значение