Телеграмм чат группы haskellru страница 16292

а Get --- это State?

State

Timofey Zakrevskiy in Haskell

Я в одной рабочей утилите граф зависимостей (у него есть инстанс моноида) собираю при обходе дерева зависимостей.

18:40пожаловаться #4

Vladimir Lopatin in Haskell

а что там против сноймана?

20:07пожаловаться #5

можно ли как-то сделать собственный Word32 (без костылей по-типу newtype Word32LE = Word32LE {unWord32LE :: Word32}, чтобы реализовать для него тайпкласс Binary не так, а по-другому (get = getWord32le и put = putWord32le)?

или можно переопределить и не создавать собственных Word32?

20:42пожаловаться #6

а почему newtype тут костыль? Вроде как newtype для этого и нужен, чтобы другой инстанс определить

20:43пожаловаться #7

например, можно определить: data Packet = Packet { code :: Word32LE, ...} deriving (Generic) и далее сделать instance Binary Packet, чтобы самостоятельно не реализовывать Binary. тогда при использовании данных придётся каждый раз писать unWord32LE. может, это нормально, я не знаю, если честно

20:47пожаловаться #8

так, ничего не понял

если будет ньютайп, то так не выйдет уже что ли?

20:49пожаловаться #9

newtype Word32LE = Word32LE Word32

instance Binary Word32LE where
  get = getWord32le
  put = putWord32le

data Packat = Packet { code :: Word32LE }
  deriving stock Generic
  deriving anyclass Binary

должно сработать точно так же

20:50пожаловаться #10

нет. всё получится. можно будет использовать эту структуру, но дело в том, что теперь, чтобы получить поле (меня сейчас побьют за такие определения), то надо будет написать не code packet, а unWord32LE $ code packet

20:50пожаловаться #11

хорошо, а в чем проблема-то?)

20:51пожаловаться #12

ну это нормально

20:51пожаловаться #13

чтобы указать, что инстанс не дефолтный - нужно что-то дописать

20:51пожаловаться #14

например, указание на ньютайп

20:51пожаловаться #15

а. хорошо. понял. я подумал, что было бы лучше, если бы не пришлось писать unWord32LE, но ладно. я вас понял. спасибо вам всем

20:51пожаловаться #16

если его не писать (ну или что-то другое, что указало бы на ньютайп), то и не понять, что нужен не "дефолтный" инстанс, а именно инстанс ньютайпа)

20:52пожаловаться #17

I O in Haskell

Поигравшись с генериками можно получить что-нибудь типа

data Packet = Packet { code :: Word32, ...} 
  deriving stock Generic
  deriving Binary via Transform Packet '[ "code" `As` Word32LE ]

но я не знаю есть ли где готовое

20:55пожаловаться #18

да. хорошо. звучит логично. я подумал, что можно было бы с Word32LE работать точно так же как и с Word32 (т.е. не разворачивая (unwrap) значения). но ладно. от печати пары буков на клавиатуре не умру

20:56пожаловаться #19

не ну можно коёрсить