DB
Потому что ты отвечаешь)
Мне-то это ненужно)
Size: a a a
2020 January 20
AD
спрашивалось про "pattern-matched functions"
Ну так это совсем по иному переводится
λ
вот именно
DB
спрашивалось про "pattern-matched functions"
Что это вообще значит (если значит)?
λ
спросить у елексировцев надо
AD
Функции,к которым применён паттерн матчинг, что бы слово применение в этом контексте не значило
AD
Если смотреть чисто на слова
λ
короч это просто синтаксис, частично оверлоадингом покрытый как тут уже сказали
λ
к мете и аст не имеет отношения
AD
Я понял
AD
Я вот тут подумал, при помощи dotty макросов и вкусного, можно интерпретировать скалу во что то и что то в скалу?
IA
Я вот тут подумал, при помощи dotty макросов и вкусного, можно интерпретировать скалу во что то и что то в скалу?
Scalameta?
AV
Это специализации
ЮБ
@odomontois а дерево можно как-то научить с supertagged работать? Чтобы оно вставляло
lifterF?Oℕ
@odomontois а дерево можно как-то научить с supertagged работать? Чтобы оно вставляло
lifterF?Да, можете в супертаггед прямо добавить такие дериваторы.
Дерево учить не нужно ничего, оно никаким образом не учитывает структуру исходного типа
Дерево учить не нужно ничего, оно никаким образом не учитывает структуру исходного типа
Oℕ
Мне только непонятно, куда вы будете аннотации вешать.
Дерево ведь имплиситы в компаньон добавляет
Дерево ведь имплиситы в компаньон добавляет
ЮБ
Да я вот думаю, как вообще это выразить
Oℕ
Когда я ньютайпы делаю, я просто делаю примесь к объекту для всех алиасов, синтаксисов и инстансов
KS
Насколько экстенсивно используете ньютайпы? Это не относится к проблеме, просто интересно
Oℕ
Когда я ньютайпы делаю, я просто делаю примесь к объекту для всех алиасов, синтаксисов и инстансов
В этом случае и дерево не нужно