संगीत की शुद्धता की जाँच के लिए टाइप सिस्टम की जाँच

(def row-row-row-your-boat
  (phrase [3/3 3/3 2/3 1/3 3/3]
          [  0   0   0   1   2]))

->> row-row-row-your-boat
  (canon (simple 4))
  (where :pitch (comp C major))
  (where :time (bpm 90))
  play)

Prescriptivism

• कैनन सीखना
• पैटर्न की परिभाषा
• उन्हें नियमों के एक समूह के रूप में तैयार करना

इन नियमों का पालन नहीं करने वाला संगीत गलत है।

Descriptivism

• संगीत के शरीर की खोज
• रुझानों को पहचानें
• हम उन्हें एक मॉडल के रूप में तैयार करते हैं

मॉडल से भटकना संगीत असामान्य है।

• संगीत सांख्यिकीय प्रशिक्षण के माध्यम से वर्गीकृत किया गया है
• आप सही पूर्वानुमान से प्रसन्न हैं
• नवीनता आपको ऊब नहीं होने देती

 ->  ->  ->  = 2,20 + 2,71 + 5,94 = 10,85 
 ->  ->  ->  = 2,48 + 7,43 + 5,94 = 15,85 

टाइप किए हुए नोट्स

1. प्रति (इस सेट से सबसे कम नोट)
2. फिर से
3. एम आई
4. एफ
5. नमक
6. ला
7. सी
8. अब (एक सप्तक उच्च)

data Solfege = Do | Re | Mi | Fa | So | La | Ti

repeat : Nat -> Solfege -> List Solfege
repeat 0 s = [s]
repeat n s = s :: repeat (n - 1) s

टाइप किए गए बदलाव

comp = defScore $ start $ melody :| c :| d :| e :| f :>> g

comp = defScore $ start $ melody :| c :| b :| e :| f :>> g

Major sevenths are not permitted in melody: C and B
In the first argument of ‘(:|)’, namely ‘melody :| c :| b’
In the first argument of ‘(:|)’, namely ‘melody :| c :| b :| e’
In the first argument of ‘(:>>)’, namely
    ‘melody :| c :| b :| e :| f_’

काम लगभग पूरी तरह से हस्तांतरित किया गया था, लेकिन कभी-कभी कुछ नोटों को छोड़ना आवश्यक था, क्योंकि उन्होंने निषिद्ध अंतराल बनाया था जो मेज़ो ने इंगित किया था।

टाइप एन्ट्रापी

• Pure: एक नोट से एक मेलोडी के निर्माण को दर्शाती है, जिसमें ऊपरी और निचले एंट्रोपी स्तर शून्य के बराबर है।
• (>>=): दो धुन लेता है और दूसरी धुन के अंत में एक नोट से पहली धुन के अंत में एक नोट से स्विच करने की लागत के साथ अपनी एन्ट्रापी सीमाओं को जोड़ता है।
• Relax: एक राग लेता है और एन्ट्रापी की अपनी सीमाओं का विस्तार करता है।

data Melody : (Solfege, Solfege) -> (Nat, Nat) -> Type where

  Pure  : x -> Melody (x, x) (0, 0)

  (>>=) : Melody (w, x) (low, high) ->
          (() -> Melody (y, z) (low2, high2)) ->
          Melody (w, z) (cost x y + low + low2, cost x y + high + high2)

  Relax : Melody (x, y) (low + dl, high) ->
          Melody (x, y) (low, high + dh)

conventional : Melody (Do, So) (8, 16)
conventional = Relax $ do
  Pure Do
  Pure Re
  Pure Mi
  Pure Fa
  Pure So

unconventional : Melody (Do, So) (8, 24)
unconventional = Relax $ do
  Pure Do
  Pure Ti
  Pure Mi
  Pure Fa
  Pure So

सत्यापित करना महत्वपूर्ण लेकिन मुश्किल है