В
Помню слова Олега. Это однозначность резолва терма в различных контекстах
о, заебись
Size: a a a
2020 January 28
Oℕ
типа есть семантика , есть равенство термов с точки зрения этой семантики
Oℕ
и есть правила вывода типов
Oℕ
тоже а-ля семантика только на недотипизированном уровне только для термов
Oℕ
вывод типов он не строго определяет в каком порядке деривации могут применяться
Oℕ
и типа ты должен доказать, что порядок дериваций не может повлиять на равенство с точки зрения семантики
DM
чтобы компилятор в компаньоне имплиситы искал
про компаньон понял, но такой же трейт есть еще и в классе
Oℕ
про компаньон понял, но такой же трейт есть еще и в классе
вот бы данила рассказал, о чём он спрашивает
Oℕ
в каком компаньоне, в каком классе
DM
попробую все же скачать проект целиком, а не кусок выдрать, мож сам дойду
Oℕ
Oℕ
травел? это StringWrapper ?
Oℕ
ну там два объекта
Oℕ
первый объект это object StringWrapper
Oℕ
в нём лежат всякие там .value
w
в нём лежат всякие там .value
Важно!
Oℕ
А второй объект - это уже который ты сам объявишь