我對 GHCI 在Data.ByteStringand周圍的行為感到困惑Data.ByteString.Char8。如果我加載具有以下匯入的檔案
import qualified Data.Text as T
import qualified Data.ByteString as B
import qualified Data.ByteString.Char8 as BC
import qualified Data.Text.Encoding as E
我明白了
*Main> :t E.encodeUtf8
E.encodeUtf8 :: T.Text -> BC.ByteString
如果我將第二個和第三個匯入行反轉為
import qualified Data.Text as T
import qualified Data.ByteString.Char8 as BC
import qualified Data.ByteString as B
import qualified Data.Text.Encoding as E
我明白了
*Main> :t E.encodeUtf8
E.encodeUtf8 :: T.Text -> B.ByteString
這對我來說意味著Data.ByteString并且Data.ByteString.Char8共享相同的 ByteString 型別，但我不知道如何理解這一點。
uj5u.com熱心網友回復：
我認為 sjakobi 的評論回答了這個問題：
這些模塊確實匯出了相同的
ByteString型別。這些模塊之間的區別在于它們公開的功能。
轉載請註明出處，本文鏈接：https://www.uj5u.com/caozuo/434787.html
上一篇：如何證明函式空間不為空？