«Константы» в Haskell после запуска программы

Question

У меня есть ввод с клавиатуры, например unsafePerformIO $ entryGetText myTextEntry. Как сохранить это значение как «константа» (в данных типа:

data SimuInfo = Information { 
       massSaved:: Double 
       } deriving Show 

) после запуска программы. Единственный метод, который я знаю, чтобы «сохранить переменные» является:

valuea::Int 
valuea = 120 

Но этот метод просто работает, когда значение не определяется пользователем.

Заранее спасибо

Answer 1

unsafePerformIO should be avoided at all costs, а его исполнение непредсказуемо.

Haskell - это чистый язык, и значения неизменны, поэтому вы не сможете «сохранить» значение, которое будет отображаться как мутированное в другом месте.

Вместо этого вам нужно будет прочитать значение и передать его по мере необходимости.

main = do 
    putStrLn "Enter the default massSaved value" 
    val <- getLine 
    doThingsWithDefaultSimuInfo (Information (read val :: Double)) 

doThingsWithDefaultSimuInfo :: SimuInfo -> IO() 
doThingsWithDefaultSimuInfo si = do 
    ... 

(Есть более чистые и более идиоматические способы сделать это с помощью читателей, но я пытаюсь сохранить этот ответ, направленный на начинающем уровне)

Answer 2

Значения, которые вводятся с пользователя, не действительно постоянные. Я думаю, что обычный способ обработки такого ввода конфигурации - с помощью устройства Monad.

import Control.Monad.Reader 

-- type of our context, one double value. 
-- This is not really necessary, you could just use Double everywhere 
-- I use C. 
newtype C = C Double 
    deriving (Show, Eq) 

main :: IO() 
main = do 
    -- Read a double from the user. 
    c <- getLine >>= return . read :: IO Double 
    -- Run the computation, given a context/configuration with 
    -- the user input. 
    print $ runReader foo (C c) 

-- Computation dependent on our context. 
foo :: Reader C Double 
foo = do 
    C x <- ask -- Get the value of our context. 
    return $ x + 10 -- and use it