Элегантное определение многих значений функций в haskell

Question

Я хочу определить функцию, которая будет использовать заглавные буквы в нижнем регистре:

yell :: Char -> Char
yell 'a' = 'A'
yell 'b' = 'B'
...
yell 'z' = 'Z'
yell ch = ch

Какой лучший способ сделать это? Я могу составить список пар соответствующих входов и выходов через zip ['a'..'z'] ['A'..'Z'], но я не уверен, как превратить это в определение yell.

Я знаю, что lookup является чем-то вроде вариант, но тогда я должен futz с Maybe, и мне интересно, есть ли что-нибудь еще более элементарное доступным.

Answer 1

Вы можете использовать защиту и использовать toUpper :: Char -> Char, модуля Data.Char , например:

import Data.Char(toUpper)

yell :: Char -> Char
yell c
    | 'a' <= c && c <= 'z' = toUpper c
    | otherwise = c

для символов ASCII, верхний регистр просто маскирует шестой бит (с маской 0010 0000). Таким образом, toUpper эквивалентно chr . (~0x20 .&.) . ord для указанного диапазона c.

Однако существуют другие символы, которые имеют заглавные буквы, например символы с диакритическими знаками (àáâãäåæçèéêëìí…), греческие символы (* 1020) *), символы полной ширины (ａｂｃｄｅｆｇｈ…) и др. c. Все они конвертируются с помощью toUpper и не могут (все) конвертироваться с помощью этого трюка.

Вы можете выполнить поиск с помощью структуры поиска, например, `

import Data.HashMap.Strict(HashMap, fromList)
import qualified Data.HashMap.Strict as HM

items :: HashMap Char Char
items = fromList (zip ['a' .. 'z'] ['A' .. 'Z'])

yell :: Char -> Char
yell c
    | Just y <- HM.lookup c items = y
    | otherwise = c