27 Dec
2007
27 Dec
'07
6:48 a.m.
Thinking about files and types, I recalled that in Pascal files must have
types.
On Thu, 27 Dec 2007 12:40:22 +0200, Yitzchak Gale
I'm not sure that in Haskell one can say that storing a value of some type to disk is an operation defined on that type.
It is. For example:
hPutStr :: Handle -> String -> IO ()
The result type of this function is IO (), which means an IO action. In this case, the semantics of the action are that, when performed, it writes the bytes into a file.
________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com