JS
А есть какая-то функция типа Exp -> Type или около того? Нашёл способ узнать тип только у Name.
нет
Size: a a a
2020 July 26
JS
А есть какая-то функция типа Exp -> Type или около того? Нашёл способ узнать тип только у Name.
манипуляции синтаксическим деревом выполняются до вывода типов
DB
Как оказалось, оно и не надо) Вспомнил про type application)
JS
наверно, технически это возможно, но компилятор ещё больше усложнит
JS
Как оказалось, оно и не надо) Вспомнил про type application)
так это обратная задача
DB
Ну я сначала хотел тип указывать через Sig. А там для всего нужно сразу указать. Для этого надо было вывести тип коллекции. А потом вспомнил, что указать можно только то, что надо, а то, что можно вывести — пусть выводится
DB
У меня Matrix m n a. M и N указываю сам, A — выводится
DB
Кажется, домучал)
λ > :t [matrix|(\s -> s + 2 * s);(\x -> x)|]
[matrix|(\s -> s + 2 * s);(\x -> x)|]
:: Num a => Matrix 2 1 (a -> a)λ > :t [matrix|(\s -> s + 2 * s) (\x -> x)|]
[matrix|(\s -> s + 2 * s) (\x -> x)|]
:: Num a => Matrix 1 2 (a -> a)DB
Шикардос))
JS
ты же видел доклад Чичигина на Fpure на эту тему?
DB
Нет(
DB
На эту это на какую?
JS
матрицы с размерами в типе
DB
А как найти?(
MK
Это разве не доклад от Серокеля был?
JS
JS
нет, у Чичигина другое было
DB
Ну, кажется, что ничего нового для меня там нет.
MK
Кроме осознания что это всё сплошная боль
DB
Ну кстати весьма приятно было писать эту квазиквоту (когда мне стало понятно, как правильно (ну или как работает, как минимум))