haskell - haskell ADT 中的类型安全命名字段

Question

有一个非常常见的问题，使用 haskell 很容易解决。描述它的代码片段是这样的:

data JobDescription = JobOne { n :: Int }
                    | JobTwo
                    | JobThree { n :: Int }
  deriving (Show, Eq)

taskOneWorker :: JobDescription -> IO ()
taskOneWorker t = do
    putStrLn $ "n: " ++ (show $ n t)

main :: IO ()
main = do
  -- this runs ok:
  taskOneWorker (JobOne 10)

  -- this fails at runtime:
  -- taskOneWorker JobTwo

  -- this works, but we didn't want it to:
  -- taskOneWorker (JobThree 10)

我在这篇文章中描述了这个问题以及可能的解决方案: https://www.fpcomplete.com/user/k_bx/playing-with-datakinds

在这里，在 StackOverflow 上，我想问你 - 这个问题的最佳解决方案是什么，使用哪些工具和文档？

Answer 1

我建议使用 Prism . Prism _JobOne代表Int JobOne 中的值构造函数。在 taskOneWorker我们使用 ^? 进行查找.值 t确实是JobOne构造函数，它的参数在 Just 中返回, 或者不是 JobOne构造函数，我们得到一个 Nothing .

{-# LANGUAGE TemplateHaskell #-}

import Control.Lens

data JobDescription = JobOne { n :: Int }
                    | JobTwo
                    | JobThree { n :: Int }
  deriving (Show, Eq)
$(makePrisms ''JobDescription)

taskOneWorker :: JobDescription -> IO ()
taskOneWorker t = do
  case t ^? _JobOne of
    Just n  -> putStrLn $ "n: " ++ show n
    Nothing -> putStrLn "Not a JobOne"
               -- Or 'return ()' if you want to ignore these cases

main :: IO ()
main = do
  taskOneWorker (JobOne 10)
  taskOneWorker JobTwo
  taskOneWorker (JobThree 10)

-- *Main> main
-- n: 10
-- Not a JobOne
-- Not a JobOne