MK
Но что удивительно эту отсылку ну вообще не понимают 🙁
Я понял!
Size: a a a
2020 November 20
AV
Я понял!
таких как ты мало!
AV
так прошло полчаса, а я не то, что не дома, а ещё не вышел, надо что-то менять
MK
Уууу
MK
Могу кикнуть
к
как оно роботает(
someNatVar - магическая функция, которая создает из значения инстанс KnownNat для какого-то типа числа, который соответсует рантайм значению
AV
Могу кикнуть
Из офиса?
DB
RO на сутки выдать
И Гранина позвать, чтобы побольше писал
AV
Тут фрукты, а дома нет
DB
someNatVar - магическая функция, которая создает из значения инстанс KnownNat для какого-то типа числа, который соответсует рантайм значению
Я попробую поиграться потом. Пока что неясно(
AV
магическая кстати в прямом смысле
AA
но тут магичность не из-за того, что значение типом делается, а от того что натов дофига.
делатель из АлгТД значения тип - это один дата-инстанс
делатель из АлгТД значения тип - это один дата-инстанс
AV
исползуюет фунцию magicDict
AV
если я понимаю то оно создаёт словарик в котором в рантайме лежит значение
AA
т.е. лифтинг пеано-ната легко делается подручными средствами без магии
AV
DB
т.е. лифтинг пеано-ната легко делается подручными средствами без магии
Но они некрасивые(
AV
и небыстрые