У Haskell есть указатели / ссылки на участников записи?

Question

Я могу создавать относительные указатели и ссылаться на них для структурирования членов в C ++, используя синтаксис ::*, .* и ->*, например:

char* fstab_t::*field = &fstab_t::fs_vfstype;
my_fstab.*field = ...

В Haskell я могу легко создавать временные меткидля получателей записей, таких как:

(idxF_s,idxL_s) = swap_by_sign sgn (idxF,idxL) ;

Afaik, однако я не могу затем обновлять записи, используя эти получатели в качестве меток, таких как:

a { idxF_s = idxL_s b }

Есть ли простой способ сделать это без кодирования для каждогорекордсмен?

Answer 1

Геттер и сеттер, объединенные в первоклассное значение, называются линзой . Есть много пакетов для этого; наиболее популярными являются data-lens и fclabels . Этот предыдущий вопрос SO является хорошим введением.

Обе эти библиотеки поддерживают получение линз из определений записей с использованием Template Haskell (для data-lens он предоставляется как дополнительный пакет для переносимости). Ваш пример будет выражен как (с использованием синтаксиса линз данных):

setL idxF_s (b ^. idL_s) a

(или эквивалентно: idxF_s ^= (b ^. idL_s) $ a)

Конечно, вы можете преобразовать линзы общим способом, преобразовав их геттер и сеттер вместе:

-- I don't know what swap_by_sign is supposed to do.
negateLens :: (Num b) => Lens a b -> Lens a b
negateLens l = lens get set
  where
    get = negate . getL l
    set = setL l . negate

(или эквивалентно: negateLens l = iso negate negate . l ¹ )

В общем, я бы рекомендовал использовать линзы всякий раз, когда вам приходится иметь дело с какой-либо нетривиальной обработкой записей; они не только значительно упрощают чистое преобразование записей, но и оба пакета содержат удобные функции для доступа и изменения состояния монады состояния с помощью линз, что невероятно полезно. (Для data-lens вы можете использовать пакет data-lens-fd , чтобы использовать эти удобные функции в любом MonadState; опять же, они находятся в отдельном пакете для переносимости.)

---

¹ При использовании любого из пакетов вы должны запускать свои модули с:

import Prelude hiding (id, (.))
import Control.Category

Это потому, что они используют обобщенные формы функций Prelude id и (.) - id можно использовать в качестве объектива от любого значения для себя (не все это полезно, по общему признанию), а (.) - это используется для составления линз (например, getL (fieldA . fieldB) a совпадает с getL fieldA . getL fieldB $ a). Более короткое определение negateLens использует это.

Answer 2

Здесь вам нужны первоклассные лейблы, и хотя этого нет в языке, в Hackage есть несколько пакетов, которые реализуют этот шаблон. Одним из них является fclabels , который может использовать шаблон Haskell для создания необходимого шаблона для вас. Вот пример:

{-# LANGUAGE TemplateHaskell #-}

import Control.Category
import Data.Label
import Prelude hiding ((.))

data Foo = Foo { _fieldA :: Int, _fieldB :: Int }
  deriving (Show)

$(mkLabels [''Foo])

main = do
  let foo = Foo 2 3

  putStrLn "Pick a field, A or B"
  line <- getLine

  let field = (if line == "A" then fieldA else fieldB)

  print $ modify field (*10) foo