[haskell] 看一下这个 read 的问题

retuor

我想在终端读入一个整数表，首先在交互环境试了下。直接  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]
   

复制代码

编译通不过。后来改成这样就行了

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
   

复制代码

为什么第一段代码不行，而在交互环境又可以呢？

retuor

明白了，:: 的优先级很低

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

复制代码

这样就可以了。

Magicloud

read太危险，不用为宜……

lijiamin1986

重試一下～！！！！！

retuor

read太危险，不用为宜……
Magicloud 发表于 2010-03-19 14:49

    请举证？

Magicloud

请举证？
retuor 发表于 2010-03-19 23:56

    read不在三界中，跳出五行外。不是纯函数，却可以用在纯函数。

retuor

read 不纯吗？没体会出来。

有一才哦

  来瞧瞧喽!

flw

read 是 pure 的。