DB
2)
data a :~: b = Foo a b
infixr 1 :~:
data a :~: b = Foo a b
infixr 1 :~:
Size: a a a
2021 April 08
WB
-1 а не 1
DB
Какая разница? Приоритет не есть ассоциативность
WB
Разница будет в лямбдах в теле которых $
DB
5. Да
O
Prelude> let a = undefined :: Int :~: Int :~: Int
Prelude> :t a
a :: Int :~: (Int :~: Int)
DB
че...
И
ребят спасибо, я постараюсь завтра еще раз все перечитать и обдумать, сейчас чего то как то с трудом в голову лезет инфа
DB
ты че-то вообще непонятное говоришь. приоритет и ассоциативность это ортогональные вещи.
WB
Я не про ассоциативность
WB
Я про приоритет для оператора замены ->
DB
-1 приоритет это по факту прибитый костыль, чтобы стрелками всё склеивалось в последнюю очередь
DB
всё равно ничего не ясно
O
каков текущий вопрос?
к
оператор конструктора типа)
DB
белый медвель троллит, кажется
И
ага, это уже понял
И
еще не до конца понял что именно не понял :)
WB
Здесь замена в конструкторах, а как заменить стрелку в лямбдах?