Nano Hash - криптовалюты, майнинг, программирование

Тип данных в ByteString

У меня есть newtype, который я хочу сохранить в файл, примерно так:

type Index = (Int, Int)

newtype Board a = Board { unboard :: Array Index a }

Так что в основном Array. Но, может быть, однажды я захочу добавить некоторые другие данные, например:

data BoardWithInfo a = BWI {
    bwiBoard :: Board a,
    bwiRef :: String,
    bwiStart :: Index
}

И так далее. Я просто хочу знать, есть ли удобные, оптимизированные функции для этого, Array в ByteString и объединенные данные - и наоборот. Или как написать свою, если их нет.


Ответы:


1

Вы можете получить экземпляр Show и сохранить его как таковой или проверить двоичный модуль от взлома. IIRC имеет экземпляр для массивов. Вам нужно создать свой экземпляр для вашего нового типа, но, поскольку это всего лишь оболочка, это не проблема. Бинарный модуль имеет отличную документацию с большим количеством примеров.

13.04.2011
  • +1; Data.Binary действительно приятно работать, особенно если вы просто заботитесь о том, чтобы поместить биты на диск, а не соответствовать определенному формату. 13.04.2011
  • Спасибо за подсказку с Data.Binary, это отличный помощник. 13.04.2011

  • 2

    Вам следует использовать Data.Binary с парой экземпляров, чтобы обернуть ваши типы Board и BoardWithInfo:

    import Control.Monad
    import Data.Array
    import Data.Binary
    
    type Index = (Int, Int)
    
    newtype Board a = Board { unboard :: Array Index a }
                    deriving (Eq, Show)
    
    instance (Binary a) => Binary (Board a) where
      get = liftM Board get
      put b = put (unboard b)
    
    data BoardWithInfo a = BWI { bwiBoard :: Board a
                               , bwiRef :: String
                               , bwiStart :: Index }
                         deriving (Eq, Show)
    
    instance (Binary a) => Binary (BoardWithInfo a) where
      get = liftM3 BWI get get get
      put b = do
        put (bwiBoard b)
        put (bwiRef b)
        put (bwiStart b)
    
    testBoard :: Board Int    
    testBoard = Board $ listArray ((1,1),(10,10)) [1..100]
    
    testBWI :: BoardWithInfo Int
    testBWI = BWI testBoard "test" (1,1)
    
    -- returns True since the data survives encoding/decoding!
    testBinaryRoundtrip = testBWI == testBWI'
      where
        testBWI' = decode $ encode testBWI
    
    13.04.2011
    Новые материалы

    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..

    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..

    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..

    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..

    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..

    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..

    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..