]> git.donarmstrong.com Git - lilypond.git/blob - Documentation/fr/extending/scheme-tutorial.itely
Doc-fr: updates NR, Scheme tutorial, Usage, web
[lilypond.git] / Documentation / fr / extending / scheme-tutorial.itely
1 @c -*- coding: utf-8; mode: texinfo; documentlanguage: fr -*-
2
3 @ignore
4     Translation of GIT committish: 446dc1f3ac9bfff6bfee31de929698b0425da6fe
5
6     When revising a translation, copy the HEAD committish of the
7     version that you are working on.  For details, see the Contributors'
8     Guide, node Updating translation committishes..
9 @end ignore
10
11 @c \version "2.15.20"
12
13 @c Translators: Jean-Charles Malahieude
14
15 @node Tutoriel Scheme
16 @chapter Tutoriel Scheme
17
18 @cindex Scheme
19 @cindex GUILE
20 @cindex Scheme, inclusion de code
21 @cindex accéder à Scheme
22 @cindex évaluation Scheme
23 @cindex LISP
24
25 LilyPond recourt abondamment au langage de programmation Scheme, tant au
26 niveau de la syntaxe de saisie que des mécanismes internes chargés de
27 combiner les différents modules du logiciel.  Les lignes qui suivent
28 constituent un bref aperçu de la manière de saisir des données en
29 Scheme.  Si vous désirez en apprendre plus sur Scheme, n'hésitez pas à
30 vous rendre sur @uref{http://@/www@/.schemers@/.org}.
31
32 Le Scheme utilisé par LilyPond repose sur l'implémentation GNU
33 Guile ; celle-ci se base sur le standard Scheme @qq{R5RS}.  Si
34 votre but est d'apprendre Scheme au travers de LilyPond, sachez que
35 l'utilisation d'une autre implémentation ou d'un autre standard pourrait
36 être source de désagrément.  Vous trouverez plus d'information sur
37 GUILE à la page @uref{http://www.gnu.org/software/guile/} ; le
38 standard Scheme @qq{R5RS} est quant à lui disponible à la page
39 @uref{http://www.schemers.org/Documents/Standards/R5RS/}.
40
41 @menu
42 * Introduction à Scheme::
43 * Scheme et LilyPond::
44 * Construction de fonctions complexes::
45 @end menu
46
47
48 @node Introduction à Scheme
49 @section Introduction à Scheme
50 @translationof Introduction to Scheme
51
52 Nous commencerons par nous intéresser à Scheme et à son fonctionnement,
53 grâce à l'interpréteur GUILE.  Une fois plus à l'aise avec Scheme, nous
54 verrons comment ce langage peut s'intégrer à un fichier LilyPond.
55
56 @menu
57 * Le bac à sable de Scheme::
58 * Scheme et les variables::
59 * Types de données Scheme simples::
60 * Types de données Scheme composites::
61 * Scheme et les calculs::
62 * Scheme et les procédures::
63 * Scheme et les conditions::
64 @end menu
65
66
67 @node Le bac à sable de Scheme
68 @subsection Le bac à sable de Scheme
69 @translationof Scheme sandbox
70
71 L'installation de LilyPond comprend l'implémentation GUILE de Scheme.
72 La plupart des systèmes disposent d'un @qq{bac à sable} Scheme pour
73 effectuer des tests ; vous y accéderez en tapant @qq{guile} dans
74 un terminal.  Certains systèmes, notamment Windows, nécessitent d'avoir
75 auparavant créé la variable d'environnement @code{GUILE_LOAD_PATH} qui
76 devra pointer vers le répertoire @code{../usr/share/guile/1.8} de
77 l'installation de LilyPond -- pour connaître le chemin complet d'accès à
78 ce répertoire, consultez @rlearning{Autres sources de documentation}.
79 Les utilisateurs de Windows peuvent aussi prendre l'option @qq{Exécuter}
80 à partir du menu @qq{Démarrer} puis taper @qq{guile}.
81
82 Néanmoins, tous les paquetages de LilyPond disposent d'un bac à sable
83 Scheme, accessible par la commande :
84 @example
85 lilypond scheme-sandbox
86 @end example
87
88 @noindent
89 Une fois le bac à sable actif, vous obtiendrez l'invite :
90 @lisp
91 guile>
92 @end lisp
93
94 Vous pouvez dès à présent saisir des expressions Scheme pour vous
95 exercer.  Si vous souhaitez pouvoir utiliser la bibliothèque GNU
96 @code{readline}, qui offre une ligne de commande plus élaborée,
97 consultez les informations contenues dans le fichier
98 @file{ly/scheme-sandbox.ly}.  La bibliothèque @var{readline}, dans la
99 mesure où elle est habituellement activée dans vos sessions Guile,
100 devrait être effective y compris dans le bac à sable.
101
102
103 @node Scheme et les variables
104 @subsection Scheme et les variables
105 @translationof Scheme variables
106
107 Une variable Scheme peut contenir n'importe quelle valeur valide en
108 Scheme, y compris une procédure Scheme.
109
110 Une variable Scheme se crée avec la fonction @code{define} :
111
112 @lisp
113 guile> (define a 2)
114 guile>
115 @end lisp
116
117 L'évaluation d'une variable Scheme se réalise en saisissant le nom de
118 cette variable à l'invite de Guile :
119
120 @lisp
121 guile> a
122 2
123 guile>
124 @end lisp
125
126 Une variable Scheme s'affiche à l'écran à l'aide de la fonction
127 @code{display} :
128
129 @lisp
130 guile> (display a)
131 2guile>
132 @end lisp
133
134 @noindent
135 Vous aurez remarqué que la valeur @code{2} et l'invite @code{guile}
136 apparaissent sur une même ligne.  On peut améliorer la présentation à
137 l'aide de la procédure @code{newline} ou bien en affichant un caractère
138 @qq{retour chariot}.
139
140 @lisp
141 guile> (display a)(newline)
142 2
143 guile> (display a)(display "\n")
144 2
145 guile>
146 @end lisp
147
148 Après avoir créé une variable, vous pouvez en modifier la valeur grâce à
149 un @code{set!} :
150
151 @lisp
152 guile> (set! a 12345)
153 guile> a
154 12345
155 guile>
156 @end lisp
157
158 Vous quitterez proprement le bac à sable à l'aide de l'instruction
159 @code{quit} :
160
161 @lisp
162 guile> (quit)
163 @end lisp
164
165
166 @node Types de données Scheme simples
167 @subsection Types de données Scheme simples
168 @translationof Scheme simple data types
169
170 L'un des concepts de base de tout langage est la saisie de données,
171 qu'il s'agisse de nombres, de chaînes de caractères, de listes etc.
172 Voici les différents types de données Scheme simples utilisées
173 couramment dans LilyPond.
174
175 @table @asis
176 @item Booléens
177 Les valeurs booléennes sont vrai ou faux.  En Scheme, ce sera @code{#t}
178 pour vrai, et @code{#f} pour faux.
179 @funindex ##t
180 @funindex ##f
181
182 @item Nombres
183 Les nombres se saisissent le plus communément : @code{1} est le
184 nombre (entier) un, alors que @w{@code{-1.5}} est un nombre à virgule
185 flottante (un nombre non entier).
186
187 @item Chaînes
188 Les chaînes de caractères sont bornées par des guillemets
189 informatiques :
190
191 @example
192 "ceci est une chaîne"
193 @end example
194
195 Une chaîne peut s'étendre sur plusieurs lignes :
196
197 @example
198 "ceci
199 est
200 une chaîne"
201 @end example
202
203 @noindent
204 auquel cas les retours à la ligne seront inclus dans la chaîne.
205
206 Un caractère de retour à la ligne peut s'ajouter dans la chaîne, sous la
207 forme d'un @code{\n}.
208
209 @example
210 "ceci\nest une\nchaîne multiligne"
211 @end example
212
213 Guillemets et obliques inverses dans une chaîne doivent être précédés
214 d'une oblique inverse.  La chaîne @code{\a dit "b"} se saisit donc
215
216 @example
217 "\\a dit \"b\""
218 @end example
219
220 @end table
221
222 Il existe bien d'autres types de données Scheme, dont nous ne parlerons
223 pas ici.  Vous en trouverez une liste exhaustive dans le guide de
224 référence de Guile, à la page
225 @uref{http://www.gnu.org/software/guile/manual/html_node/Simple-Data-Types.html}.
226
227
228 @node Types de données Scheme composites
229 @subsection Types de données Scheme composites
230 @translationof Scheme compound data types
231
232 Scheme prend aussi en charge des types de données composites.  LilyPond
233 utilise beaucoup les paires, listes, listes associatives et tables de
234 hachage.
235
236 @subheading Paires
237
238 Le type de donnée composite fondamental est la paire (@code{pair}).
239 Comme son nom l'indique, il s'agit de lier deux valeurs, à l'aide de
240 l'opérateur @code{cons}.
241
242 @lisp
243 guile> (cons 4 5)
244 (4 . 5)
245 guile>
246 @end lisp
247
248 Vous aurez noté que la paire s'affiche sous la forme de deux éléments
249 bornés par des parenthèses et séparés par une espace, un point
250 (@code{.}) et une autre espace.  Le point n'est en aucune manière un
251 séparateur décimal ; il s'agit de l'indicateur d'une paire.
252
253 Vous pouvez aussi saisir littéralement les valeurs d'une paire, en la
254 faisant précéder d'une apostrophe.
255
256 @lisp
257 guile> '(4 . 5)
258 (4 . 5)
259 guile>
260 @end lisp
261
262 Les deux éléments d'une paire peuvent être constitués de n'importe
263 quelle valeur Scheme valide :
264
265 @lisp
266 guile> (cons #t #f)
267 (#t . #f)
268 guile> '("blah-blah" . 3.1415926535)
269 ("blah-blah" . 3.1415926535)
270 guile>
271 @end lisp
272
273 Les premier et second éléments de la paire sont accessibles à l'aide des
274 procédures Scheme @code{car} et @code{cdr}.
275
276 @lisp
277 guile> (define mypair (cons 123 "hello there")
278 ... )
279 guile> (car mypair)
280 123
281 guile> (cdr mypair)
282 "hello there"
283 guile>
284 @end lisp
285
286 @noindent
287
288 Note :  @code{cdr} se prononce @qq{couldeur}, comme l'indiquent Sussman et
289 Abelson -- voir
290 @uref{http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-14.html#footnote_Temp_133}.
291
292
293 @subheading Listes
294
295 Autre structure de donnée commune en Scheme : la liste (@emph{list}).
296 Une liste se définit comme étant vide (représentée par @code{'()}) ou
297 une paire dont le @code{cdr} est une liste.
298
299 Il existe plusieurs méthodes pour créer une liste, la plus courante
300 étant l'utilisation de la procédure @code{list} :
301
302 @lisp
303 guile> (list 1 2 3 "abc" 17.5)
304 (1 2 3 "abc" 17.5)
305 @end lisp
306
307 Comme vous le remarquez, une liste s'affiche sous la forme d'une suite
308 d'éléments séparés par une espace, bornée par des parenthèses.
309 Contrairement à une paire, il n'y a pas de point entre les éléments.
310
311 Vous pouvez aussi saisir directement une liste en entourant ses éléments
312 par des parenthèses à la suite d'une apostrophe :
313
314 @lisp
315 guile> '(17 23 "foo" "bar" "bazzle")
316 (17 23 "foo" "bar" "bazzle")
317 @end lisp
318
319 Les listes ont une importance considérable en Scheme.  Certains vont
320 d'ailleurs jusqu'à considérer Scheme comme un dialecte du lisp, où
321 @qq{lisp} serait une abréviation de @qq{List Processing}.  Il est vrai
322 que toute expression Scheme est une liste.
323
324
325 @subheading Listes associatives (alists)
326
327 Il existe un type particulier de liste : la @emph{liste associative} --
328 ou @emph{alist}.  Une @emph{alist} permet de stocker des données dans le
329 but de les réutiliser.
330
331 Une liste associative est une liste dont les éléments sont des paires.
332 Le @code{car} de chacun des éléments constitue une clé (@emph{key}) et
333 chaque @code{cdr} une valeur (@emph{value}).  La procédure Scheme
334 @code{assoc} permet de retrouver une entrée de la liste
335 associative ; son @code{cdr} en fournira la valeur :
336
337 @lisp
338 guile> (define mon-alist '((1  . "A") (2 . "B") (3 . "C")))
339 guile> mon-alist
340 ((1 . "A") (2 . "B") (3 . "C"))
341 guile> (assoc 2 mon-alist)
342 (2 . "B")
343 guile> (cdr (assoc 2 mon-alist))
344 "B"
345 guile>
346 @end lisp
347
348 LilyPond recourt abondamment aux @emph{alists} pour stocker des
349 propriétés ou autres données.
350
351
352 @subheading Tables de hachage
353
354 Il s'agit d'une structure de données à laquelle LilyPond fait parfois
355 appel.  Une table de hachage (@emph{hash table}) peut se comparer à une
356 matrice ou un tableau dont l'index peut être n'importe quel type de
357 valeur Scheme et ne se limitant pas à des nombres entiers.
358
359 Les tables de hachage sont un moyen plus efficace que les listes
360 associatives lorsqu'il s'agit d'enregistrer de nombreuses données qui ne
361 changeront que peu fréquemment.
362
363 La syntaxe permettant de créer une table de hachage peut paraître
364 complexe, mais vous en trouverez de nombreux exemples dans les sources
365 de LilyPond.
366
367 @lisp
368 guile> (define h (make-hash-table 10))
369 guile> h
370 #<hash-table 0/31>
371 guile> (hashq-set! h 'cle1 "valeur1")
372 "valeur1"
373 guile> (hashq-set! h 'key2 "valeur2")
374 "valeur2"
375 guile> (hashq-set! h 3 "valeur3")
376 "valeur3"
377 @end lisp
378
379 La procédure @code{hashq-ref} permet de récupérer une valeur dans la
380 table de hachage.
381
382 @lisp
383 guile> (hashq-ref h 3)
384 "valeur3"
385 guile> (hashq-ref h 'cle2)
386 "valeur2"
387 guile>
388 @end lisp
389
390 La procédure @code{hashq-get-handle} permet de retrouver à la fois une
391 clé et sa valeur.  Cette procédure a l'avantage de renvoyer @code{#f}
392 lorsque la clé n'existe pas.
393
394 @lisp
395 guile> (hashq-get-handle h 'cle1)
396 (cle1 . "valeur1")
397 guile> (hashq-get-handle h 'zut)
398 #f
399 guile>
400 @end lisp
401
402 @node Scheme et les calculs
403 @subsection Scheme et les calculs
404 @translationof Calculations in Scheme
405
406 @ignore
407 We have been using lists all along.  A calculation, like @code{(+ 1 2)}
408 is also a list (containing the symbol @code{+} and the numbers 1
409 and@tie{}2).  Normally lists are interpreted as calculations, and the
410 Scheme interpreter substitutes the outcome of the calculation.  To enter a
411 list, we stop the evaluation.  This is done by quoting the list with a
412 quote @code{'} symbol.  So, for calculations do not use a quote.
413
414 Inside a quoted list or pair, there is no need to quote anymore.  The
415 following is a pair of symbols, a list of symbols and a list of lists
416 respectively,
417
418 @example
419 #'(stem . head)
420 #'(staff clef key-signature)
421 #'((1) (2))
422 @end example
423 @end ignore
424
425 Scheme permet aussi d'effectuer des calculs.  Il utilise alors un
426 @emph{préfixe}.  Additionner 1 et 2 s'écrira @code{(+ 1 2)} et
427 non @math{1+2} comme on aurait pu s'y attendre.
428
429 @lisp
430 guile> (+ 1 2)
431 3
432 @end lisp
433
434 Les calculs peuvent s'imbriquer ; le résultat d'une fonction peut
435 servir pour un autre calcul.
436
437 @lisp
438 guile> (+ 1 (* 3 4))
439 13
440 @end lisp
441
442 Ces calculs sont un exemple d'évaluation : une expression telle que
443 @code{(* 3 4)} est remplacée par sa valeur, soit @code{12}.
444
445 En matière de calcul, Scheme fait la différence entre des nombres entiers
446 ou non.  Les calculs sur des nombres entiers seront exacts, alors que
447 s'il s'agit de nombres non entiers, les calculs tiendront compte de la
448 précision mentionnée :
449
450 @lisp
451 guile> (/ 7 3)
452 7/3
453 guile> (/ 7.0 3.0)
454 2.33333333333333
455 @end lisp
456
457 Lorsque l'interpréteur Scheme rencontre une expression sous forme de
458 liste, le premier élément de cette liste est considéré en tant que
459 procédure qui prendra en argument le restant de la liste.  C'est la
460 raison pour laquelle, en Scheme, tous les opérateurs sont en préfixe.
461
462 Le fait que le premier élément d'une expression Scheme sous forme de
463 liste ne soit pas un opérateur ou une procédure déclenchera une
464 erreur de la part de l'interpréteur :
465
466 @lisp
467 guile> (1 2 3)
468
469 Backtrace:
470 In current input:
471   52: 0* [1 2 3]
472
473 <unnamed port>:52:1: In expression (1 2 3):
474 <unnamed port>:52:1: Wrong type to apply: 1
475 ABORT: (misc-error)
476 guile>
477 @end lisp
478
479 Vous pouvez constater que l'interpréteur a tenté de considérer @code{1}
480 comme étant un opérateur ou une procédure, ce qu'il n'a pu réaliser.  Il
481 a donc renvoyé l'erreur @qq{Wrong type to apply: 1} (@emph{Application
482 d'un type erroné : 1}).
483
484 C'est pourquoi il est impératif, pour créer une liste, soit d'utiliser
485 l'opérateur consacré (@code{list}), soit de faire précéder la liste
486 d'une apostrophe, de telle sorte que l'interpréteur ne tente pas de
487 l'évaluer.
488
489 @lisp
490 guile> (list 1 2 3)
491 (1 2 3)
492 guile> '(1 2 3)
493 (1 2 3)
494 guile>
495 @end lisp
496
497 Vous pourrez être confronté à cette erreur lorsque vous intégrerez
498 Scheme à LilyPond.
499
500 @ignore
501 The same assignment can be done in completely in Scheme as well,
502
503 @example
504 #(define twentyFour (* 2 twelve))
505 @end example
506
507 @c this next section is confusing -- need to rewrite
508
509 The @emph{name} of a variable is also an expression, similar to a
510 number or a string.  It is entered as
511
512 @example
513 #'twentyFour
514 @end example
515
516 @funindex #'symbol
517 @cindex quoting in Scheme
518
519 The quote mark @code{'} prevents the Scheme interpreter from substituting
520 @code{24} for the @code{twentyFour}.  Instead, we get the name
521 @code{twentyFour}.
522 @end ignore
523
524
525 @node Scheme et les procédures
526 @subsection Scheme et les procédures
527 @translationof Scheme procedures
528
529 Une procédure Scheme est une expression Scheme qui renverra une valeur
530 issue de son exécution.  Les procédures Scheme sont capables de
531 manipuler des variables qui ne sont pas définies en leur sein.
532
533
534 @subheading Définition de procédures
535
536 En Scheme, on définit une procédure à l'aide de l'instruction
537 @code{define} :
538
539 @example
540 (define (nom-fonction argument1 argument2 ... argumentn)
541  expression-scheme-qui-donnera-une-valeur-en-retour)
542 @end example
543
544 Nous pourrions, par exemple, définir une procédure calculant la moyenne
545 de deux nombres :
546
547 @lisp
548 guile> (define (moyenne x y) (/ (+ x y) 2))
549 guile> moyenne
550 #<procedure moyenne (x y)>
551 @end lisp
552
553 Une fois la procédure définie, on l'appelle en la faisant suivre, dans
554 une liste, des arguments qui doivent l'accompagner.  Calculons
555 maintenant la moyenne de 3 et 12 :
556
557 @lisp
558 guile> (moyenne 3 12)
559 15/2
560 @end lisp
561
562
563 @subheading Prédicats
564
565 Une procédure Scheme chargée de retourner une valeur booléenne s'appelle
566 un @qq{prédicat} (@emph{predicate}).  Par convention, plutôt que par
567 nécessité, le nom d'un prédicat se termine par un point
568 d'interrogation :
569
570 @lisp
571 guile> (define (moins-de-dix? x) (< x 10))
572 guile> (moins-de-dix? 9)
573 #t
574 guile> (moins-de-dix? 15)
575 #f
576 @end lisp
577
578
579 @subheading Valeurs de retour
580
581 Une procédure Scheme doit toujours renvoyer une valeur de retour, en
582 l'occurrence la valeur de la dernière expression exécutée par cette
583 procédure.  La valeur de retour sera une valeur Scheme valide, y compris
584 une structure de donnée complexe ou une procédure.
585
586 On peut avoir besoin de regrouper plusieurs expressions Scheme dans une
587 même procédure.  Deux méthodes permettent de combiner des expressions
588 multiples.  La première consiste à utiliser la procédure @code{begin},
589 qui permet l'évaluation de plusieurs expressions et renvoie la valeur de
590 la dernière expression.
591
592 @lisp
593 guile> (begin (+ 1 2) (- 5 8) (* 2 2))
594 4
595 @end lisp
596
597 Une deuxième méthode consiste à combiner les expressions dans un bloc
598 @code{let}.  Ceci aura pour effet de créer une série de liens, puis
599 d'évaluer en séquence les expressions susceptibles d'inclure ces
600 liens.  La valeur renvoyée par un bloc @emph{let} est la valeur de
601 retour de la dernière clause de ce bloc :
602
603 @lisp
604 guile> (let ((x 2) (y 3) (z 4)) (display (+ x y)) (display (- z 4))
605 ... (+ (* x y) (/ z x)))
606 508
607 @end lisp
608
609
610 @node Scheme et les conditions
611 @subsection Scheme et les conditions
612 @translationof Scheme conditionals
613
614 @subheading if
615
616 Scheme dispose d'une procédure @code{if} :
617
618 @example
619 (if expression-test expression-affirmative expression-négative)
620 @end example
621
622 @var{expression-test} est une expression qui renverra une valeur
623 booléenne.  Dans le cas où @var{expression-test} retourne @code{#t}, la
624 procédure @code{if} renvoie la valeur de @var{expression-affirmative},
625 et celle de @var{expression-négative} dans le cas contraire.
626
627 @lisp
628 guile> (define a 3)
629 guile> (define b 5)
630 guile> (if (> a b) "a est plus grand que b" "a n'est pas plus grand que b")
631 "a n'est pas plus grand que b"
632 @end lisp
633
634
635 @subheading cond
636
637 Une autre manière d'introduire une condition en Scheme est d'utiliser
638 l'instruction @code{cond} :
639
640 @example
641 (cond (expression-test-1 expression-résultat-séquence-1)
642       (expression-test-2 expression-résultat-séquence-2)
643       ...
644       (expression-test-n expression-résultat-séquence-n))
645 @end example
646
647 Comme par exemple ici :
648
649 @lisp
650 guile> (define a 6)
651 guile> (define b 8)
652 guile> (cond ((< a b) "a est plus petit que b")
653 ...          ((= a b) "a égale b")
654 ...          ((> a b) "a est plus grand que b"))
655 "a est plus petit que b"
656 @end lisp
657
658
659 @node Scheme et LilyPond
660 @section Scheme et LilyPond
661 @translationof Scheme in LilyPond
662
663 @menu
664 * Syntaxe Scheme dans LilyPond::
665 * Variables LilyPond::
666 * Saisie de variables et Scheme::
667 * Import de code Scheme dans LilyPond::
668 * Propriétés des objets::
669 * Variables LilyPond composites::
670 * Représentation interne de la musique::
671 @end menu
672
673 @node Syntaxe Scheme dans LilyPond
674 @subsection Syntaxe Scheme dans LilyPond
675 @translationof LilyPond Scheme syntax
676
677 @funindex $
678 @funindex #
679
680 L'installation de LilyPond comprenant l'interpréteur Guile, les fichiers
681 source LilyPond peuvent contenir du Scheme.  Vous disposez de plusieurs
682 méthodes pour inclure du Scheme dans vos fichiers LilyPond.
683
684 La méthode la plus simple consiste à insérer un @emph{hash} (le caractère
685 @code{#}, improprement appelé dièse) avant l'expression Scheme.
686
687 Rappelons-nous qu'un fichier source LilyPond est structuré en jetons et
688 expressions, tout comme le langage humain est structuré en mots et
689 phrases.  LilyPond dispose d'un analyseur lexical (appelé @emph{lexer})
690 qui sait identifier les jetons -- nombres, chaînes, éléments Scheme,
691 hauteurs etc. -- ainsi que d'un analyseur syntaxique (appelé
692 @emph{parser}) -- voir l'annexe @ruser{Grammaire de LilyPond}.  Dès lors
693 que le programme sait quelle règle grammaticale particulière doit
694 s'appliquer, il exécute les consignes qui lui sont associées.
695
696 Le recours à un @emph{hash} pour mettre en exergue du Scheme est tout à
697 fait approprié.  Dès qu'il rencontre un @code{#}, l'analyseur lexical
698 passe le relais au lecteur Scheme qui va alors déchiffrer l'intégralité
699 de l'expression Scheme -- ce peut être un identificateur, une expression
700 bornée par des parenthèses ou bien d'autres choses encore.  Une fois
701 cette expression lue, elle est enregistrée en tant que valeur d'un
702 élément grammatical @code{SCM_TOKEN}.  Puisque l'analyseur syntaxique
703 sait comment traiter ce jeton, il charge Guile d'évaluer l'expression
704 Scheme.  Dans la mesure où le @emph{parser} requiert une lecture en
705 avance de la part du @emph{lexer} pour prendre une décision, cette
706 distinction entre lecture et évaluation -- @emph{lexer} et @emph{parser}
707 -- révèle toute sa pertinence lorsqu'il s'agit d'exécuter conjointement
708 des expressions LilyPond et des expressions Scheme.  C'est la raison
709 pour laquelle nous vous recommandons, dans toute la mesure du possible,
710 d'utiliser un signe @emph{hash} lorsque vous faites appel à Scheme.
711
712 Une autre manière de faire appel à l'interpréteur Scheme à partir de
713 LilyPond consiste à introduire une expression Scheme par un caractère
714 dollar au lieu d'un caractère dièse -- un @code{$} au lieu
715 d'un @code{#}.  En pareil cas, LilyPond évalue le code dès sa lecture
716 par l'analyseur lexical, vérifie le type d'expression Scheme qui en
717 résulte et détermine un type de jeton (l'un des @code{xxx_IDENTIFIER} de
718 la grammaire) qui lui corresponde, puis en fait une copie qui servira à
719 traiter la valeur de ce jeton.  Lorsque la valeur de l'expression est
720 @emph{void}, autrement dit une valeur Guile @code{*unspecified*} (pour
721 @emph{non spécifiée}), aucune information n'est transmise à l'analyseur
722 grammatical.
723
724 C'est, en réalité, la manière dont LilyPond opère lorsque vous rappelez
725 une variable ou une fonction par son nom -- au travers d'un @code{\nom}
726 --, à la seule différence que sa finalité est déterminée par l'analyseur
727 lexical de LilyPond sans consultation du lecteur Scheme ; le nom de
728 la variable rappelée doit donc être en corrélation avec le mode LilyPond
729 actif à ce moment là.
730
731 L'immédiateté de l'opérateur @code{$} peut entraîner des effets
732 indésirables dont nous reparlerons à la rubrique
733 @ref{Saisie de variables et Scheme} ; aussi est-il préférable
734 d'utiliser un @code{#} dès que l'analyseur grammatical le supporte.
735
736 @funindex $@@
737 @funindex #@@
738
739 Les opérateurs @code{$@@} et @code{#@@} agissent comme des « colleurs de
740 liste » : leur fonction consiste à insérer tous les éléments d'un liste
741 dans le contexte environnant.
742
743 Examinons à présent du vrai code Scheme.  Nous pouvons définir des
744 procédures Scheme au milieu d'un fichier source LilyPond :
745
746 @example
747 #(define (moyenne a b c) (/ (+ a b c) 3))
748 @end example
749
750 Pour mémoire, vous noterez que les commentaires LilyPond (@code{%} ou
751 @code{%@{ %@}}) ne peuvent s'utiliser dans du code Scheme, même si
752 celui-ci se trouve au sein d'un fichier LilyPond.  Ceci tient au fait
753 que l'expression Scheme est lue par l'interpréteur Guile, et en aucune
754 façon par l'analyseur lexical de LilyPond.  Voici comment introduire des
755 commentaires dans votre code Scheme :
756
757 @example
758 ; ceci n'est qu'une simple ligne de commentaire
759
760 #!
761   Ceci constitue un bloc de commentaire (non imbricable)
762   dans le style Guile.
763   En fait, les Schemeurs les utilisent très rarement,
764   et vous n'en trouverez jamais dans le code source
765   de LilyPond.
766 !#
767 @end example
768
769 Dans la suite de notre propos, nous partons du principe que les données
770 sont incluses dans un fichier musical, aussi toutes les expressions
771 Scheme seront introduites par un @code{#}.
772
773 Toutes les expressions Scheme de haut niveau incluses dans un fichier
774 LilyPond peuvent se combiner en une expression Scheme unique à l'aide de
775 la clause @code{begin} :
776
777 @example
778 #(begin
779   (define foo 0)
780   (define bar 1))
781 @end example
782
783
784 @node Variables LilyPond
785 @subsection Variables LilyPond
786 @translationof LilyPond variables
787
788 Les variables LilyPond sont enregistrées en interne sous la forme de
789 variables Scheme.  Ainsi,
790
791 @example
792 douze = 12
793 @end example
794
795 @noindent
796 est équivalant à
797
798 @example
799 #(define douze 12)
800 @end example
801
802 Ceci a pour conséquence que toute variable LilyPond peut être utilisée
803 dans une expression Scheme.  Par exemple, nous pourrions dire
804
805 @example
806 vingtQuatre = #(* 2 douze)
807 @end example
808
809 @noindent
810 ce qui aurait pour conséquence que le nombre 24 sera stocké dans la
811 variable LilyPond (et Scheme) @code{vingtQuatre}.
812
813 La façon habituelle de faire référence à une variable LilyPond consiste
814 à la rappeler à l'aide d'une oblique inverse -- autrement dit saisir
815 @code{\vingtQuatre}.  Dans la mesure où ceci, pour la plupart des types
816 internes de LilyPond y compris les expressions musicales, aura pour
817 effet d'en recopier la valeur, les fonctions musicales n'ont pas pour
818 habitude de créer une copie du matériau qu'elles vont modifier.  De
819 fait, une expression musicale introduite par @code{#} ne devrait pas
820 contenir de matériau inexistant auparavant ou bien littéralement
821 recopié, mais plutôt une référence explicite.
822
823
824 @node Saisie de variables et Scheme
825 @subsection Saisie de variables et Scheme
826 @translationof Input variables and Scheme
827
828 Le format de saisie prend en charge la notion de variable -- ou
829 identificateur.  Dans l'exemple suivant, une expression musicale se voit
830 attribuer un identificateur qui portera le nom de @code{traLaLa}.
831
832 @example
833 traLaLa = @{ c'4 d'4 @}
834 @end example
835
836 @noindent
837
838 Une variable a aussi une portée.  Dans l'exemple suivant, le bloc
839 @code{\layout} contient une variable @code{traLaLa} tout à fait
840 indépendante de l'autre @code{\traLaLa}.
841
842 @example
843 traLaLa = @{ c'4 d'4 @}
844 \layout @{ traLaLa = 1.0 @}
845 @end example
846
847 Dans les faits, chaque fichier a un domaine de compétence, et les
848 différents blocs @code{\header}, @code{\midi} et @code{\layout} ont leur
849 propre champ de compétence, imbriqué dans ce domaine principal.
850
851 Variables et champs de compétence sont implémentés par le système de
852 modules de Guile.  Un module anonyme Scheme est attaché à chacun de ces
853 domaines.  Une assertion telle que
854
855 @example
856 traLaLa = @{ c'4 d'4 @}
857 @end example
858
859 @noindent
860 est convertie, en interne, en une définition Scheme :
861
862 @example
863 (define traLaLa @var{valeur Scheme de `@code{... }'})
864 @end example
865
866 Cela signifie que variables LilyPond et variables Scheme peuvent tout à
867 fait se mélanger.  Dans l'exemple suivant, un fragment musical est
868 stocké dans la variable @code{traLaLa} puis dupliqué à l'aide de Scheme.
869 Le résultat est alors importé dans un bloc @code{\score} au moyen d'une
870 seconde variable @code{twice}.
871
872 @lilypond[verbatim]
873 traLaLa = { c'4 d'4 }
874
875 #(define newLa (map ly:music-deep-copy
876   (list traLaLa traLaLa)))
877 #(define twice
878   (make-sequential-music newLa))
879
880 \twice
881 @end lilypond
882
883 @c Due to parser lookahead
884
885 Cet exemple est particulièrement intéressant.  L'assignation
886 n'interviendra qu'une fois que l'analyseur grammatical aura l'assurance
887 que rien du type de @code{\addlyrics} ne suit ; il doit donc
888 vérifier ce qui vient après.  Le @emph{parser} lit le @code{#} et
889 l'expression Scheme qui le suit @strong{sans} l'évaluer, de telle sorte
890 qu'il peut procéder à l'assignation, et @strong{ensuite} exécuter le
891 code Scheme sans problème.
892
893
894 @node Import de code Scheme dans LilyPond
895 @subsection Import de code Scheme dans LilyPond
896 @translationof Importing Scheme in LilyPond
897
898 @funindex $
899 @funindex #
900
901 L'exemple précédent illustre la manière @qq{d'exporter} une expression
902 musicale à partir des saisies et à destination de l'interpréteur Scheme.
903 L'inverse est aussi réalisable : en la plaçant derrière un @code{$}, une
904 valeur Scheme sera interprétée comme si elle avait été saisie en
905 syntaxe LilyPond.  Au lieu de définir @code{\twice}, nous aurions tout
906 aussi bien pu écrire
907
908 @example
909 ...
910 $(make-sequential-music (list newLa))
911 @end example
912
913 Vous pouvez utiliser @code{$} suivi d'une expression Scheme partout où
914 vous auriez utilisé @code{\@var{nom}}, dès lors que vous aurez assigné à
915 cette expression Scheme le nom de variable @var{nom}.  La substitution
916 intervenant au niveau de l'analyseur lexical (le @emph{lexer}), LilyPond
917 ne saurait faire la différence.
918
919 Cette manière de procéder comporte cependant un inconvénient au niveau
920 de la temporisation.  Si nous avions défini @code{newLa} avec un
921 @code{$} plutôt qu'un @code{#}, la définition Scheme suivante aurait
922 échoué du fait que @code{traLaLa} n'était pas encore défini.  Pour plus
923 d'information quant au problème de synchronisation, voir la rubrique
924 @ref{Syntaxe Scheme dans LilyPond}.
925
926 @funindex $@@
927 @funindex #@@
928
929 Une autre façon de procéder serait de recourir aux « colleurs de liste »
930 @code{$@@} et @code{#@@} dont la fonction est d'insérer les éléments
931 d'une liste dans le contexte environnant.  Grâce à ces opérateurs, la
932 dernière partie de notre fonction pourrait s'écrire ainsi :
933
934 @example
935 ...
936 @{ $@@newLa @}
937 @end example
938
939 Ici, chaque élément de la liste stockée dans @code{newLa} est pris à
940 son tour et inséré dans la liste, tout comme si nous avions écrit
941
942 @example
943 @{ $(premier newLa) $(deuxième newLa) @}
944 @end example
945
946 Now in all of these forms, the Scheme code is evaluated while the
947 input is still being consumed, either in the lexer or in the parser.
948
949 Dans ces deux dernières forme, le code Scheme est évalué alors même que
950 le code initial est en cours de traitement, que ce soit par le
951 @emph{lexer} ou par le @emph{parser}.  Si le code Scheme ne doit être
952 exécuté que plus tard, consultez la rubrique
953 @ref{Fonctions Scheme fantômes}, ou stockez le dans une procédure comme
954 ici :
955
956 @example
957 #(define (nopc)
958   (ly:set-option 'point-and-click #f))
959
960 ...
961 #(nopc)
962 @{ c'4 @}
963 @end example
964
965 @knownissues
966 L'imbrication de variables Scheme et LilyPond n'est pas possible
967 avec l'option @option{--safe}.
968
969
970 @node Propriétés des objets
971 @subsection Propriétés des objets
972 @translationof Object properties
973
974 Les propriétés des objets sont stockées dans LilyPond sous la forme
975 d'enchaînements de listes associatives, autrement dit des listes de
976 listes associatives.  Une propriété se détermine par l'ajout de valeurs
977 en début de liste de cette propriété.  Les caractéristiques d'une
978 propriété s'ajustent donc à la lecture des différentes valeurs des
979 listes associatives.
980
981 La modification d'une valeur pour une propriété donnée requiert
982 l'assignation d'une valeur de la liste associative, tant pour la clé que
983 la valeur associée.  Voici comment procéder selon la syntaxe de
984 LilyPond :
985
986 @example
987 \override Stem #'thickness = #2.6
988 @end example
989
990 Cette instruction ajuste l'apparence des hampes.  Une entrée
991 @w{@code{'(thickness . 2.6)}} de la @emph{alist} est ajoutée à la liste
992 de la propriété de l'objet @code{Stem}.  @code{thickness} devant
993 s'exprimer en unité d'épaisseur de ligne, les hampes auront donc une
994 épaisseur de 2,6 ligne de portée, et à peu près le double de leur
995 épaisseur normale.  Afin de faire la distinction entre les variables que
996 vous définissez au fil de vos fichiers -- tel le @code{vingtQuatre} que
997 nous avons vu plus haut -- et les variables internes des objets, nous
998 parlerons de @qq{propriétés} pour ces dernières, et de @qq{variables}
999 pour les autres.  Ainsi, l'objet hampe possède une propriété
1000 @code{thickness}, alors que @code{vingtQuatre} est une variable.
1001
1002 @cindex propriétés ou variables
1003 @cindex variables ou propriétés
1004
1005 @c  todo -- here we're getting interesting.  We're now introducing
1006 @c  LilyPond variable types.  I think this deserves a section all
1007 @c  its own
1008
1009
1010 @node Variables LilyPond composites
1011 @subsection Variables LilyPond composites
1012 @translationof LilyPond compound variables
1013
1014 @subheading Décalages (@emph{offsets})
1015
1016 Les décalages (@emph{offset}) sur deux axes (coordonnées X et Y) sont
1017 stockés sous forme de @emph{paires}. Le @code{car} de l'offset
1018 correspond à l'abscisse (coordonnée X) et le @code{cdr} à l'ordonnée
1019 (coordonnée Y).
1020
1021 @example
1022 \override TextScript #'extra-offset = #'(1 . 2)
1023 @end example
1024
1025 Cette clause affecte la paire @code{(1 . 2)} à la propriété
1026 @code{extra-offset} de l'objet @code{TextScript}.  Ces nombres sont
1027 exprimés en espace de portée.  La commande aura donc pour effet de
1028 déplacer l'objet d'un espace de portée vers la droite, et de deux
1029 espaces vers le haut.
1030
1031 Les procédures permettant de manipuler les offsets sont regroupées dans
1032 le fichier @file{scm/lily-library.scm}.
1033
1034
1035 @subheading Fractions
1036
1037 Les fractions, tel que LilyPond les utilise, sont aussi stockées sous
1038 forme de @emph{paire}.  Alors que Scheme est tout à fait capable de
1039 représenter des nombres rationnels, vous conviendrez que, musicalement
1040 parlant, @samp{2/4} et @samp{1/2} ne se valent pas ; nous devrons
1041 donc pouvoir les distinguer.  Dans le même ordre d'idée, LilyPond ne
1042 connaît pas les @qq{fractions} négatives.  Pour ces raisons, @code{2/4}
1043 en LilyPond correspond à @code{(2 . 4)} en Scheme, et @code{#2/4} en
1044 LilyPond correspond à @code{1/2} en Scheme.
1045
1046
1047 @subheading Étendues (@emph{extents})
1048
1049 Les paires permettent aussi de stocker des intervalles qui représentent
1050 un ensemble de nombres compris entre un minimum (le @code{car}) et un
1051 maximum (le @code{cdr}).  Ces intervalles stockent l'étendue, tant au
1052 niveau horizontal (X) que vertical (Y) des objets imprimables.  En
1053 matière d'étendue sur les X, le @code{car} correspond à la coordonnée de
1054 l'extrémité gauche, et le @code{cdr} à la coordonnée de l'extrémité
1055 droite.  En matière d'étendue sur les Y, le @code{car} correspond à la
1056 coordonnée de l'extrémité basse, et le @code{cdr} à la coordonnée de
1057 l'extrémité haute.
1058
1059 Les procédures permettant de manipuler les offsets sont regroupées dans
1060 le fichier @file{scm/lily-library.scm}.  Nous vous recommandons
1061 l'utilisation de ces procédures dans toute la mesure du possible afin
1062 d'assurer la cohérence du code.
1063
1064
1065 @subheading Propriété en @emph{alists}
1066
1067 Les propriétés en @emph{alists} sont des structures de données
1068 particulières à LilyPond.  Il s'agit de listes associatives dont les
1069 clés sont des propriétés et les valeurs des expressions Scheme
1070 fournissant la valeur requise pour cette propriété.
1071
1072 Les propriétés LilyPond sont des symboles Scheme, à l'instar de
1073 @code{'thickness}.
1074
1075
1076 @subheading Chaînes d'@emph{alist}
1077
1078 Une chaîne d'@emph{alist} est une liste contenant les listes
1079 associatives d'une propriété.
1080
1081 L'intégralité du jeu de propriétés qui doivent s'appliquer à un objet
1082 graphique est en fait stocké en tant que chaîne d'@emph{alist}.  Afin
1083 d'obtenir la valeur d'une propriété particulière qu'un objet graphique
1084 devrait avoir, on examinera chacune des listes associatives de la
1085 chaîne, à la recherche d'une entrée contenant la clé de cette propriété.
1086 Est renvoyée la première entrée d'@emph{alist} trouvée, sa valeur étant
1087 la valeur de la propriété.
1088
1089 L'obtention des valeurs de propriété des objets graphiques se réalise en
1090 principe à l'aide de la procédure Scheme @code{chain-assoc-get}.
1091
1092
1093 @node Représentation interne de la musique
1094 @subsection Représentation interne de la musique
1095 @translationof Internal music representation
1096
1097 Dans les entrailles du programme, la musique se présente comme une liste
1098 Scheme.  Cette liste comporte les différents éléments qui affecteront la
1099 sortie imprimable.  L'analyse grammaticale (l'opération @emph{parsing})
1100 est le processus chargé de convertir la musique représentée par le code
1101 LilyPond en présentation interne Scheme.
1102
1103 L'analyse d'une expression musicale se traduit par un jeu d'objets
1104 musicaux en Scheme.  Une objet musical est déterminé par le temps qu'il
1105 occupe, que l'on appelle @emph{durée}.  Les durées s'expriment par des
1106 nombres rationnels représentant la longueur d'un objet musical par
1107 rapport à la ronde.
1108
1109 Un objet musical dispose de trois types :
1110 @itemize
1111 @item
1112 un nom de musique : Toute expression musicale a un nom.  Par exemple,
1113 une note amène à un @rinternals{NoteEvent}, un @code{\simultaneous} à un
1114 @rinternals{SimultaneousMusic}.  Une liste exhaustive des différentes
1115 expressions est disponible dans la référence des propriétés internes, à
1116 la rubrique @rinternals{Music expressions}.
1117
1118 @item
1119 un @qq{type} ou interface : Tout nom de musique dispose de
1120 plusieurs types ou interfaces.  Ainsi, une note est tout à la fois un
1121 @code{event}, un @code{note-event}, un @code{rhythmic-event} et un
1122 @code{melodic-event}.  Les différentes classes musicales sont
1123 répertoriées à la rubrique @rinternals{Music classes} de la référence
1124 des propriétés internes.
1125
1126 @item
1127 un objet C++ : Tout objet musical est représenté par un objet de la
1128 classe C++ @code{Music}.
1129 @end itemize
1130
1131 L'information réelle d'une expression musicale est enregistrée sous
1132 forme de propriétés.  Par exemple, un @rinternals{NoteEvent} dispose des
1133 propriétés @code{pitch} et @code{duration}, respectivement chargées de
1134 stocker la hauteur et la durée de cette note.  Les différentes
1135 propriétés sont répertoriées à la rubrique @rinternals{Music properties}
1136 de la référence des propriétés internes.
1137
1138 Une expression composite est un objet musical dont les propriétés
1139 contiennent d'autres objets musicaux.  S'il s'agit d'une liste d'objets,
1140 elle sera stockée dans la propriété @code{elements} d'un objet
1141 musical ; s'il n'y a qu'un seul objet @qq{enfant}, il sera stocké
1142 dans la propriété @code{element}.  Ainsi, par exemple, les enfants de
1143 @rinternals{SequentialMusic} iront dans @code{elements}, alors que
1144 l'argument unique de @rinternals{GraceMusic} ira dans @code{element}.
1145 De même, le corps d'une répétition ira dans la propriété @code{element}
1146 d'un @rinternals{RepeatedMusic}, les alternatives quant à elles dans la
1147 propriété @code{elements}.
1148
1149
1150 @node Construction de fonctions complexes
1151 @section Construction de fonctions complexes
1152 @translationof Building complicated functions
1153
1154 Nous allons voir dans cette partie les moyens dont vous disposez pour
1155 obtenir les informations qui vous permettront de créer vos propres
1156 fonctions musicales complexes.
1157
1158 @menu
1159 * Affichage d'expressions musicales::
1160 * Propriétés musicales::
1161 * Doublement d'une note avec liaison (exemple)::
1162 * Ajout d'articulation à des notes (exemple)::
1163 @end menu
1164
1165
1166 @node Affichage d'expressions musicales
1167 @subsection Affichage d'expressions musicales
1168 @translationof Displaying music expressions
1169
1170 @cindex stockage interne
1171 @cindex expression musicale, affichage
1172 @cindex représentation interne, affichage
1173 @cindex displayMusic
1174 @funindex \displayMusic
1175
1176 Lorsque l'on veut écrire une fonction musicale, il est intéressant
1177 d'examiner comment une expression musicale est représentée en interne.
1178 Vous disposez à cet effet de la fonction musicale @code{\displayMusic}.
1179
1180 @example
1181 @{
1182   \displayMusic @{ c'4\f @}
1183 @}
1184 @end example
1185
1186 @noindent
1187 affichera
1188
1189 @example
1190 (make-music
1191   'SequentialMusic
1192   'elements
1193   (list (make-music
1194           'NoteEvent
1195           'articulations
1196           (list (make-music
1197                   'AbsoluteDynamicEvent
1198                   'text
1199                   "f"))
1200           'duration
1201           (ly:make-duration 2 0 1 1)
1202           'pitch
1203           (ly:make-pitch 0 0 0))))
1204 @end example
1205
1206 Par défaut, LilyPond affichera ces messages sur la console, parmi toutes
1207 les autres informations.  Vous pouvez, afin de les isoler et de garder
1208 le résultat des commandes @code{\display@{TRUC@}}, rediriger la sortie
1209 vers un fichier :
1210
1211 @example
1212 lilypond file.ly >display.txt
1213 @end example
1214
1215 Un peu de Scheme combiné à notre code LilyPond, et les seules
1216 informations qui nous intéressent se retrouveront directement dans un
1217 fichier indépendant :
1218
1219 @example
1220 @{
1221   $(with-output-to-file "display.txt"
1222       (lambda () #@{ \displayMusic @{ c'4\f @} #@}))
1223 @}
1224 @end example
1225
1226 L'information sera encore plus lisible après un peu de mise en forme :
1227
1228 @example
1229 (make-music 'SequentialMusic
1230   'elements (list
1231              (make-music 'NoteEvent
1232                'articulations (list
1233                                (make-music 'AbsoluteDynamicEvent
1234                                  'text
1235                                  "f"))
1236                'duration (ly:make-duration 2 0 1 1)
1237                'pitch    (ly:make-pitch 0 0 0))))
1238 @end example
1239
1240 Une séquence musicale @code{@{ ... @}} se voit attribuer le nom de
1241 @code{SequentialMusic}, et les expressions qu'elle contient sont
1242 enregistrées en tant que liste dans sa propriété @code{'elements}.  Une
1243 note est représentée par un objet @code{NoteEvent} -- contenant les
1244 propriétés de durée et hauteur -- ainsi que l'information qui lui est
1245 attachée -- en l'occurrence un @code{AbsoluteDynamicEvent} ayant une
1246 propriété @code{text} de valeur @code{"f"} -- et stockée dans sa
1247 propriété @code{articulations}.
1248
1249 @funindex{\void}
1250 La fonction @code{\displayMusic} renvoie la musique qu'elle
1251 affiche ; celle-ci sera donc aussi interprétée.  L'insertion d'une
1252 commande @code{\void} avant le @code{\displayMusic} permet de
1253 s'affranchir de la phase d'interprétation.
1254
1255
1256 @node Propriétés musicales
1257 @subsection Propriétés musicales
1258 @translationof Music properties
1259
1260 Nous abordons ici les propriétés @emph{music}, et non pas les propriétés
1261 @emph{context} ou @emph{layout}.
1262
1263 Partons de cet exemple simple@tie{}:
1264
1265 @example
1266 someNote = c'
1267 \displayMusic \someNote
1268 ===>
1269 (make-music
1270   'NoteEvent
1271   'duration
1272   (ly:make-duration 2 0 1 1)
1273   'pitch
1274   (ly:make-pitch 0 0 0))
1275 @end example
1276
1277 L'objet @code{NoteEvent} est la représentation brute de @code{someNote}.
1278 Voyons ce qui se passe lorsque nous plaçons ce @notation{c'} dans une
1279 construction d'accord :
1280
1281 @example
1282 someNote = <c'>
1283 \displayMusic \someNote
1284 ===>
1285 (make-music
1286   'EventChord
1287   'elements
1288   (list (make-music
1289           'NoteEvent
1290           'duration
1291           (ly:make-duration 2 0 1 1)
1292           'pitch
1293           (ly:make-pitch 0 0 0))))
1294 @end example
1295
1296 L'objet @code{NoteEvent} est maintenant le premier objet de la propriété
1297 @code{'elements} de @code{someNote}.
1298
1299 @code{\displayMusic} utilise la fonction @code{display-scheme-music}
1300 pour afficher la représentation en Scheme d'une expression musicale :
1301
1302 @example
1303 #(display-scheme-music (first (ly:music-property someNote 'elements)))
1304 ===>
1305 (make-music
1306   'NoteEvent
1307   'duration
1308   (ly:make-duration 2 0 1 1)
1309   'pitch
1310   (ly:make-pitch 0 0 0))
1311 @end example
1312
1313 La hauteur de la note est accessible au travers de la propriété
1314 @code{'pitch} de l'objet @code{NoteEvent} :
1315
1316 @example
1317 #(display-scheme-music
1318    (ly:music-property (first (ly:music-property someNote 'elements))
1319                       'pitch))
1320 ===>
1321 (ly:make-pitch 0 0 0)
1322 @end example
1323
1324 La hauteur de la note se modifie en définissant sa propriété
1325 @code{'pitch}@tie{}:
1326
1327 @funindex \displayLilyMusic
1328
1329 @example
1330 #(set! (ly:music-property (first (ly:music-property someNote 'elements))
1331                           'pitch)
1332        (ly:make-pitch 0 1 0)) ;; set the pitch to d'.
1333 \displayLilyMusic \someNote
1334 ===>
1335 d'
1336 @end example
1337
1338
1339 @node Doublement d'une note avec liaison (exemple)
1340 @subsection Doublement d'une note avec liaison (exemple)
1341 @translationof Doubling a note with slurs (example)
1342
1343 Supposons que nous ayons besoin de créer une fonction transformant une
1344 saisie @code{a} en @w{@code{@{ a( a) @}}}.  Commençons par examiner
1345 comment le résultat est représenté en interne.
1346
1347 @example
1348 \displayMusic@{ a'( a') @}
1349 ===>
1350 (make-music
1351   'SequentialMusic
1352   'elements
1353   (list (make-music
1354           'NoteEvent
1355           'articulations
1356           (list (make-music
1357                   'SlurEvent
1358                   'span-direction
1359                   -1))
1360           'duration
1361           (ly:make-duration 2 0 1 1)
1362           'pitch
1363           (ly:make-pitch 0 5 0))
1364         (make-music
1365           'NoteEvent
1366           'articulations
1367           (list (make-music
1368                   'SlurEvent
1369                   'span-direction
1370                   1))
1371           'duration
1372           (ly:make-duration 2 0 1 1)
1373           'pitch
1374           (ly:make-pitch 0 5 0))))
1375 @end example
1376
1377 Mauvaise nouvelle ! Les expressions @code{SlurEvent} doivent
1378 s'ajouter @qq{à l'intérieur} de la note -- dans sa propriété
1379 @code{articulations}.
1380
1381 Examinons à présent la saisie :
1382
1383 @example
1384 \displayMusic a'
1385 ===>
1386 (make-music
1387   'NoteEvent
1388   'duration
1389   (ly:make-duration 2 0 1 1)
1390   'pitch
1391   (ly:make-pitch 0 5 0))))
1392 @end example
1393
1394 Nous aurons donc besoin, dans notre fonction, de cloner cette expression
1395 -- de telle sorte que les deux notes constituent la séquence -- puis
1396 d'ajouter un @code{SlurEvent} à la propriété @code{'articulations} de
1397 chacune d'elles, et enfin réaliser un @code{SequentialMusic} de ces deux
1398 @code{EventChords}.  En tenant compte du fait que, dans le cadre d'un
1399 ajout, une propriété non définie est lue @code{'()} (une liste vide),
1400 aucune vérification n'est requise avant d'introduire un nouvel élément
1401 en tête de la propriété @code{articulations}.
1402
1403 @example
1404 doubleSlur = #(define-music-function (parser location note) (ly:music?)
1405          "Renvoie : @{ note ( note ) @}.
1406          `note' est censé être une note unique."
1407          (let ((note2 (ly:music-deep-copy note)))
1408            (set! (ly:music-property note 'articulations)
1409                  (cons (make-music 'SlurEvent 'span-direction -1)
1410                        (ly:music-property note 'articulations)))
1411            (set! (ly:music-property note2 'articulations)
1412                  (cons (make-music 'SlurEvent 'span-direction 1)
1413                        (ly:music-property note2 'articulations)))
1414            (make-music 'SequentialMusic 'elements (list note note2))))
1415 @end example
1416
1417
1418 @node Ajout d'articulation à des notes (exemple)
1419 @subsection Ajout d'articulation à des notes (exemple)
1420 @translationof Adding articulation to notes (example)
1421
1422 Le moyen d'ajouter une articulation à des notes consiste à fusionner
1423 deux expressions musicales en un même contexte, comme nous l'avons vu à
1424 la rubrique @ruser{Création d'un contexte}.  L'option de réaliser
1425 nous-mêmes une fonction musicale à cette fin nous offre l'avantage de
1426 pouvoir alors ajouter une articulation, telle qu'une instruction de
1427 doigté, individuellement à l'une des notes d'un accord, ce qui est
1428 impossible dans le cadre d'une simple fusion de musique indépendante.
1429
1430 Un @code{$variable} au milieu de la notation @code{#@{...#@}} se
1431 comporte exactement comme un banal @code{\variable} en notation LilyPond
1432 traditionnelle.  Nous savons déjà que
1433
1434 @example
1435 @{ \musique -. -> @}
1436 @end example
1437
1438 @noindent
1439 n'est pas admis par LilyPond.  Nous pourrions tout à fait contourner ce
1440 problème en attachant l'articulation à un accord vide,
1441
1442 @example
1443 @{ << \musique <> -. -> >> @}
1444 @end example
1445
1446 @noindent
1447 mais, pour les besoins de la démonstration, nous allons voir comment
1448 réaliser ceci en Scheme.  Commençons par examiner une saisie simple et
1449 le résultat auquel nous désirons aboutir :
1450
1451 @example
1452 %  saisie
1453 \displayMusic c4
1454 ===>
1455 (make-music
1456   'NoteEvent
1457   'duration
1458   (ly:make-duration 2 0 1 1)
1459   'pitch
1460   (ly:make-pitch -1 0 0))))
1461 =====
1462 %  résultat attendu
1463 \displayMusic c4->
1464 ===>
1465 (make-music
1466   'NoteEvent
1467   'articulations
1468   (list (make-music
1469           'ArticulationEvent
1470           'articulation-type
1471           "accent"))
1472   'duration
1473   (ly:make-duration 2 0 1 1)
1474   'pitch
1475   (ly:make-pitch -1 0 0))
1476 @end example
1477
1478 Nous voyons qu'une note (@code{c4}) est représentée par une expression
1479 @code{NoteEvent}.  Si nous souhaitons ajouter une articulation
1480 @notation{accent}, nous devrons ajouter une expression
1481 @code{ArticulationEvent} à la propriété @code{articulations} de
1482 l'expression @code{NoteEvent}.
1483
1484 Construisons notre fonction en commençant par
1485
1486 @example
1487 (define (ajoute-accent note-event)
1488   "Ajoute un accent (ArticulationEvent) aux articulations de `note-event',
1489   qui est censé être une expression NoteEvent."
1490   (set! (ly:music-property note-event 'articulations)
1491         (cons (make-music 'ArticulationEvent
1492                 'articulation-type "accent")
1493               (ly:music-property note-event 'articulations)))
1494   note-event)
1495 @end example
1496
1497 La première ligne est la manière de définir une fonction en Scheme : la
1498 fonction Scheme a pour nom @code{ajoute-accent} et elle comporte une
1499 variable appelée @code{note-event}.  En Scheme, le type d'une variable
1500 se déduit la plupart de temps de par son nom -- c'est d'ailleurs une
1501 excellente pratique que l'on retrouve dans de nombreux autres langages.
1502
1503 @example
1504 "Ajoute un accent..."
1505 @end example
1506
1507 @noindent
1508 décrit ce que fait la fonction.  Bien que ceci ne soit pas primordial,
1509 tout comme des noms de variable évidents, tâchons néanmoins de prendre
1510 de bonnes habitudes dès nos premiers pas.
1511
1512 Vous pouvez vous demander pourquoi nous modifions directement
1513 l'événement note plutôt que d'en manipuler une copie -- on pourrait
1514 utiliser @code{ly:music-deep-copy} à cette fin.  La raison en est qu'il
1515 existe un contrat tacite : les fonctions musicales sont autorisées
1516 à modifier leurs arguments -- ils sont générés en partant de zéro (comme
1517 les notes que vous saisissez) ou déjà recopiés (faire référence à une
1518 variable musicale avec @samp{\name} ou à de la musique issue
1519 d'expressions Scheme @samp{$(@dots{})} aboutit à une copie).  Dans la
1520 mesure où surmultiplier les copies serait contre productif, la valeur de
1521 retour d'une fonction musicale n'est @strong{pas} recopiée.  Afin de
1522 respecter ce contrat, n'utilisez pas un même argument à plusieurs
1523 reprises, et n'oubliez pas que le retourner compte pour une utilisation.
1524
1525 Dans un exemple précédent, nous avons construit de la musique en
1526 répétant un certain argument musical.  Dans ce cas là, l'une des
1527 répétitions se devait d'être une copie.  Dans le cas contraire,
1528 certaines bizarreries auraient pu survenir.  Par exemple, la présence
1529 d'un @code{\relative} ou d'un @code{\transpose}, après plusieurs
1530 répétitions du même élément, entraînerait des @qq{relativisations} ou
1531 transpositions en cascade.  Si nous les assignons à une variable
1532 musicale, l'enchaînement est rompu puisque la référence à @samp{\nom}
1533 créera une nouvelle copie sans toutefois prendre en considération
1534 l'identité des éléments répétés.
1535
1536 Cette fonction n'étant pas une fonction musicale à part entière, elle
1537 peut s'utiliser dans d'autres fonctions musicales.  Il est donc sensé de
1538 respecter le même contrat que pour les fonctions musicales :
1539 l'entrée peut être modifiée pour arriver à une sortie, et il est de la
1540 responsabilité de l'appelant d'effectuer des copies s'il a réellement
1541 besoin de l'argument dans son état originel.  Vous constaterez, à la
1542 lecture des fonctions propres à LilyPond, comme @code{music-map}, que ce
1543 principe est toujours respecté.
1544
1545 Revenons à nos moutons@dots{} Nous disposons maintenant d'un
1546 @code{note-event} que nous pouvons modifier, non pas grâce à un
1547 @code{ly:music-deep-copy}, mais plutôt en raison de notre précédente
1548 réflexion.  Nous ajoutons @notation{l'accent} à la liste de ses
1549 propriétés @code{'articulations}.
1550
1551 @example
1552 (set! emplacement nouvelle-valeur)
1553 @end example
1554
1555 L'emplacement est ce que nous voulons ici définir.  Il s'agit de la
1556 propriété @code{'articulations} de l'expression @code{note-event}.
1557
1558 @example
1559 (ly:music-property note-event 'articulations)
1560 @end example
1561
1562 La fonction @code{ly:music-property} permet d'accéder aux propriétés
1563 musicales -- les @code{'articulations}, @code{'duration}, @code{'pitch}
1564 etc. que @code{\displayMusic} nous a indiquées.  La nouvelle valeur sera
1565 l'ancienne propriété @code{'articulations}, augmentée d'un
1566 élément : l'expression @code{ArticulationEvent}, que nous
1567 recopions à partir des informations de @code{\displayMusic}.
1568
1569 @example
1570 (cons (make-music 'ArticulationEvent
1571         'articulation-type "accent")
1572       (ly:music-property result-event-chord 'articulations))
1573 @end example
1574
1575 @code{cons} permet d'ajouter un élément en tête de liste sans pour
1576 autant modifier la liste originale.  C'est exactement ce que nous
1577 recherchons : la même liste qu'auparavant, plus la nouvelle
1578 expression @code{ArticulationEvent}.  L'ordre au sein de la propriété
1579 @code{'articulations} n'a ici aucune importance.
1580
1581 Enfin, après avoir ajouté l'articulation @notation{accent} à sa
1582 propriété @code{articulations}, nous pouvons renvoyer le
1583 @code{note-event}, ce que réalise la dernière ligne de notre fonction.
1584
1585 Nous pouvons à présent transformer la fonction @code{ajoute-accent} en
1586 fonction musicale, à l'aide d'un peu d'enrobage syntaxique et mention du
1587 type de son unique argument @qq{réel}.
1588
1589 @example
1590 ajouteAccent = #(define-music-function (parser location note-event)
1591                                         (ly:music?)
1592   "Ajoute un accent (ArticulationEvent) aux articulations de `note-event',
1593   qui est censé être une expression NoteEvent."
1594   (set! (ly:music-property note-event 'articulations)
1595         (cons (make-music 'ArticulationEvent
1596                 'articulation-type "accent")
1597               (ly:music-property note-event 'articulations)))
1598   note-event)
1599 @end example
1600
1601 Par acquis de conscience, vérifions que tout ceci fonctione :
1602
1603 @example
1604 \displayMusic \ajouteAccent c4
1605 @end example
1606
1607
1608
1609 @ignore
1610 @menu
1611 * Tweaking with Scheme::
1612 @end menu
1613
1614 @c @nod e Tweaking with Scheme
1615 @c @sectio n Tweaking with Scheme
1616
1617 We have seen how LilyPond output can be heavily modified using
1618 commands like
1619 @code{\override TextScript #'extra-offset = ( 1 . -1)}.  But
1620 we have even more power if we use Scheme.  For a full explanation
1621 of this, see the @ref{Scheme tutorial}, and
1622 @ref{Interfaces for programmers}.
1623
1624 We can use Scheme to simply @code{\override} commands,
1625
1626 TODO Find a simple example
1627 @c This isn't a valid example with skylining
1628 @c It works fine without padText  -td
1629 @end ignore
1630
1631 @ignore
1632 @lilypond[quote,verbatim,ragged-right]
1633 padText = #(define-music-function (parser location padding) (number?)
1634 #{
1635   \once \override TextScript #'padding = #padding
1636 #})
1637
1638 \relative c''' {
1639   c4^"piu mosso" b a b
1640   \padText #1.8
1641   c4^"piu mosso" d e f
1642   \padText #2.6
1643   c4^"piu mosso" fis a g
1644 }
1645 @end lilypond
1646 @end ignore
1647
1648 @ignore
1649 We can use it to create new commands:
1650
1651 @c Check this is a valid example with skylining
1652 @c It is - 'padding still works
1653
1654
1655 @lilypond[quote,verbatim,ragged-right]
1656 tempoPadded = #(define-music-function (parser location padding tempotext)
1657   (number? string?)
1658 #{
1659   \once \override Score.MetronomeMark #'padding = $padding
1660   \tempo \markup { \bold #tempotext }
1661 #})
1662
1663 \relative c'' {
1664   \tempo \markup { "Low tempo" }
1665   c4 d e f g1
1666   \tempoPadded #4.0 #"High tempo"
1667   g4 f e d c1
1668 }
1669 @end lilypond
1670
1671
1672 Even music expressions can be passed in:
1673
1674 @lilypond[quote,verbatim,ragged-right]
1675 pattern = #(define-music-function (parser location x y) (ly:music? ly:music?)
1676 #{
1677   $x e8 a b $y b a e
1678 #})
1679
1680 \relative c''{
1681   \pattern c8 c8\f
1682   \pattern {d16 dis} { ais16-> b\p }
1683 }
1684 @end lilypond
1685 @end ignore