haskell - Haskell 中的 type 关键字是什么

Question

偶然发现 Haskell 中的 type 关键字:

type Item = String

但不确定它的作用、如何使用它或者它与data有何不同。在线谷歌搜索没有任何帮助。

我尝试用这样的代码实现它:

    import System.IO

main = do  
        putStrLn "Hello, what's your name?"  
        type Item = String
        let test :: Item
        test = "chris"
        putStrLn test  

但我收到一个错误

parse error on input ‘type’

请用外行人的话来说什么是type以及它如何使用以及它与数据有何不同？

Answer 1

这是一个 type alias 。这意味着您可以在代码中使用 Item，而您可以使用 String 代替。

当您想要为更复杂的类型命名时，通常会使用类型别名。例如:

import Data.Map(Map)

type Dictionary = Map String String

这里你可以使用Dictionary而不是每次都写Map String String。

如果您想指定您正在使用 Item，则经常使用它，然后在类型签名和文档中使用别名，这通常比编写 更好>字符串。

如果您还不知道将为特定对象使用什么类型，也可以使用它。通过使用类型别名，您可以使用 Item，并且稍后如果您更改为 Item 定义类型或使其成为另一种类型的别名。这使得更改类型更加方便。

I tried implementing it in a code like this:

import System.IO

main = do  
    putStrLn "Hello, what's your name?"  
    type Item = String
    let test :: Item
    test = "chris"
    putStrLn test

类型别名是在顶层定义的，因此不在 do block 中定义，这会使类型定义具有本地作用域。同时，像 @moonGoose says ，有一些建议使类型定义更具本地范围，但目前情况并非如此。

您可以定义类型别名，例如:

import System.IO

<b>type Item = String</b>

main = do  
    putStrLn "Hello, what's your name?"  
    let test :: Item
        test = "chris"
    putStrLn test