[haskell] 看一下這個 read 的問題

retuor

我想在終端讀入一個整數(shù)表，首先在交互環(huán)境試了下。直接  read "[1,2]" 是不行的，要寫成 read "[1,2]" :: [Int]

所以我寫出了如下代碼：

1. 
   
2. module Main where
   
3. 
   
4. main = do
   
5.   str <- getLine
   
6.   putStrLn $ show $ read str::[Int]
   

復(fù)制代碼

編譯通不過。后來改成這樣就行了

1. 
   
2. module Main where
   
3. 
   
4. readIntList::String->[Int]
   
5. readIntList=read
   
6. 
   
7. main = do
   
8.   str <- getLine
   
9.   putStrLn $ show $ readIntList str
   

復(fù)制代碼

為什么第一段代碼不行，而在交互環(huán)境又可以呢？

retuor

明白了，:: 的優(yōu)先級很低

1. 
   
2. 
   
3. main = do
   
4.   str <- getLine
   
5.   putStrLn  $ show  (read str::[Int])
   

復(fù)制代碼

這樣就可以了。

Magicloud

read太危險，不用為宜……

lijiamin1986

重試一下～�。。。�！

retuor

read太危險，不用為宜……
Magicloud 發(fā)表于 2010-03-19 14:49

    請舉證？

Magicloud

請舉證？
retuor 發(fā)表于 2010-03-19 23:56

    read不在三界中，跳出五行外。不是純函數(shù)，卻可以用在純函數(shù)。

retuor

read 不純嗎？沒體會出來。

有一才哦

  來瞧瞧嘍!

flw

read 是 pure 的。