哈斯克爾ASCII碼

Question

我試圖做一個函數，它的一個（可以是任何類型：int，焦炭......），並創建了一個具有該輸入複製的次數的列表對應於它的ASCII碼。

我創造了這個：

toList N =複製（fromEnumñ）N

當試圖使用該功能在CMD它說，它可以匹配與預期的類型爲int char，但是如果我直接在cmd中使用我的函數並且具有實際的值，它就會按照它的設想進行操作。

我的意思是：toList '一' - >給我一個錯誤

複製（fromEnum 'A'） 'A' - >給出的結果沒有問題

我已經加載模塊Data.Char（ord）

我該如何解決這個問題，爲什麼會發生這種情況？

在此先感謝:)

Answer 1

你缺少的是一個類型聲明。你說你希望它能夠採取任何類型，但你真正想要的是toList採取的東西是Enum的一個實例。當你在GHCi中使用它的時候，它會讓你做let toList n = replicate (fromEnum n) n，因爲GHCi會自動選擇一些看起來有意義的默認值，但是當編譯一個帶有GHC的模塊時，沒有類型聲明它將不起作用。你想

toList :: (Enum a) => a -> [a] 
toList n = replicate (fromEnum n) n 

爲什麼你必須有在類型簽名(Enum a) =>的原因是因爲fromEnum有類型簽名(Enum a) => a -> Int。所以你看它不只是任何類型，只有那些具有Enum的實例。