入手方法<<loop>> Haskellで例外がパターン配置によって異なります

Question

このコードでループが発生する理由を説明してください。

module Main where 

import Data.List.Split 
import Data.Maybe 
import Text.Read 

main :: IO() 
main = print (snd (toInmetDate "01/02/2012")) 

type P a = (Bool, a) 

readP :: (Read a) => String -> P a 
readP text 
    | isJust value = (True, fromJust value) 
    | isNothing value = (False, read "0") 
    where value = readMaybe text 

data InmetDate = InmetDate {dia :: P Int, mes :: P Int, ano :: P Integer} 
    deriving (Show, Read) 

toInmetDate :: String -> P InmetDate 
toInmetDate x = if length l == 3 
    then (True, InmetDate (readP ds) (readP ms) (readP as)) 
    else (False, InmetDate (False, 0) (False, 0) (False, 0)) 
    where (l,ds:ms:as:_) = (splitOn "/" x, l ++ replicate 20 "NULL") 

私は私が作るとき、と述べているでしょう：完全コードワーク

where (ds:ms:as:_) = l ++ replicate 20 "NULL" 
     l = splitOn "/" x 

：

に等しい

where (l,ds:ms:as:_) = (splitOn "/" x, l ++ replicate 20 "NULL") 

を。

Answer 1

オリジナルでは、lの値は、再帰的にlで定義されたタプルに依存します。この変更では、lは値splitOn "/" xにのみ依存します。