169 похожих чатов

В хаскеле можно как-то реализовать аналог сравнения по адресу? Типа

не такой же, а тот же самый объект

Пока думаю использовать декартово произведение на Data.Unique, но это усложняет апи и вообще требует IO.

Общая задача - пессимистичное сравнение объектов произвольного типа (т.е. если равенство возвращает True то точно одинаковые, а если False то неизвестно)

5 ответов

24 просмотра

https://hackage.haskell.org/package/base-4.17.0.0/docs/GHC-Exts.html#v:reallyUnsafePtrEquality

Alexander-Smirnov Автор вопроса
Alexander Smirnov
Спасибо! То что нужно

но я не знаю, почему оно really unsafe

reallyUnsafePtrEquality# :: a -> a -> Int# Source

Cheese Syrowiecki
но я не знаю, почему оно really unsafe

{- Note [Pointer equality operations] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Many primitive types - such as Array#, ByteArray#, MVar#, ... - are boxed: they are represented by pointers to the underlying data. It is thus possible to directly compare these pointers for equality, as opposed to comparing the underlying data that the pointers refer to (for instance, comparing two arrays element-wise). To do this, GHC provides the primop reallyUnsafePtrEquality#, which is both levity-polymorphic and heterogeneous. As its name indicates, it is an unsafe operation which can yield unpredictable results, as explained in Note [Pointer comparison operations] in primops.txt.pp For a more user-friendly interface, this module defines specialisations of the reallyUnsafePtrEquality# primop at various primitive types, such as Array#, ByteArray#, MVar#, ... -}

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта