Чи є шанс написати «С мажор» замість «мажор С»?

Я зіткнувся з невеликим естетичним питанням у своєму музичному проекті, і це мене клопоче вже певний час.

У мене є тип, data Key = C | D | ...і я можу побудувати букву Scaleвід a Keyі a Mode. У Modeрозрізняє , наприклад , великий і незначний масштаб.

Я можу визначити Modeтип як функцію від Keyдо Scale. У такому випадку режими матимуть малі імена (що нормально), і я можу отримати такий масштаб

aScale = major C

Але музиканти не говорять так. Вони називають цю шкалу як основну шкалу С , а не основну шкалу С.

Що я хочу

В ідеалі я хотів би написати

aScale = C major

Чи можливо це взагалі?

Що я спробував

Я можу зробити Keyфункцію, яка будує Scaleз а Mode, тож можу писати

aScale = c Major

Але я не можу обмежитися Ключами для побудови Терезів. Вони потрібні і для інших речей (наприклад, для створення акордів ). Також Keyмає бути екземпляр Show.

Я можу поставити Modeпісля, Keyколи використовую додаткову функцію (або конструктор значень):

aScale = scale C major з scale :: Key -> Mode -> Scale

Але додаткова шкала слова виглядає галасливою і всупереч її назви, scaleнасправді не стосується масштабів. Розумна частина є major, scaleнасправді справедлива flip ($).

Використання функції newtype Mode = Major | Minor ...насправді не сильно змінюється, за винятком scaleпотреби бути більш розумним:

aScale = scale C Major

Рішення 1:

Використовуй це

data Mode  = Major | Minor
data Scale = C Mode | D Mode | E Mode | F Mode | G Mode | A Mode | B Mode 

Тепер ви можете писати (з великою літерою С та капіталом М)

aScale = C Major

Рішення 2a:

Це теж можливо

data Mode  = Major | Minor
data Key   = C | D | E | F | G | A | B 

data Scale = Scale Key Mode  

Тепер ти пишеш

aScale = Scale C Major

Рішення 2b:

Це теж можливо

data Mode  = Major | Minor
data Key   = C | D | E | F | G | A | B 

type Scale = (Key, Mode)  

Тепер ти пишеш

aScale = (C, Major)

Ось одне примхливе рішення, яке я не рекомендую, але виглядає дуже "музично":

infix 8 ♮
(♮) :: Key -> Mode -> Scale
(♮) = (Data.Function.&)
 -- ≡ flip ($)

Тоді можна писати

> C♮ major :: Scale

Звичайно, там , де це дійсно з метою є те , що ви б також мати F♯ minorі B♭ majorт.д ..

Якщо ви не заперечуєте проти зайвого оператора, ви можете скористатися &з Data.Function. Припускаючи, що majorце функція Key -> Scale, ви можете написати C & major. Це дає Scaleзначення:

Prelude Data.Function> :t C & major
C & major :: Scale

Уже є кілька хороших відповідей, але ось рішення для стилю продовження, яке може бути корисним (можливо, не для цього конкретного прикладу, але в інших контекстах, де потрібен такий собі синтаксис зворотного застосування).

За допомогою стандартних визначень для деяких типів проблемних доменів:

data Mode = Major | Minor                 deriving (Show)
data Key = C | D | E | F | G | A | B      deriving (Show)
data Semitone = Flat | Natural | Sharp    deriving (Show)

data Note = Note Key Semitone             deriving (Show)
data Scale = Scale Note Mode              deriving (Show)
data Chord = Chord [Note]                 deriving (Show)

Ви можете ввести тип продовження:

type Cont a r = (a -> r) -> r

і записати примітивні типи побудови нотаток для створення Contтаких типів:

a, b, c :: Cont Note r
a = mkNote A
b = mkNote B
c = mkNote C
-- etc.
mkNote a f = f $ Note a Natural

flat, natural, sharp :: Note -> Cont Note r
flat    = mkSemi Flat
natural = mkSemi Natural
sharp   = mkSemi Sharp
mkSemi semi (Note k _) f = f $ Note k semi

Тоді функції побудови масштабу, ноти та акорду можуть вирішити Contтипи s до звичайних у будь-якій формі постфікса (тобто, як продовження, що передаються до Cont):

major, minor :: Note -> Scale
major n = Scale n Major
minor n = Scale n Minor

note :: Note -> Note
note = id

або форму префікса (тобто взяття Conts в якості аргументів):

chord :: [Cont Note [Note]] -> Chord
chord = Chord . foldr step []
  where step f acc = f (:acc)

Тепер ви можете написати:

> c sharp note
Note C Sharp
> c note
Note C Natural
> c major
Scale (Note C Natural) Major
> b flat note
Note B Flat
> c sharp major
Scale (Note C Sharp) Major
> chord [a sharp, c]
Chord [Note A Sharp,Note C Natural]

Зауважте, що cсам не має Showпримірника, але є c note.

Змінюючи Noteтип, ви можете легко підтримувати подвійні випадкові випадки (наприклад c sharp sharp, відмінні від d) тощо.

Але я не можу обмежитися Ключами для побудови Терезів. Вони потрібні і для інших речей (наприклад, для створення акордів). Також Key повинен бути екземпляром Show.

Ви можете використовувати майстер-класи, щоб вміло обходити це:

{-# LANGUAGE FlexibleInstances #-}

data Key = C | D | E | F | G | A | B deriving(Show)

data Mode = Major | Minor

data Scale = Scale Key Mode

class UsesKey t where
  c, d, e, f, g, a, b :: t

instance UsesKey Key where
  c = C
  d = D
  e = E
  f = F
  g = G
  a = A
  b = B

instance UsesKey (Mode -> Scale) where
  c = Scale C
  d = Scale D
  e = Scale E
  f = Scale F
  g = Scale G
  a = Scale A
  b = Scale B

aScale :: Scale
aScale = c Major

Тепер ви можете використовувати малі літери і для інших типів, визначаючи відповідні екземпляри.