Типовые поля с именами в haskell ADTs

Question

Существует очень распространенная проблема, с которой очень легко попасть в haskell. Code-фрагмент, который описывает его так:

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

да; используя линзы, подобные вам, и абстрагирование «n» в какой-то «JobData» кажется мне не слишком плохим (возможно, даже хорошим).

Answer 2

Предлагаю использовать 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