任何不錯的記錄在Haskell中處理技巧？

Question

我知道部分更新的像記錄：

data A a b = A { a :: a, b :: b } 
x = A { a=1,b=2 :: Int } 
y = x { b = toRational (a x) + 4.5 } 

是否有這樣做只是部分初始化，創建一個子記錄類型，或做（反）序列的子記錄什麼花樣？

特別是，我發現，這些第一線的工作，但第二個沒有：

read "A {a=1,b=()}" :: A Int() 
read "A {a=1}" :: A Int() 

你可以使用正則表達式經常按摩這樣的輸入，但我很好奇什麼哈斯克爾樣的選擇存在。

Answer 1

偏初始化正常工作：A {a=1}是A Int()類型的有效表達; Read實例只是不打擾解析任何Show實例不輸出。 b字段初始化爲error "..."，其中字符串包含幫助調試的文件/行信息。

你一般不應使用Read任何真實世界的解析情況;它適用於具有非常簡單的序列化需求和調試的玩具程序。

我不確定你的意思是「subrecord」，但是如果你想要序列化/反序列化，可以應對「升級」到記錄格式以包含更多信息，同時仍然能夠處理舊的（現在「部分「）序列化，那麼safecopy庫就是這樣做的。

Answer 2

你不能走在Haskell一些價值「初始化」（這將是不可能的「初始化」後來無論如何，因爲Haskell是純）。如果要爲字段提供「默認」值，則可以爲記錄類型設置一些「默認」值，然後對該默認值進行部分更新，只設置您關心的字段。不過，我不知道如何以簡單的方式實現read。