Т8
Рефайнменты к тому же легко эмулируются
так использовать их как сахар для объявления особого типа. Не уверен, что можно удобно сделать на темплейтах или на макросах
Size: a a a
2020 July 31
H
говорят что такое контекст эффекта
AZ
говорят как реализовывать свои эффекты через
Effs тоже?нет, но там пишут как реализовывать свои эффекты без Effs
H
нет, но там пишут как реализовывать свои эффекты без Effs
но ты же сказал что там есть ответы на все вопросы
AZ
буквально вся вторая половина книжки про это
H
Нет
почему?
AZ
но ты же сказал что там есть ответы на все вопросы
если ты знаешь как реаализовывать самостоятельно то заюзать Effs не проблема
H
если ты знаешь как реаализовывать самостоятельно то заюзать Effs не проблема
проблема не проблема — уже другой вопрос. мы же о наличие ответов на все вопросы в идрисубуке говорим
AZ
проблема не проблема — уже другой вопрос. мы же о наличие ответов на все вопросы в идрисубуке говорим
ну там ответ на этот вопрос есть в виде "вот так писать можно свои эффекты"
H
так, а где ответ на elaborator reflection?
p
почему?
Числа это ТДД?
AZ
так, а где ответ на elaborator reflection?
во-первых я его где-то видел в книге
во-вторых его считай и нет, он не работает
во-вторых его считай и нет, он не работает
H
Числа это ТДД?
смотря как они определены
AZ
смотря как они определены
как ТДД
p
Т-34 85
так использовать их как сахар для объявления особого типа. Не уверен, что можно удобно сделать на темплейтах или на макросах
Это делается через конст генерики например
p
смотря как они определены
Ну вот 2 это ТДД?
H
Ну вот 2 это ТДД?
что такое 2?
p
Число
H
во-первых я его где-то видел в книге
во-вторых его считай и нет, он не работает
во-вторых его считай и нет, он не работает
идрис не работает