[
но при этом, насколько я знаю, nullPtr может не быть нулевым адресом
Size: a a a
2021 May 01
[
Так что жизнь - тлен
N
ptrToWordPtr есть
[
ого, спасибо
JJ
Спасибо. Были уверены, что это указатель на Word. По итогу придумали костыли с минусом нуллптр и read из show ptr
N
Сообственно у Ptr и ForeignPtr есть instance Show, там интересно
MK
Ну что вы придумываете ерунду
MK
addr2Int#MK
Распаковали конструктор Ptr и вперёд
AV
Переслано от Andrey Vlasov
В хаскелле есть подобный синтаксис? (взято из Идриса)
Right ok <- action
| Left e => -- process error
-- only executed if ok
AS
Если монада хорошая (MonadFail) в do-блоках кидает fail при несостоявшемся паттерн матче в <- . Синтаксиса прямо такого нет, если надо разбирать случаи - case
N
-- | casts a @Ptr@ to a @WordPtr@ ptrToWordPtr :: Ptr a -> WordPtr ptrToWordPtr (Ptr a#) = WordPtr (W# (int2Word# (addr2Int# a#))).
.
.
AV
Удобно, но синтаксис гибче)
AS
action >>= \case, и если при left вызвать ошибку (MonadError), монадическое вычисление не пойдет дальше
[
я кстати так и не разобрался, как вот эти ваши # дёргать, оно парсинг не проходит
AV
Тоже хорошо, про ExceptT знаю
Крч, синтаксиса нет, я понял, вопрос закрыт, всем спасибо
Крч, синтаксиса нет, я понял, вопрос закрыт, всем спасибо
MK
Значит рано тебе ещё
[
так стоит
[
а ведь мы просто хотели поиграться с винапи...