например где?
Я до последнего не хотел приводить примеры из других языков здесь, но вот
type family AreEq a b where AreEq a a = 'True AreEq a b = 'False что-то типа этого, наверное
Если не сложно, покажи пример как пользоваться ?
ставлю 1 евро, что он хочет if typeOf x == Int then x + 1
полного соответствия is_same из С++ в хаскеле не получится, потому что С++ это самобытный инженерный язык с очень специфичными решениями в области проектирования языка
проиграл получается, is_same это другое
а че не получится-то?
нет, погоди, ещё мы не знаем, для чего issame. булевое значение не конечная цель
Было интересно есть ли просто тут такие же приколы на типах как там. Но спасибо за развернутый ответ
тебе ответили уже давно, что есть и разные
мономорфизация во время проверки типов позволяет разрешить этот is_same во время компиляции, без таскания словарей
более менее похожее, тока придётся таскать словари https://play.haskell.org/saved/0EPXb11I
https://play.haskell.org/saved/2Vm8TO6h як тоби такое
ок, в личку
Может, что-то на уровне типов кодит. Например, были уже шахматы на уровне типов, и теперь нужна функция, чтобы сравнивать позиции на доске.
оказалось, нет, это плюсовик изучает язык со точки зрения своего опыта
Обсуждают сегодня