Haskell Language
Перегруженные литералы

замечания

> :t []
[] :: [t]

[] :: GHC.Exts.IsList l => l

Целочисленная цифра

Тип литерала

Prelude> :t 1
1 :: Num a => a

выбор конкретного типа с аннотациями

Вы можете указать тип до тех пор, пока целевой тип Num с аннотацией :

Prelude> 1 :: Int
1
it :: Int
Prelude> 1 :: Double
1.0
it :: Double
Prelude> 1 :: Word
1
it :: Word

если не компилятор будет жаловаться

Прелюдия> 1 :: String

<interactive>:
    No instance for (Num String) arising from the literal `1'
    In the expression: 1 :: String
    In an equation for `it': it = 1 :: String

Плавающая цифра

Тип литерала

Prelude> :t 1.0
1.0 :: Fractional a => a

Выбор конкретного типа с аннотациями

Вы можете указать тип с аннотацией типа . Единственное требование - тип должен иметь экземпляр Fractional .

Prelude> 1.0 :: Double
1.0
it :: Double
Prelude> 1.0 :: Data.Ratio.Ratio Int
1 % 1
it :: GHC.Real.Ratio Int 

если не компилятор будет жаловаться

Prelude> 1.0 :: Int
<interactive>:
    No instance for (Fractional Int) arising from the literal `1.0'
    In the expression: 1.0 :: Int
    In an equation for `it': it = 1.0 :: Int

Струны

Тип литерала

Без каких-либо расширений тип строкового литерала, т. Е. Что-то между двойными кавычками, - это просто строка, также называемая списком символов:

Prelude> :t "foo"
"foo" :: [Char]

Однако, когда расширение OverloadedStrings включено, строковые литералы становятся полиморфными, аналогичными литералам чисел :

Prelude> :set -XOverloadedStrings
Prelude> :t "foo"
"foo" :: Data.String.IsString t => t

Это позволяет нам определять значения типа типа string без необходимости каких-либо явных преобразований. По сути, расширение OverloadedStrings просто обертывает каждый строковый литерал в общей fromString преобразования fromString , поэтому, если контекст требует, например, более эффективного Text вместо String , вам не нужно об этом беспокоиться.

Использование строковых литералов

{-# LANGUAGE OverloadedStrings #-}

import Data.Text (Text, pack)
import Data.ByteString (ByteString, pack)


withString :: String
withString = "Hello String"

-- The following two examples are only allowed with OverloadedStrings

withText :: Text
withText = "Hello Text"      -- instead of: withText = Data.Text.pack "Hello Text"

withBS :: ByteString
withBS = "Hello ByteString"  -- instead of: withBS = Data.ByteString.pack "Hello ByteString"

Обратите внимание на то, как мы смогли построить значения Text и ByteString же, как мы строим обычные значения String (или [Char] ), вместо того, чтобы использовать каждую функцию типа pack чтобы явно кодировать строку.

Дополнительные сведения о расширении языка OverloadedStrings см. В документации по расширению .

Список литературы

Расширение GHC OverloadedLists позволяет создавать структуры данных, подобные спискам, с синтаксисом списка литералов.

Это позволяет вам Data.Map следующим образом:

> :set -XOverloadedLists
> import qualified Data.Map as M
> M.lookup "foo" [("foo", 1), ("bar", 2)]
Just 1

Вместо этого (обратите внимание на использование дополнительного M.fromList ):

> import Data.Map as M
> M.lookup "foo" (M.fromList [("foo", 1), ("bar", 2)])
Just 1