VK
let inline Not (b: ^Bool) = (^Bool: (static member Not: _->_) b)Зачем такое может быть нужно?
Size: a a a
2020 September 15
AH
Зачем такое может быть нужно?
@DogeShibu вот он должен знать!
DS
@DogeShibu вот он должен знать!
Мне тоже сложно представить, если честно.
AH
Похоже это знание умрёт вместе с автором
AH
В теории это для компайл тайм вычислений булов, но блять зачем
VK
В теории это для компайл тайм вычислений булов, но блять зачем
Чо то непонятно
AH
Чо то непонятно
Ну типа у тебя false = true кинет ошибку компиляции
AH
Осталось понять где в ФШАРПЕ это может пригодиться
VK
Ну типа у тебя false = true кинет ошибку компиляции
Как??? И зачем, кстати?
AH
Как??? И зачем, кстати?
Ну у тебя все инлайнится же и в статике все буловые операции раскрываются
AH
Как??? И зачем, кстати?
Подобные техники пользуют в верифицирующих языках чтобы найти противоречие в леммах или наоборот их доказать
AH
Но блять, при чём здесь фшарп
VS
В теории это для компайл тайм вычислений булов, но блять зачем
а не просто ли это возможность инвертировать типы у которых метод Not определен?
AH
а не просто ли это возможность инвертировать типы у которых метод Not определен?
Нет, ты по ссылке сходи!
VS
аа, понятно) я по ссылкам без надобности не хожу)
DS
В теории это для компайл тайм вычислений булов, но блять зачем
Я просто не очень представляю как это может в фшарпе пригодиться.
Обычно эти инструменты вместе с тайпклассами и т.п. юзаются, чтобы что-то реальное сделать, но в фшарпе их нету же.
Обычно эти инструменты вместе с тайпклассами и т.п. юзаются, чтобы что-то реальное сделать, но в фшарпе их нету же.
DS
Т.е. везде где я использовал тайплевел в том или ином виде - это так или иначе сводилось к выводу тайпклассов через Generics и т.п. механизмы.
DS
AH
Надо поискать, я с телефона смотрел
DS
Надо поискать, я с телефона смотрел
А, ну там есть спуск значений с тайплевела в рантайм, значит что-то можно попробовать на этой штуке сделать.