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

Question

本帖最后由 retuor 于 2010-03-01 17:52 编辑

我想在终端读入一个整数表，首先在交互环境试了下。直接  read "[1,2]" 是不行的，要写成 read "[1,2]" :: [Int]

所以我写出了如下代码：

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

复制代码编译通不过。后来改成这样就行了

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

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

Answer 1

read 是 pure 的。

Answer 2

  来瞧瞧喽!

Answer 3

read 不纯吗？没体会出来。

Answer 4

本帖最后由 Magicloud 于 2010-03-23 15:54 编辑

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

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

Answer 5

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

    请举证？

Answer 6

重試一下～！！！！！

Answer 7

read太危险，不用为宜……

Answer 8

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

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

复制代码这样就可以了。