]> git.donarmstrong.com Git - lilypond.git/blob - Documentation/fr/extending/scheme-tutorial.itely
Merge branch 'lilypond/translation' into staging
[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: 3c62ac104645533873bba800f7b0f371089f535a
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, in-line code
21 @cindex accessing Scheme
22 @cindex evaluating 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@tie{}; 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/}@tie{}; 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@tie{}; 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@tie{}:
84 @example
85 lilypond scheme-sandbox
86 @end example
87
88 @noindent
89 Une fois le bac à sable actif, vous obtiendrez l'invite@tie{}:
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 pourvoir 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}@tie{}:
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@tie{}:
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}@tie{}:
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!}@tie{}:
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}@tie{}:
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@tie{}: @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@tie{}:
190
191 @example
192 "ceci est une chaîne"
193 @end example
194
195 Une chaîne peut s'étendre su plusieurs lignes@tie{}:
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ée 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@tie{}; 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@tie{}:
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@tie{}: la liste
296 (@emph{list}).  Une liste se définit comme étant vide (représentée par
297 @code{'()}) ou 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}@tie{}:
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@tie{}:
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@tie{}: la @emph{liste
328 associative} -- ou @emph{alist}.  Une @emph{alist} permet de stocker des
329 données dans le 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@tie{}; son @code{cdr} en fournira la valeur@tie{}:
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@tie{}2 s'écrira @w{@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@tie{}; 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@tie{}: une expression telle que
443 @w{@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@tie{}:
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@tie{}:
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é@tie{}: 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}@tie{}:
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@tie{}:
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@tie{}:
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@tie{}:
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@tie{}:
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}@tie{}:
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}@tie{}:
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@tie{}:
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 * Propriétés des objets::
668 * Variables LilyPond composites::
669 * Représentation interne de la musique::
670 @end menu
671
672 @node Syntaxe Scheme dans LilyPond
673 @subsection Syntaxe Scheme dans LilyPond
674 @translationof LilyPond Scheme syntax
675
676 @funindex $
677 @funindex #
678
679 L'installation de LilyPond comprenant l'interpréteur Guile, les fichiers
680 source LilyPond peuvent contenir du Scheme.  Vous disposez de plusieurs
681 méthodes pour inclure du Scheme dans vos fichiers LilyPond.
682
683 La méthode la plus simple consiste à insérer un @emph{hash} (le caractère
684 @code{#}, improprement appelé dièse) avant l'expression Scheme.
685
686 Rappelons-nous qu'un fichier source LilyPond est structuré en jetons et
687 expressions, tout comme le langage humain est structuré en mots et
688 phrases.  LilyPond dispose d'un analyseur lexical (appelé @emph{lexer})
689 qui sait identifier les jetons -- nombres, chaînes, éléments Scheme,
690 hauteurs etc. -- ainsi que d'un analyseur syntaxique (appelé
691 @emph{parser}) -- voir l'annexe @ruser{Grammaire de LilyPond}.  Dès lors
692 que le programme sait quelle règle grammaticale particulière doit
693 s'appliquer, il exécute les consignes qui lui sont associées.
694
695 Le recours à un @emph{hash} pour mettre en exergue du Scheme est tout à
696 fait approprié.  Dès qu'il rencontre un @code{#}, l'analyseur lexical
697 passe le relais au lecteur Scheme qui va alors déchiffrer l'intégralité
698 de l'expression Scheme -- ce peut être un identificateur, une expression
699 bornée par des parenthèses ou bien d'autres choses encore.  Une fois
700 cette expression lue, elle est enregistrée en tant que valeur d'un
701 élément grammatical @code{SCM_TOKEN}.  Puisque l'analyseur syntaxique
702 sait comment traiter ce jeton, il charge Guile d'évaluer l'expression
703 Scheme.  Dans la mesure où le @emph{parser} requiert une lecture en
704 avance de la part du @emph{lexer} pour prendre une décision, cette
705 distinction entre lecture et évaluation -- @emph{lexer} et @emph{parser}
706 -- révèle toute sa pertinence lorsqu'il s'agit d'exécuter conjointement
707 des expressions LilyPond et des expressions Scheme.  C'est la raison
708 pour laquelle nous vous recommandons, dans toute la mesure du possible,
709 d'utiliser un signe @emph{hash} lorsque vous faites appel à Scheme.
710
711 Une autre manière de faire appel à l'interpréteur Scheme à partir de
712 LilyPond consiste à introduire une expression Scheme par un caractère
713 dollar au lieu d'un caractère dièse -- un@tie{}@code{$} au lieu
714 d'un@tie{}@code{#}.  En pareil cas, LilyPond évalue le code dès sa
715 lecture par l'analyseur lexical, vérifie le type d'expression Scheme qui
716 en résulte et détermine un type de jeton (l'un des @code{xxx_IDENTIFIER}
717 de la grammaire) qui lui corresponde, puis en fait une copie qui servira
718 à traiter la valeur de ce jeton.  Lorsque la valeur de l'expression est
719 @emph{void}, autrement dit une valeur Guile @code{*unspecified*}
720 (pour @emph{non spécifiée}), aucune information n'est transmise à
721 l'analyseur grammatical.
722
723 C'est, en réalité, la manière dont LilyPond opère lorsque vous rappelez
724 une variable ou une fonction par son nom -- au travers d'un @code{\nom}
725 --, à la seule différence que sa finalité est déterminée par l'analyseur
726 lexical de LilyPond sans consultation du lecteur Scheme@tie{}; le nom de
727 la variable rappelée doit donc être en corrélation avec le mode LilyPond
728 actif à ce moment là.
729
730 L'immédiateté de l'opérateur @code{$} peut entraîner des effets
731 indésirables dont nous reparlerons à la rubrique
732 @ref{Saisie de variables et Scheme}@tie{}; aussi est-il préférable
733 d'utiliser un @code{#} dès que l'analyseur grammatical le supporte.
734
735 Examinons à présent du vrai code Scheme.  Nous pouvons définir des
736 procédures Scheme au milieu d'un fichier source LilyPond@tie{}:
737
738 @example
739 #(define (moyenne a b c) (/ (+ a b c) 3))
740 @end example
741
742 Pour mémoire, vous noterez que les commentaires LilyPond (@code{%} ou
743 @code{%@{ %@}}) ne peuvent s'utiliser dans du code Scheme, même si
744 celui-ci se trouve au sein d'un fichier LilyPond.  Ceci tient au fait
745 que l'expression Scheme est lue par l'interpréteur Guile, et en aucune
746 façon par l'analyseur lexical de LilyPond.  Voici comment introduire des
747 commentaires dans votre code Scheme@tie{}:
748
749 @example
750 ; ceci n'est qu'une simple ligne de commentaire
751
752 #!
753   Ceci constitue un bloc de commentaire (non imbricable)
754   dans le style Guile.
755   En fait, les Schemeurs les utilisent très rarement,
756   et vous n'en trouverez jamais dans le code source
757   de LilyPond.
758 !#
759 @end example
760
761 Dans la suite de notre propos, nous partons du principe que les données
762 sont incluses dans un fichier musical, aussi toutes les expressions
763 Scheme seront introduites par un@code{#}.
764
765 Toutes les expressions Scheme de haut niveau incluses dans un fichier
766 LilyPond peuvent se combiner en une expression Scheme unique à l'aide de
767 la clause @code{begin}@tie{}:
768
769 @example
770 #(begin
771   (define foo 0)
772   (define bar 1))
773 @end example
774
775
776 @node Variables LilyPond
777 @subsection Variables LilyPond
778 @translationof LilyPond variables
779
780 Les variables LilyPond sont enregistrées en interne sous la forme de
781 variables Scheme.  Ainsi,
782
783 @example
784 douze = 12
785 @end example
786
787 @noindent
788 est équivalant à
789
790 @example
791 #(define douze 12)
792 @end example
793
794 Ceci a pour conséquence que toute variable LilyPond peut être utilisée
795 dans une expression Scheme.  Par exemple, nous pourrions dire
796
797 @example
798 vingtQuatre = #(* 2 douze)
799 @end example
800
801 @noindent
802 ce qui aurait pour conséquence que le nombre 24 sera stocké dans la
803 variable LilyPond (et Scheme) @code{vingtQuatre}.
804
805 La façon habituelle de faire référence à une variable LilyPond consiste
806 à la rappeler à l'aide d'une oblique inverse -- autrement dit saisir
807 @code{\vingtQuatre}.  Dans la mesure où ceci, pour la plupart des types
808 internes de LilyPond y compris les expressions musicales, aura pour
809 effet d'en recopier la valeur, les fonctions musicales n'ont pas pour
810 habitude de créer une copie du matériau qu'elles vont modifier.  De
811 fait, une expression musicale introduite par @code{#} de devrait pas
812 contenir de matériau inexistant auparavant ou bien littéralement
813 recopié, mais plutôt une référence explicite.
814
815
816 @node Saisie de variables et Scheme
817 @subsection Saisie de variables et Scheme
818 @translationof Input variables and Scheme
819
820 Le format de saisie prend en charge la notion de variable -- ou
821 identificateur.  Dans l'exemple suivant, une expression musicale se voit
822 attribuer un identificateur qui portera le nom de @code{traLaLa}.
823
824 @example
825 traLaLa = @{ c'4 d'4 @}
826 @end example
827
828 @noindent
829
830 Une variable a aussi une portée.  Dans l'exemple suivant, le bloc
831 @code{\layout} contient une variable @code{traLaLa} tout à fait
832 indépendante de l'autre @code{\traLaLa}.
833
834 @example
835 traLaLa = @{ c'4 d'4 @}
836 \layout @{ traLaLa = 1.0 @}
837 @end example
838
839 Dans les faits, chaque fichier a un domaine de compétence, et les
840 différents blocs @code{\header}, @code{\midi} et @code{\layout} ont leur
841 propre champ de compétence, imbriqué dans ce domaine principal.
842
843 Variables et champs de compétence sont implémentés par le système de
844 modules de Guile.  Un module anonyme Scheme est attaché à chacun de ces
845 domaines.  Une assertion telle que
846
847 @example
848 traLaLa = @{ c'4 d'4 @}
849 @end example
850
851 @noindent
852 est convertie, en interne, en une définition Scheme@tie{}:
853
854 @example
855 (define traLaLa @var{valeur Scheme de `@code{... }'})
856 @end example
857
858 Cela signifie que variables LilyPond et variables Scheme peuvent tout à
859 fait se mélanger.  Dans l'exemple suivant, un fragment musical est
860 stocké dans la variable @code{traLaLa} puis dupliqué à l'aide de Scheme.
861 Le résultat est alors importé dans un bloc @code{\score} au moyen d'une
862 seconde variable @code{twice}.
863
864 @lilypond[verbatim]
865 traLaLa = { c'4 d'4 }
866
867 #(define newLa (map ly:music-deep-copy
868   (list traLaLa traLaLa)))
869 #(define twice
870   (make-sequential-music newLa))
871
872 { \twice }
873 @end lilypond
874
875 @c Due to parser lookahead
876
877 Cet exemple est particulièrement intéressant.  L'assignation
878 n'interviendra qu'une fois que l'analyseur grammatical aura l'assurance
879 que rien du type de @code{\addlyrics} ne suit@tie{}; il doit donc
880 vérifier ce qui vient après.  Le @emph{parser} lit le @code{#} et
881 l'expression Scheme qui le suit @strong{sans} l'évaluer, de telle sorte
882 qu'il peut procéder à l'assignation, et @strong{ensuite} exécuter le
883 code Scheme sans problème.
884
885 Cet exemple illustre la manière @qq{d'exporter} une expression musicale
886 à partir des saisies et à destination de l'interpréteur Scheme.
887 L'inverse est aussi réalisable@tie{}: en la plaçant derrière
888 un@tie{}@code{$}, une valeur Scheme sera interprétée comme si elle avait
889 été  saisie en syntaxe LilyPond.  Au lieu de définir @code{\twice}, nous
890 aurions tout aussi bien pu écrire
891
892 @example
893 ...
894 @{ $(make-sequential-music (list newLa)) @}
895 @end example
896
897 Vous pouvez utiliser @code{$} suivi d'une expression Scheme partout où
898 vous auriez utilisé @code{\@var{nom}}, dès lors que vous aurez assigné à
899 cette expression Scheme le nom de variable @var{nom}.  La substitution
900 intervenant au niveau de l'analyseur lexical (le @emph{lexer}), LilyPond
901 ne saurait faire la différence.
902
903 Cette manière de procéder comporte cependant un inconvénient au niveau
904 de la temporisation.  Si nous avions défini @code{newLa} avec un
905 @code{$} plutôt qu'un@tie{#}, la définition Scheme suivante aurait
906 échoué du fait que @code{traLaLa} n'était pas encore définie.  Pour plus
907 d'information quant au problème de synchronisation, voir la rubrique
908 @ref{Syntaxe Scheme dans LilyPond}.
909
910 En tout état de cause, le @emph{parser} évalue le code Scheme en
911 dernier.  S'il ne doit être exécuté que plus tard, consultez la rubrique
912 @ref{Fonctions Scheme fantômes}, ou stockez le dans une macro comme
913 ici@tie{}:
914
915 @example
916 #(define (nopc)
917   (ly:set-option 'point-and-click #f))
918
919 ...
920 #(nopc)
921 @{ c'4 @}
922 @end example
923
924 @knownissues
925 L'imbrication de variables Scheme et LilyPond n'est pas possible
926 avec l'option @option{--safe}.
927
928
929 @node Propriétés des objets
930 @subsection Propriétés des objets
931 @translationof Object properties
932
933 Les propriétés des objets sont stockées dans LilyPond sous la forme
934 d'enchaînements de listes associatives, autrement dit des listes de
935 listes associatives.  Une propriété se détermine par l'ajout de valeurs
936 en début de liste de cette propriété.  Les caractéristiques d'une
937 propriété s'ajustent donc à la lecture des différentes valeurs des
938 listes associatives.
939
940 La modification d'une valeur pour une propriété donnée requiert
941 l'assignation d'une valeur de la liste associative, tant pour la clé que
942 la valeur associée.  Voici comment procéder selon la syntaxe de
943 LilyPond@tie{}:
944
945 @example
946 \override Stem #'thickness = #2.6
947 @end example
948
949 Cette instruction ajuste l'apparence des hampes.  Une entrée
950 @w{@code{'(thickness . 2.6)}} de la @emph{alist} est ajoutée à la liste
951 de la propriété de l'objet @code{Stem}.  @code{thickness} devant
952 s'exprimer en unité d'épaisseur de ligne, les hampes auront donc une
953 épaisseur de 2,6@tie{}ligne de portée, et à peu près le double de leur
954 épaisseur normale.  Afin de faire la distinction entre les variables que
955 vous définissez au fil de vos fichiers -- tel le @code{vingtQuatre} que
956 nous avons vu plus haut -- et les variables internes des objets, nous
957 parlerons de @qq{propriétés} pour ces dernières, et de @qq{variables}
958 pour les autres.  Ainsi, l'objet hampe possède une propriété
959 @code{thickness}, alors que @code{vingtQuatre} est une variable.
960
961 @cindex propriétés ou variables
962 @cindex variables ou propriétés
963
964 @c  todo -- here we're getting interesting.  We're now introducing
965 @c  LilyPond variable types.  I think this deserves a section all
966 @c  its own
967
968
969 @node Variables LilyPond composites
970 @subsection Variables LilyPond composites
971 @translationof LilyPond compound variables
972
973 @subheading Décalages (@emph{offsets})
974
975 Les décalages (@emph{offset}) sur deux axes (coordonnées X et Y) sont
976 stockés sous forme de @emph{paires}. Le @code{car} de l'offset
977 correspond à l'abscisse (coordonnée X) et le @code{cdr} à l'ordonnée
978 (coordonnée Y).
979
980 @example
981 \override TextScript #'extra-offset = #'(1 . 2)
982 @end example
983
984 Cette clause affecte la paire @code{(1 . 2)} à la propriété
985 @code{extra-offset} de l'objet @code{TextScript}.  Ces nombres sont
986 exprimés en espace de portée.  La commande aura donc pour effet de
987 déplacer l'objet d'un espace de portée vers la droite, et de deux
988 espaces vers le haut.
989
990 Les procédures permettant de manipuler les offsets sont regroupées dans
991 le fichier @file{scm/lily-library.scm}.
992
993
994 @subheading Fractions
995
996 Les fractions, tel que LilyPond les utilise, sont aussi stockées sous
997 forme de @emph{paire}.  Alors que Scheme est tout à fait capable de
998 représenter des nombres rationnels, vous conviendrez que, musicalement
999 parlant, @samp{2/4} et @samp{1/2} ne se valent pas@tie{}; nous devrons
1000 donc pouvoir les distinguer.  Dans le même ordre d'idée, LilyPond ne
1001 connaît pas les @qq{fractions} négatives.  Pour ces raisons, @code{2/4}
1002 en LilyPond correspond à @code{(2 . 4)} en Scheme, et @code{#2/4} en
1003 LilyPond correspond à @code{1/2} en Scheme.
1004
1005
1006 @subheading Étendues (@emph{extents})
1007
1008 Les paires permettent aussi de stocker des intervalles qui représentent
1009 un ensemble de nombres compris entre un minimum (le @code{car}) et un
1010 maximum (le @code{cdr}).  Ces intervalles stockent l'étendue, tant au
1011 niveau horizontal (X) que vertical (Y) des objets imprimables.  En
1012 matière d'étendue sur les X, le @code{car} correspond à la coordonnée de
1013 l'extrémité gauche, et le @code{cdr} à la coordonnée de l'extrémité
1014 droite.  En matière d'étendue sur les Y, le @code{car} correspond à la
1015 coordonnée de l'extrémité basse, et le @code{cdr} à la coordonnée de
1016 l'extrémité haute.
1017
1018 Les procédures permettant de manipuler les offsets sont regroupées dans
1019 le fichier @file{scm/lily-library.scm}.  Nous vous recommandons
1020 l'utilisation de ces procédures dans toute la mesure du possible afin
1021 d'assurer la cohérence du code.
1022
1023
1024 @subheading Propriété en @emph{alists}
1025
1026 Les propriétés en @emph{alists} sont des structures de données
1027 particulières à LilyPond.  Il s'agit de listes associatives dont les
1028 clés sont des propriétés et les valeurs des expressions Scheme
1029 fournissant la valeur requise pour cette propriété.
1030
1031 Les propriétés LilyPond sont des symboles Scheme, à l'instar de
1032 @code{'thickness}.
1033
1034
1035 @subheading Chaînes d'@emph{alist}
1036
1037 Une chaîne d'@emph{alist} est une liste contenant les listes
1038 associatives d'une propriété.
1039
1040 L'intégralité du jeu de propriétés qui doivent s'appliquer à un objet
1041 graphique est en fait stocké en tant que chaîne d'@emph{alist}.  Afin
1042 d'obtenir la valeur d'une propriété particulière qu'un objet graphique
1043 devrait avoir, on examinera chacune des listes associatives de la
1044 chaîne, à la recherche d'une entrée contenant la clé de cette propriété.
1045 Est renvoyée la première entrée d'@emph{alist} trouvée, sa valeur étant
1046 la valeur de la propriété.
1047
1048 L'obtention des valeurs de propriété des objets graphiques se réalise en
1049 principe à l'aide de la procédure Scheme @code{chain-assoc-get}.
1050
1051
1052 @node Représentation interne de la musique
1053 @subsection Représentation interne de la musique
1054 @translationof Internal music representation
1055
1056 Dans les entrailles du programme, la musique se présente comme une liste
1057 Scheme.  Cette liste comporte les différents éléments qui affecteront la
1058 sortie imprimable.  L'analyse grammaticale (l'opération @emph{parsing})
1059 est le processus chargé de convertir la musique représentée par le code
1060 LilyPond en présentation interne Scheme.
1061
1062 L'analyse d'une expression musicale se traduit par un jeu d'objets
1063 musicaux en Scheme.  Une objet musical est déterminé par le temps qu'il
1064 occupe, que l'on appelle @emph{durée}.  Les durées s'expriment par des
1065 nombres rationnels représentant la longueur d'un objet musical par
1066 rapport à la ronde.
1067
1068 Un objet musical dispose de trois types@tie{}:
1069 @itemize
1070 @item
1071 un nom de musique@tie{}: Toute expression musicale a un nom.  Par
1072 exemple, une note amène à un @rinternals{NoteEvent}, un
1073 @code{\simultaneous} à un @rinternals{SimultaneousMusic}.  Une liste
1074 exhaustive des différentes expressions est disponible dans la référence
1075 des propriétés internes, à la rubrique @rinternals{Music expressions}.
1076
1077 @item
1078 un @qq{type} ou interface@tie{}: Tout nom de musique dispose de
1079 plusieurs types ou interfaces.  Ainsi, une note est tout à la fois un
1080 @code{event}, un @code{note-event}, un @code{rhythmic-event} et un
1081 @code{melodic-event}.  Les différentes classes musicales sont
1082 répertoriées à la rubrique @rinternals{Music classes} de la référence
1083 des propriétés internes.
1084
1085 @item
1086 un objet C++@tie{}: Tout objet musical est représenté par un objet de la
1087 classe C++ @code{Music}.
1088 @end itemize
1089
1090 L'information réelle d'une expression musicale est enregistrée sous
1091 forme de propriétés.  Par exemple, un @rinternals{NoteEvent} dispose des
1092 propriétés @code{pitch} et @code{duration}, respectivement chargées de
1093 stocker la hauteur et la durée de cette note.  Les différentes
1094 propriétés sont répertoriées à la rubrique 
1095 @rinternalsnamed{Music properties,Music properties}
1096 de la référence des propriétés internes.
1097
1098 Une expression composite est un objet musical dont les propriétés
1099 contiennent d'autres objets musicaux.  S'il s'agit d'une liste d'objets,
1100 elle sera stockée dans la propriété @code{elements} d'un objet
1101 musical@tie{}; s'il n'y a qu'un seul objet @qq{enfant}, il sera stocké
1102 dans la propriété @code{element}.  Ainsi, par exemple, les enfants de
1103 @rinternals{SequentialMusic} iront dans @code{elements}, alors que
1104 l'argument unique de @rinternals{GraceMusic} ira dans @code{element}.
1105 De même, le corps d'une répétition ira dans la propriété @code{element}
1106 d'un @rinternals{RepeatedMusic}, les alternatives quant à elles dans la
1107 propriété @code{elements}.
1108
1109
1110 @node Construction de fonctions complexes
1111 @section Construction de fonctions complexes
1112 @translationof Building complicated functions
1113
1114 Nous allons voir dans cette partie les moyens dont vous disposez pour
1115 obtenir les informations qui vous permettront de créer vos propres
1116 fonctions musicales complexes.
1117
1118 @menu
1119 * Affichage d'expressions musicales::
1120 * Propriétés musicales::
1121 * Doublement d'une note avec liaison (exemple)::
1122 * Ajout d'articulation à des notes (exemple)::
1123 @end menu
1124
1125
1126 @node Affichage d'expressions musicales
1127 @subsection Affichage d'expressions musicales
1128 @translationof Displaying music expressions
1129
1130 @cindex stockage interne
1131 @cindex expression musicale, affichage
1132 @cindex représentation interne, affichage
1133 @cindex displayMusic
1134 @funindex \displayMusic
1135
1136 Lorsque l'on veut écrire une fonction musicale, il est intéressant
1137 d'examiner comment une expression musicale est représentée en interne.
1138 Vous disposez à cet effet de la fonction musicale @code{\displayMusic}.
1139
1140 @example
1141 @{
1142   \displayMusic @{ c'4\f @}
1143 @}
1144 @end example
1145
1146 @noindent
1147 affichera
1148
1149 @example
1150 (make-music
1151   'SequentialMusic
1152   'elements
1153   (list (make-music
1154           'NoteEvent
1155           'articulations
1156           (list (make-music
1157                   'AbsoluteDynamicEvent
1158                   'text
1159                   "f"))
1160           'duration
1161           (ly:make-duration 2 0 1 1)
1162           'pitch
1163           (ly:make-pitch 0 0 0))))
1164 @end example
1165
1166 Par défaut, LilyPond affichera ces messages sur la console, parmi toutes
1167 les autres informations.  Vous pouvez, afin de les isoler et de garder
1168 le résultat des commandes @code{\display@{TRUC@}}, rediriger la sortie
1169 vers un fichier@tie{}:
1170
1171 @example
1172 lilypond file.ly >display.txt
1173 @end example
1174
1175 Un peu de Scheme combiné à notre code LilyPond, et les seules
1176 informations qui nous intéressent se retrouveront directement dans un
1177 fichier indépendant@tie{}:
1178
1179 @example
1180 @{
1181   $(with-output-to-file "display.txt"
1182       (lambda () #@{ \displayMusic @{ c'4\f @} #@}))
1183 @}
1184 @end example
1185
1186 L'information sera encore plus lisible après un peu de mise en
1187 forme@tie{}:
1188
1189 @example
1190 (make-music 'SequentialMusic
1191   'elements (list
1192              (make-music 'NoteEvent
1193                'articulations (list
1194                                (make-music 'AbsoluteDynamicEvent
1195                                  'text
1196                                  "f"))
1197                'duration (ly:make-duration 2 0 1 1)
1198                'pitch    (ly:make-pitch 0 0 0))))
1199 @end example
1200
1201 Une séquence musicale @code{@{ ... @}} se voit attribuer le nom de
1202 @code{SequentialMusic}, et les expressions qu'elle contient sont
1203 enregistrées en tant que liste dans sa propriété @code{'elements}.  Une
1204 note est représentée par un objet @code{NoteEvent} -- contenant les
1205 propriétés de durée et hauteur -- ainsi que l'information qui lui est
1206 attachée -- en l'occurrence un @code{AbsoluteDynamicEvent} ayant une
1207 propriété @code{text} de valeur @code{"f"} -- et stockée dans sa
1208 propriété @code{articulations}.
1209
1210 @funindex{\void}
1211 La fonction @code{\displayMusic} renvoie la musique qu'elle
1212 affiche@tie{}; celle-ci sera donc aussi interprétée.  L'insertion d'une
1213 commande @code{\void} avant le @code{\displayMusic} permet de
1214 s'affranchir de la phase d'interprétation.
1215
1216
1217 @node Propriétés musicales
1218 @subsection Propriétés musicales
1219 @translationof Music properties
1220
1221 Nous abordons ici les propriétés @emph{music}, et non pas les propriétés
1222 @emph{context} ou @emph{layout}.
1223
1224 Partons de cet exemple simple@tie{}:
1225
1226 @example
1227 someNote = c'
1228 \displayMusic \someNote
1229 ===>
1230 (make-music
1231   'NoteEvent
1232   'duration
1233   (ly:make-duration 2 0 1 1)
1234   'pitch
1235   (ly:make-pitch 0 0 0))
1236 @end example
1237
1238 L'objet @code{NoteEvent} est la représentation brute de @code{someNote}.
1239 Voyons ce qui se passe lorsque nous plaçons ce @notation{c'} dans une
1240 construction d'accord@tie{}:
1241
1242 @example
1243 someNote = <c'>
1244 \displayMusic \someNote
1245 ===>
1246 (make-music
1247   'EventChord
1248   'elements
1249   (list (make-music
1250           'NoteEvent
1251           'duration
1252           (ly:make-duration 2 0 1 1)
1253           'pitch
1254           (ly:make-pitch 0 0 0))))
1255 @end example
1256
1257 L'objet @code{NoteEvent} est maintenant le premier objet de la propriété
1258 @code{'elements} de @code{someNote}.
1259
1260 @code{\displayMusic} utilise la fonction @code{display-scheme-music}
1261 pour afficher la représentation en Scheme d'une expression musicale@tie{}:
1262
1263 @example
1264 #(display-scheme-music (first (ly:music-property someNote 'elements)))
1265 ===>
1266 (make-music
1267   'NoteEvent
1268   'duration
1269   (ly:make-duration 2 0 1 1)
1270   'pitch
1271   (ly:make-pitch 0 0 0))
1272 @end example
1273
1274 La hauteur de la note est accessible au travers de la propriété
1275 @code{'pitch} de l'objet @code{NoteEvent}@tie{}:
1276
1277 @example
1278 #(display-scheme-music
1279    (ly:music-property (first (ly:music-property someNote 'elements))
1280                       'pitch))
1281 ===>
1282 (ly:make-pitch 0 0 0)
1283 @end example
1284
1285 La hauteur de la note se modifie en définissant sa propriété
1286 @code{'pitch}@tie{}:
1287
1288 @funindex \displayLilyMusic
1289
1290 @example
1291 #(set! (ly:music-property (first (ly:music-property someNote 'elements))
1292                           'pitch)
1293        (ly:make-pitch 0 1 0)) ;; set the pitch to d'.
1294 \displayLilyMusic \someNote
1295 ===>
1296 d'
1297 @end example
1298
1299
1300 @node Doublement d'une note avec liaison (exemple)
1301 @subsection Doublement d'une note avec liaison (exemple)
1302 @translationof Doubling a note with slurs (example)
1303
1304 Supposons que nous ayons besoin de créer une fonction transformant une
1305 saisie @code{a} en @w{@code{@{ a( a) @}}}.  Commençons par examiner
1306 comment le résultat est représenté en interne.
1307
1308 @example
1309 \displayMusic@{ a'( a') @}
1310 ===>
1311 (make-music
1312   'SequentialMusic
1313   'elements
1314   (list (make-music
1315           'NoteEvent
1316           'articulations
1317           (list (make-music
1318                   'SlurEvent
1319                   'span-direction
1320                   -1))
1321           'duration
1322           (ly:make-duration 2 0 1 1)
1323           'pitch
1324           (ly:make-pitch 0 5 0))
1325         (make-music
1326           'NoteEvent
1327           'articulations
1328           (list (make-music
1329                   'SlurEvent
1330                   'span-direction
1331                   1))
1332           'duration
1333           (ly:make-duration 2 0 1 1)
1334           'pitch
1335           (ly:make-pitch 0 5 0))))
1336 @end example
1337
1338 Mauvaise nouvelle@tie{}! Les expressions @code{SlurEvent} doivent
1339 s'ajouter @qq{à l'intérieur} de la note -- dans sa propriété
1340 @code{articulations}.
1341
1342 Examinons à présent la saisie@tie{}:
1343
1344 @example
1345 \displayMusic a'
1346 ===>
1347 (make-music
1348   'NoteEvent
1349   'duration
1350   (ly:make-duration 2 0 1 1)
1351   'pitch
1352   (ly:make-pitch 0 5 0))))
1353 @end example
1354
1355 Nous aurons donc besoin, dans notre fonction, de cloner cette expression
1356 -- de telle sorte que les deux notes constituent la séquence -- puis
1357 d'ajouter un @code{SlurEvent} à la propriété @code{'articulations} de
1358 chacune d'elles, et enfin réaliser un @code{SequentialMusic} de ces deux
1359 @code{EventChords}.  En tenant compte du fait que, dans le cadre d'un
1360 ajout, une propriété non définie est lue @code{'()} (une liste vide),
1361 aucune vérification n'est requise avant d'introduire un nouvel élément
1362 en tête de la propriété @code{articulations}.
1363
1364 @example
1365 doubleSlur = #(define-music-function (parser location note) (ly:music?)
1366          "Renvoie : @{ note ( note ) @}.
1367          `note' est censé être une note unique."
1368          (let ((note2 (ly:music-deep-copy note)))
1369            (set! (ly:music-property note 'articulations)
1370                  (cons (make-music 'SlurEvent 'span-direction -1)
1371                        (ly:music-property note 'articulations)))
1372            (set! (ly:music-property note2 'articulations)
1373                  (cons (make-music 'SlurEvent 'span-direction 1)
1374                        (ly:music-property note2 'articulations)))
1375            (make-music 'SequentialMusic 'elements (list note note2))))
1376 @end example
1377
1378
1379 @node Ajout d'articulation à des notes (exemple)
1380 @subsection Ajout d'articulation à des notes (exemple)
1381 @translationof Adding articulation to notes (example)
1382
1383 Le moyen d'ajouter une articulation à des notes consiste à fusionner
1384 deux expressions musicales en un même contexte, comme nous l'avons vu à
1385 la rubrique @ruser{Création d'un contexte}.  L'option de réaliser
1386 nous-mêmes une fonction musicale à cette fin nous offre l'avantage de
1387 pouvoir alors ajouter une articulation, telle qu'une instruction de
1388 doigté, individuellement à l'une des notes d'un accord, ce qui est
1389 impossible dans le cadre d'une simple fusion de musique indépendante.
1390
1391 Un @code{$variable} au milieu de la notation @code{#@{...#@}} se
1392 comporte exactement comme un banal @code{\variable} en notation LilyPond
1393 traditionnelle.  Nous savons déjà que
1394
1395 @example
1396 @{ \musique -. -> @}
1397 @end example
1398
1399 @noindent
1400 n'est pas admis par LilyPond.  Nous pourrions tout à fait contourner ce
1401 problème en attachant l'articulation à une @qq{fausse} note,
1402
1403 @example
1404 @{ << \musique s1*0-.-> @}
1405 @end example
1406
1407 @noindent
1408 mais, pour les besoins de la démonstration, nous allons voir comment
1409 réaliser ceci en Scheme.  Commençons par examiner une saisie simple et
1410 le résultat auquel nous désirons aboutir@tie{}:
1411
1412 @example
1413 %  saisie
1414 \displayMusic c4
1415 ===>
1416 (make-music
1417   'NoteEvent
1418   'duration
1419   (ly:make-duration 2 0 1 1)
1420   'pitch
1421   (ly:make-pitch -1 0 0))))
1422 =====
1423 %  résultat attendu
1424 \displayMusic c4->
1425 ===>
1426 (make-music
1427   'NoteEvent
1428   'articulations
1429   (list (make-music
1430           'ArticulationEvent
1431           'articulation-type
1432           "accent"))
1433   'duration
1434   (ly:make-duration 2 0 1 1)
1435   'pitch
1436   (ly:make-pitch -1 0 0))
1437 @end example
1438
1439 Nous voyons qu'une note (@code{c4}) est représentée par une expression
1440 @code{NoteEvent}.  Si nous souhaitons ajouter une articulation
1441 @notation{accent}, nous devrons ajouter une expression
1442 @code{ArticulationEvent} à la propriété @code{articulations} de
1443 l'expression @code{NoteEvent}.
1444
1445 Construisons notre fonction en commençant par
1446
1447 @example
1448 (define (ajoute-accent note-event)
1449   "Ajoute un accent (ArticulationEvent) aux articulations de `note-event',
1450   qui est censé être une expression NoteEvent."
1451   (set! (ly:music-property note-event 'articulations)
1452         (cons (make-music 'ArticulationEvent
1453                 'articulation-type "accent")
1454               (ly:music-property note-event 'articulations)))
1455   note-event)
1456 @end example
1457
1458 La première ligne est la manière de définir une fonction en
1459 Scheme@tie{}: la fonction Scheme a pour nom @code{ajoute-accent} et elle
1460 comporte une variable appelée @code{note-event}.  En Scheme, le type
1461 d'une variable se déduit la plupart de temps de par son nom -- c'est
1462 d'ailleurs une excellente pratique que l'on retrouve dans de nombreux
1463 autres langages.
1464
1465 @example
1466 "Ajoute un accent..."
1467 @end example
1468
1469 @noindent
1470 décrit ce que fait la fonction.  Bien que ceci ne soit pas primordial,
1471 tout comme des noms de variable évidents, tâchons néanmoins de prendre
1472 de bonnes habitudes dès nos premiers pas.
1473
1474 Vous pouvez vous demander pourquoi nous modifions directement
1475 l'événement note plutôt que d'en manipuler une copie -- on pourrait
1476 utiliser @code{ly:music-deep-copy} à cette fin.  La raison en est qu'il
1477 existe un contrat tacite@tie{}: les fonctions musicales sont autorisées
1478 à modifier leurs arguments -- ils sont générés en partant de zéro (comme
1479 les notes que vous saisissez) ou déjà recopiés (faire référence à une
1480 variable musicale avec @samp{\name} ou à de la musique issue
1481 d'expressions Scheme @samp{$(@dots{})} aboutit à une copie).  Dans la
1482 mesure où surmultiplier les copies serait contre productif, la valeur de
1483 retour d'une fonction musicale n'est @strong{pas} recopiée.  Afin de
1484 respecter ce contrat, n'utilisez pas un même argument à plusieurs
1485 reprises, et n'oubliez pas que le retourner compte pour une utilisation.
1486
1487 Dans un exemple précédent, nous avons construit de la musique en
1488 répétant un certain argument musical.  Dans ce cas là, l'une des
1489 répétitions se devait d'être une copie.  Dans le cas contraire,
1490 certaines bizarreries auraient pu survenir.  Par exemple, la présence
1491 d'un @code{\relative} ou d'un @code{\transpose}, après plusieurs
1492 répétitions du même élément, entraînerait des @qq{relativisations} ou
1493 transpositions en cascade.  Si nous les assignons à une variable
1494 musicale, l'enchaînement est rompu puisque la référence à @samp{\nom}
1495 créera une nouvelle copie sans toutefois prendre en considération
1496 l'identité des éléments répétés.
1497
1498 Cette fonction n'étant pas une fonction musicale à part entière, elle
1499 peut s'utiliser dans d'autres fonctions musicales.  Il est donc sensé de
1500 respecter le même contrat que pour les fonctions musicales@tie{}:
1501 l'entrée peut être modifiée pour arriver à une sortie, et il est de la
1502 responsabilité de l'appelant d'effectuer des copies s'il a réellement
1503 besoin de l'argument dans son état originel.  Vous constaterez, à la
1504 lecture des fonctions propres à LilyPond, comme @code{music-map}, que ce
1505 principe est toujours respecté.
1506
1507 Revenons à nos moutons@dots{} Nous disposons maintenant d'un
1508 @code{note-event} que nous pouvons modifier, non pas grâce à un
1509 @code{ly:music-deep-copy}, mais plutôt en raison de notre précédente
1510 réflexion.  Nous ajoutons @notation{l'accent} à la liste de ses
1511 propriétés @code{'articulations}.
1512
1513 @example
1514 (set! emplacement nouvelle-valeur)
1515 @end example
1516
1517 L'emplacement est ce que nous voulons ici définir.  Il s'agit de la
1518 propriété @code{'articulations} de l'expression @code{note-event}.
1519
1520 @example
1521 (ly:music-property note-event 'articulations)
1522 @end example
1523
1524 La fonction @code{ly:music-property} permet d'accéder aux propriétés
1525 musicales -- les @code{'articulations}, @code{'duration}, @code{'pitch}
1526 etc. que @code{\displayMusic} nous a indiquées.  La nouvelle valeur sera
1527 l'ancienne propriété @code{'articulations}, augmentée d'un
1528 élément@tie{}: l'expression @code{ArticulationEvent}, que nous
1529 recopions à partir des informations de @code{\displayMusic}.
1530
1531 @example
1532 (cons (make-music 'ArticulationEvent
1533         'articulation-type "accent")
1534       (ly:music-property result-event-chord 'articulations))
1535 @end example
1536
1537 @code{cons} permet d'ajouter un élément en tête de liste sans pour
1538 autant modifier la liste originale.  C'est exactement ce que nous
1539 recherchons@tie{}: la même liste qu'auparavant, plus la nouvelle
1540 expression @code{ArticulationEvent}.  L'ordre au sein de la propriété
1541 @code{'articulations} n'a ici aucune importance.
1542
1543 Enfin, après avoir ajouté l'articulation @notation{accent} à sa
1544 propriété @code{articulations}, nous pouvons renvoyer le
1545 @code{note-event}, ce que réalise la dernière ligne de notre fonction.
1546
1547 Nous pouvons à présent transformer la fonction @code{ajoute-accent} en
1548 fonction musicale, à l'aide d'un peu d'enrobage syntaxique et mention du
1549 type de son unique argument @qq{réel}.
1550
1551 @example
1552 ajouteAccent = #(define-music-function (parser location note-event)
1553                                         (ly:music?)
1554   "Ajoute un accent (ArticulationEvent) aux articulations de `note-event',
1555   qui est censé être une expression NoteEvent."
1556   (set! (ly:music-property note-event 'articulations)
1557         (cons (make-music 'ArticulationEvent
1558                 'articulation-type "accent")
1559               (ly:music-property note-event 'articulations)))
1560   note-event)
1561 @end example
1562
1563 Par acquis de conscience, vérifions que tout ceci fonctione@tie{}:
1564
1565 @example
1566 \displayMusic \ajouteAccent c4
1567 @end example
1568
1569
1570
1571
1572
1573 @ignore
1574 @menu
1575 * Tweaking with Scheme::
1576 @end menu
1577
1578 @c @nod e Tweaking with Scheme
1579 @c @sectio n Tweaking with Scheme
1580
1581 We have seen how LilyPond output can be heavily modified using
1582 commands like
1583 @code{\override TextScript #'extra-offset = ( 1 . -1)}.  But
1584 we have even more power if we use Scheme.  For a full explanation
1585 of this, see the @ref{Scheme tutorial}, and
1586 @ref{Interfaces for programmers}.
1587
1588 We can use Scheme to simply @code{\override} commands,
1589
1590 TODO Find a simple example
1591 @c This isn't a valid example with skylining
1592 @c It works fine without padText  -td
1593 @end ignore
1594
1595 @ignore
1596 @lilypond[quote,verbatim,ragged-right]
1597 padText = #(define-music-function (parser location padding) (number?)
1598 #{
1599   \once \override TextScript #'padding = #padding
1600 #})
1601
1602 \relative c''' {
1603   c4^"piu mosso" b a b
1604   \padText #1.8
1605   c4^"piu mosso" d e f
1606   \padText #2.6
1607   c4^"piu mosso" fis a g
1608 }
1609 @end lilypond
1610 @end ignore
1611
1612 @ignore
1613 We can use it to create new commands:
1614
1615 @c Check this is a valid example with skylining
1616 @c It is - 'padding still works
1617
1618
1619 @lilypond[quote,verbatim,ragged-right]
1620 tempoPadded = #(define-music-function (parser location padding tempotext)
1621   (number? string?)
1622 #{
1623   \once \override Score.MetronomeMark #'padding = $padding
1624   \tempo \markup { \bold #tempotext }
1625 #})
1626
1627 \relative c'' {
1628   \tempo \markup { "Low tempo" }
1629   c4 d e f g1
1630   \tempoPadded #4.0 #"High tempo"
1631   g4 f e d c1
1632 }
1633 @end lilypond
1634
1635
1636 Even music expressions can be passed in:
1637
1638 @lilypond[quote,verbatim,ragged-right]
1639 pattern = #(define-music-function (parser location x y) (ly:music? ly:music?)
1640 #{
1641   $x e8 a b $y b a e
1642 #})
1643
1644 \relative c''{
1645   \pattern c8 c8\f
1646   \pattern {d16 dis} { ais16-> b\p }
1647 }
1648 @end lilypond
1649 @end ignore