diff options
| -rw-r--r-- | fr-fr/racket-fr.html.markdown | 628 | ||||
| -rw-r--r-- | zh-cn/common-lisp.html.markdown | 612 |
2 files changed, 1240 insertions, 0 deletions
diff --git a/fr-fr/racket-fr.html.markdown b/fr-fr/racket-fr.html.markdown new file mode 100644 index 00000000..8b2420f8 --- /dev/null +++ b/fr-fr/racket-fr.html.markdown @@ -0,0 +1,628 @@ +--- +language: racket +filename: learnracket-fr.rkt +contributors: + - ["th3rac25", "https://github.com/voila"] + - ["Eli Barzilay", "https://github.com/elibarzilay"] + - ["Gustavo Schmidt", "https://github.com/gustavoschmidt"] +translators: + - ["Xavier Nayrac", "https://github.com/lkdjiin"] +lang: fr-fr +--- + +Racket est un langage de programmation généraliste, multi-paradigme, +descendant de Lisp/Scheme. + +Les retours et commentaires sont appréciés ! Vous pouvez joindre l'auteur +original ici : +[@th3rac25](http://twitter.com/th3rac25) ou là : th3rac25 [at] [google's email +service]. Vous pouvez joindre le traducteur de ce document ici : +[@lkdjiin](http://twitter.com/lkdjiin). + +```racket +#lang racket ; défini le dialecte à utiliser. + +;;; Commentaires + +;; Une ligne de commentaire commence par un point-virgule. + +#| Un bloc de commentaires + peut tenir sur plusieurs lignes… + #| + et on peut les imbriquer ! + |# +|# + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 1. Types de données et opérateurs primitifs +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; Nombres +9999999999999999999999 ; entier +#b111 ; binaire => 7 +#o111 ; octal => 73 +#x111 ; hexadécimal => 273 +3.14 ; réel +6.02e+23 +1/2 ; rationnel +1+2i ; complexe + +;; Un appel de fonction s'écrit (f x y z ...) +;; où f est une fonction et x, y, z, ... sont des arguments. +;; Si vous voulez créer une liste littérales, utilisez ' pour +;; empécher l'évaluation de la liste. +'(+ 1 2) ; => (+ 1 2) +;; Et maintenant, un peu d'arithmétique +(+ 1 1) ; => 2 +(- 8 1) ; => 7 +(* 10 2) ; => 20 +(expt 2 3) ; => 8 +(quotient 5 2) ; => 2 +(remainder 5 2) ; => 1 +(/ 35 5) ; => 7 +(/ 1 3) ; => 1/3 +(exact->inexact 1/3) ; => 0.3333333333333333 +(+ 1+2i 2-3i) ; => 3-1i + +;;; Booléens +#t ; pour vrai +#f ; pour faux -- Toute autre valeur que #f est vraie +(not #t) ; => #f +(and 0 #f (error "doesn't get here")) ; => #f +(or #f 0 (error "doesn't get here")) ; => 0 + +;;; Caractères +#\A ; => #\A +#\λ ; => #\λ +#\u03BB ; => #\λ + +;;; Une chaîne de caractères est un tableau de caractères de longueur +;;; fixe. +"Hello, world!" +"Benjamin \"Bugsy\" Siegel" ; Le backslash est le caractère d'échappement +"Foo\tbar\41\x21\u0021\a\r\n" ; Sont inclus les échappements de type C + ; et unicode +"λx:(μα.α→α).xx" ; une chaîne peut inclure de l'unicode + +;; On peut ajouter une chaîne à une autre +(string-append "Hello " "world!") ; => "Hello world!" + +;; Une chaîne peut être traitée comme une liste de caractères +(string-ref "Apple" 0) ; => #\A + +;; format est utilisé pour formatter une chaîne +(format "~a can be ~a" "strings" "formatted") + +;; L'affichage est tout simple +(printf "I'm Racket. Nice to meet you!\n") + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 2. Variables +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; Vous pouvez créer une variable à l'aide de define +;; Une variable peut contenir n'importe quel caractères, à l'exception +;; de : ()[]{}",'`;#|\ +(define some-var 5) +some-var ; => 5 + +;; Vous pouvez aussi utiliser des caractères unicode +(define ⊆ subset?) +(⊆ (set 3 2) (set 1 2 3)) ; => #t + +;; Accéder à une variable non-initialisée provoque une exception +; x ; => x: indéfini ... + +;; Déclaration locale : `me` est attaché à "Bob" seulement à l'intérieur +;; de (let ...) +(let ([me "Bob"]) + "Alice" + me) ; => "Bob" + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 3. Structures and Collections +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Structures +(struct dog (name breed age)) +(define my-pet + (dog "lassie" "collie" 5)) +my-pet ; => #<dog> +(dog? my-pet) ; => #t +(dog-name my-pet) ; => "lassie" + +;;; Paires (non mutable) +;; `cons` construit une paire, `car` et `cdr` extraient respectivement le +;; premier et le second élément. +(cons 1 2) ; => '(1 . 2) +(car (cons 1 2)) ; => 1 +(cdr (cons 1 2)) ; => 2 + +;;; Listes + +;; Les listes en Racket sont des structures de données de type *linked-list*, +;; produites avec des paires assemblées avec `cons` et terminée par `null` +;; (ou '()). +(cons 1 (cons 2 (cons 3 null))) ; => '(1 2 3) +;; `list` est un constructeur variadique plus commode à utiliser +(list 1 2 3) ; => '(1 2 3) +;; et un guillemet simple peut aussi être utilisé pour une liste littérale +'(1 2 3) ; => '(1 2 3) + +;; On peut toujours utiliser `cons` pour ajouter un élément au début +;; d'une liste +(cons 4 '(1 2 3)) ; => '(4 1 2 3) + +;; Utilisez `append` pour ajouter une liste à une autre +(append '(1 2) '(3 4)) ; => '(1 2 3 4) + +;; Une liste est un type très basique, il y a donc *beaucoup* de +;; fonctionnalités qui leur sont dédiées, quelques exemples : +(map add1 '(1 2 3)) ; => '(2 3 4) +(map + '(1 2 3) '(10 20 30)) ; => '(11 22 33) +(filter even? '(1 2 3 4)) ; => '(2 4) +(count even? '(1 2 3 4)) ; => 2 +(take '(1 2 3 4) 2) ; => '(1 2) +(drop '(1 2 3 4) 2) ; => '(3 4) + +;;; Vecteurs + +;; Un vecteur est un tableau de taille fixe +#(1 2 3) ; => '#(1 2 3) + +;; Utilisez `vector-append` pour additionner des vecteurs entre eux +(vector-append #(1 2 3) #(4 5 6)) ; => #(1 2 3 4 5 6) + +;;; Sets + +;; Créez un set à partir d'une liste +(list->set '(1 2 3 1 2 3 3 2 1 3 2 1)) ; => (set 1 2 3) + +;; Ajoutez un membre avec `set-add` +;; (Fonctionnel: renvoit le set étendu, plutôt que de muter le set en entrée) +(set-add (set 1 2 3) 4) ; => (set 1 2 3 4) + +;; Retirez un membre avec `set-remove` +(set-remove (set 1 2 3) 1) ; => (set 2 3) + +;; Testez l'existence d'un membre avec `set-member?` +(set-member? (set 1 2 3) 1) ; => #t +(set-member? (set 1 2 3) 4) ; => #f + +;;; Tables de hashage + +;; Créer une table de hashage non-mutable (un exemple mutable plus loin) +(define m (hash 'a 1 'b 2 'c 3)) + +;; Retrouver une valeur +(hash-ref m 'a) ; => 1 + +;; Chercher une valeur inexistante provoque une exceptions +; (hash-ref m 'd) => no value found + +;; Vous pouvez fournir une valeur par défaut pour les clés manquantes +(hash-ref m 'd 0) ; => 0 + +;; Utilisez `hash-set` pour étendre une table de hashage non-mutable +;; (Renvoit la table étendu, plutôt que de la muter) +(define m2 (hash-set m 'd 4)) +m2 ; => '#hash((b . 2) (a . 1) (d . 4) (c . 3)) + +;; Rappelez-vous, ces tables de hashage sont non-mutables ! +m ; => '#hash((b . 2) (a . 1) (c . 3)) <-- no `d' + +;; Utilisez `hash-remove` pour supprimer des clés (également fonctionnel) +(hash-remove m 'a) ; => '#hash((b . 2) (c . 3)) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 3. Fonctions +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Utilisez `lambda` pour créer des fonctions. +;; Une fonction renvoie toujours la valeur de sa dernière expression. +(lambda () "Hello World") ; => #<procedure> +;; On peut aussi utiliser le caractère unicode `λ' +(λ () "Hello World") ; => même fonction + +;; Utilisez des parenthèses pour appeler toutes les fonctions, ce qui +;; inclus aussi les expressions lambda +((lambda () "Hello World")) ; => "Hello World" +((λ () "Hello World")) ; => "Hello World" + +;; Assignez une fonction à une variable +(define hello-world (lambda () "Hello World")) +(hello-world) ; => "Hello World" + +;; Vous pouvez raccourcir ceci en utilisant le sucre syntaxique pour la +;; définition de fonction : +(define (hello-world2) "Hello World") + +;; Entre les () après lambda, vous déclarez la liste des arguments de la +;; fonction +(define hello + (lambda (name) + (string-append "Hello " name))) +(hello "Steve") ; => "Hello Steve" +;; … ou alors, en utilisant le sucre syntaxique, ce qui suit est équivalent +(define (hello2 name) + (string-append "Hello " name)) + +;; Vous pouvez obtenir des fonctions variadique en utilisant `case-lambda` +(define hello3 + (case-lambda + [() "Hello World"] + [(name) (string-append "Hello " name)])) +(hello3 "Jake") ; => "Hello Jake" +(hello3) ; => "Hello World" +;; … ou spécifier des arguments optionnels avec une valeur par défaut +(define (hello4 [name "World"]) + (string-append "Hello " name)) + +;; Les fonctions peuvent rassembler des arguments supplémentaires dans une +;; liste +(define (count-args . args) + (format "You passed ~a args: ~a" (length args) args)) +(count-args 1 2 3) ; => "You passed 3 args: (1 2 3)" +;; … ou bien avec `lambda`, sans sucre syntaxique +(define count-args2 + (lambda args + (format "You passed ~a args: ~a" (length args) args))) + +;; Vous pouvez mixer arguments réguliers et supplémentaires +(define (hello-count name . args) + (format "Hello ~a, you passed ~a extra args" name (length args))) +(hello-count "Finn" 1 2 3) +; => "Hello Finn, you passed 3 extra args" +;; … sans sucre syntaxique +(define hello-count2 + (lambda (name . args) + (format "Hello ~a, you passed ~a extra args" name (length args)))) + +;; Avec des mot-clés cette fois +(define (hello-k #:name [name "World"] #:greeting [g "Hello"] . args) + (format "~a ~a, ~a extra args" g name (length args))) +(hello-k) ; => "Hello World, 0 extra args" +(hello-k 1 2 3) ; => "Hello World, 3 extra args" +(hello-k #:greeting "Hi") ; => "Hi World, 0 extra args" +(hello-k #:name "Finn" #:greeting "Hey") ; => "Hey Finn, 0 extra args" +(hello-k 1 2 3 #:greeting "Hi" #:name "Finn" 4 5 6) + ; => "Hi Finn, 6 extra args" + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 4. Égalité +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Pour les nombres, utilisez `=` +(= 3 3.0) ; => #t +(= 2 1) ; => #f + +;; Pour tester l'identité des objets, utilisez `eq?` +(eq? 3 3) ; => #t +(eq? 3 3.0) ; => #f +(eq? (list 3) (list 3)) ; => #f + +;; Pour les collections, utilisez `equal?` +(equal? (list 'a 'b) (list 'a 'b)) ; => #t +(equal? (list 'a 'b) (list 'b 'a)) ; => #f + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 5. Structures de contrôle +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; Conditions + +(if #t ; expression pour le test + "this is true" ; expression si vrai + "this is false") ; expression si faux +; => "this is true" + +;; Dans les condition, toutes les valeurs non-fausses sont traitées commentaires +;; étant vraies (c'est à dire toutes sauf #f) +(member 'Groucho '(Harpo Groucho Zeppo)) ; => '(Groucho Zeppo) +(if (member 'Groucho '(Harpo Groucho Zeppo)) + 'yep + 'nope) +; => 'yep + +;; `cond` permet d'enchaîner une série de tests afin d'obtenir un résultat +(cond [(> 2 2) (error "wrong!")] + [(< 2 2) (error "wrong again!")] + [else 'ok]) ; => 'ok + +;;; Filtrage par motif (*pattern matching*) + +(define (fizzbuzz? n) + (match (list (remainder n 3) (remainder n 5)) + [(list 0 0) 'fizzbuzz] + [(list 0 _) 'fizz] + [(list _ 0) 'buzz] + [_ #f])) + +(fizzbuzz? 15) ; => 'fizzbuzz +(fizzbuzz? 37) ; => #f + +;;; Les boucles + +;; On peut boucler en utilisant la récursion (terminale) +(define (loop i) + (when (< i 10) + (printf "i=~a\n" i) + (loop (add1 i)))) +(loop 5) ; => i=5, i=6, ... + +;; D'une manière similaire, avec un `let` nommé +(let loop ((i 0)) + (when (< i 10) + (printf "i=~a\n" i) + (loop (add1 i)))) ; => i=0, i=1, ... + +;; Voir plus loin pour l'ajout d'une nouvelle forme `loop`, mais Racket +;; possède déjà une forme `for` flexible et élaborée pour les itérations +(for ([i 10]) + (printf "i=~a\n" i)) ; => i=0, i=1, ... +(for ([i (in-range 5 10)]) + (printf "i=~a\n" i)) ; => i=5, i=6, ... + +;;; Itérer sur autre chose que des nombres +;; `for` permet d'itérer sur plein de type de séquences: +;; listes, vecteurs, chaînes de caractères, sets, tables de hashage, etc + +(for ([i (in-list '(l i s t))]) + (displayln i)) + +(for ([i (in-vector #(v e c t o r))]) + (displayln i)) + +(for ([i (in-string "string")]) + (displayln i)) + +(for ([i (in-set (set 'x 'y 'z))]) + (displayln i)) + +(for ([(k v) (in-hash (hash 'a 1 'b 2 'c 3 ))]) + (printf "key:~a value:~a\n" k v)) + +;;; Itérations plus complexes + +;; Balayage parallèle de plusieurs séquences (on stoppe sur la plus petite) +(for ([i 10] [j '(x y z)]) (printf "~a:~a\n" i j)) +; => 0:x 1:y 2:z + +;; Boucles imbriquées +(for* ([i 2] [j '(x y z)]) (printf "~a:~a\n" i j)) +; => 0:x, 0:y, 0:z, 1:x, 1:y, 1:z + +;; Conditions dans les boucles +(for ([i 1000] + #:when (> i 5) + #:unless (odd? i) + #:break (> i 10)) + (printf "i=~a\n" i)) +; => i=6, i=8, i=10 + +;;; Compréhensions de liste +;; Très similaires aux boucles `for` -- renvoient en plus une collection + +(for/list ([i '(1 2 3)]) + (add1 i)) ; => '(2 3 4) + +(for/list ([i '(1 2 3)] #:when (even? i)) + i) ; => '(2) + +(for/list ([i 10] [j '(x y z)]) + (list i j)) ; => '((0 x) (1 y) (2 z)) + +(for/list ([i 1000] #:when (> i 5) #:unless (odd? i) #:break (> i 10)) + i) ; => '(6 8 10) + +(for/hash ([i '(1 2 3)]) + (values i (number->string i))) +; => '#hash((1 . "1") (2 . "2") (3 . "3")) + +;; Il y a plein d'autres fonctions natives pour collecter des données à +;; l'aide de boucles +(for/sum ([i 10]) (* i i)) ; => 285 +(for/product ([i (in-range 1 11)]) (* i i)) ; => 13168189440000 +(for/and ([i 10] [j (in-range 10 20)]) (< i j)) ; => #t +(for/or ([i 10] [j (in-range 0 20 2)]) (= i j)) ; => #t +;; Et pour n'importe quell combinaison arbitraire, utilisez `for/fold` +(for/fold ([sum 0]) ([i '(1 2 3 4)]) (+ sum i)) ; => 10 +;; (Ceci peut souvent remplacer des boucles communes de style impératif) + +;;; Exceptions + +;; Pour capturer une exception, utilisez la forme `with-handlers` +(with-handlers ([exn:fail? (lambda (exn) 999)]) + (+ 1 "2")) ; => 999 +(with-handlers ([exn:break? (lambda (exn) "no time")]) + (sleep 3) + "phew") ; => "phew", but if you break it => "no time" + +;; Utilisez `raise` pour soulever une exception, ou encore n'importe quelle +;; autre valeur +(with-handlers ([number? ; capturer la valeur numérique soulevée + identity]) ; la renvoyer en tant que valeur simple + (+ 1 (raise 2))) ; => 2 + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 6. Mutabilité +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Utilisez `set!` pour réassigner une valeur à une variable existante +(define n 5) +(set! n (add1 n)) +n ; => 6 + +;; Utilisez le mécanisme des boites (*box*) pour les valeurs explicitement +;; mutables (similaire aux pointeurs ou références dans d'autres langages) +(define n* (box 5)) +(set-box! n* (add1 (unbox n*))) +(unbox n*) ; => 6 + +;; Beaucoup de types de données en Racket sont non-mutables (paires, listes, +;; etc), certains ont à la fois une version mutable et une version +;; non-mutable (chaînes, vecteurs, tables de hashage, etc) + +;; Utilisez `vector` ou `make-vector` pour créer des vecteurs mutables +(define vec (vector 2 2 3 4)) +(define wall (make-vector 100 'bottle-of-beer)) +;; Utilisez `vector-set!` pour mettre à jour un emplacement +(vector-set! vec 0 1) +(vector-set! wall 99 'down) +vec ; => #(1 2 3 4) + +;; Créer une table de hashage mutable vide et la manipuler +(define m3 (make-hash)) +(hash-set! m3 'a 1) +(hash-set! m3 'b 2) +(hash-set! m3 'c 3) +(hash-ref m3 'a) ; => 1 +(hash-ref m3 'd 0) ; => 0 +(hash-remove! m3 'a) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 7. Modules +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Les modules permettent d'organiser le code en plusieurs fichiers +;; et bibliothèques réutilisables. Ici, nous utiliserons des sous-modules, +;; imbriqués dans le grand module que forme ce texte (qui démarre à la +;; ligne `#lang`). + +(module cake racket/base ; défini un module `cake', basé sur racket/base + + (provide print-cake) ; fonction exportée par le module (publique) + + (define (print-cake n) + (show " ~a " n #\.) + (show " .-~a-. " n #\|) + (show " | ~a | " n #\space) + (show "---~a---" n #\-)) + + (define (show fmt n ch) ; fonction interne/privée + (printf fmt (make-string n ch)) + (newline))) + +;; Utilisez `require` pour importer les fonctions fournies par un +;; module (provide) +(require 'cake) ; le ' est pour un sous-module local +(print-cake 3) +; (show "~a" 1 #\A) ; => erreur, `show` n'est pas exportée + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 8. Classes et objets +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Créer une classe fish% (% est idiomatique pour les noms de classes) +(define fish% + (class object% + (init size) ; argument pour l'initialisation + (super-new) ; initialisation de la super-classe + ;; Les champs/membres/variables de classe + (define current-size size) + ;; Méthodes publiques + (define/public (get-size) + current-size) + (define/public (grow amt) + (set! current-size (+ amt current-size))) + (define/public (eat other-fish) + (grow (send other-fish get-size))))) + +;; Créer une instance de fish% +(define charlie + (new fish% [size 10])) + +;; Utilisez `send` pour appeler une méthode d'un objet +(send charlie get-size) ; => 10 +(send charlie grow 6) +(send charlie get-size) ; => 16 + +;; `fish%` est une simple valeur de «première classe», ce qui va permettre +;; la composition (*mixins*) +(define (add-color c%) + (class c% + (init color) + (super-new) + (define my-color color) + (define/public (get-color) my-color))) +(define colored-fish% (add-color fish%)) +(define charlie2 (new colored-fish% [size 10] [color 'red])) +(send charlie2 get-color) +;; ou, sans les noms: +(send (new (add-color fish%) [size 10] [color 'red]) get-color) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 9. Macros +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Les macros permettent d'étendre la syntaxe du langage + +;; Ajoutons une boucle `loop` +(define-syntax-rule (while condition body ...) + (let loop () + (when condition + body ... + (loop)))) + +(let ([i 0]) + (while (< i 10) + (displayln i) + (set! i (add1 i)))) + +;; Les macros sont hygiéniques, vous ne pouvez pas *clasher* avec les +;; variables existantes ! +(define-syntax-rule (swap! x y) ; ! est idiomatique pour la mutation + (let ([tmp x]) + (set! x y) + (set! y tmp))) + +(define tmp 2) +(define other 3) +(swap! tmp other) +(printf "tmp = ~a; other = ~a\n" tmp other) +;; La variable `tmp` est renommée en `tmp_1` +;; dans le but d'éviter un conflit de nom +;; (let ([tmp_1 tmp]) +;; (set! tmp other) +;; (set! other tmp_1)) + +;; Mais il faut quand même faire bien attention avec les macros, par exemple: +(define-syntax-rule (bad-while condition body ...) + (when condition + body ... + (bad-while condition body ...))) +;; cette macro est cassée : ell génère un code infini, si vous l'essayez +;; le compilateur va entrer dans une boucle infinie. + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 10. Contrats +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Les contrats imposent des contraintes aux valeurs exportées depuis +;; les modules + +(module bank-account racket + (provide (contract-out + [deposit (-> positive? any)] ; un dépot est toujours positif + [balance (-> positive?)])) + + (define amount 0) + (define (deposit a) (set! amount (+ amount a))) + (define (balance) amount) + ) + +(require 'bank-account) +(deposit 5) + +(balance) ; => 5 + +;; Les clients qui essaient de déposer un montant non-positif sont blamés +;; (deposit -5) ; => deposit: contract violation +;; expected: positive? +;; given: -5 +;; more details.... +``` + +## Pour aller plus loin + +Vous en voulez plus ? Essayez +[Getting Started with Racket](http://docs.racket-lang.org/getting-started/) diff --git a/zh-cn/common-lisp.html.markdown b/zh-cn/common-lisp.html.markdown new file mode 100644 index 00000000..aaa33c83 --- /dev/null +++ b/zh-cn/common-lisp.html.markdown @@ -0,0 +1,612 @@ +--- +Language: "Common Lisp" +Filename: commonlisp.lisp +Contributors: + - ["Paul Nathan", "https://github.com/pnathan"] +Translator: + - ["Mac David", "http://github.com/macdavid313"] +--- + +ANSI Common Lisp 是一个广泛通用于各个工业领域的、支持多种范式的编程语言。 +这门语言也经常被引用作“可编程的编程语言”（可以写代码的代码）。 + +经典的入门点为[已完全免费提供的《实用 Common Lisp 编程》](http://www.gigamonkeys.com/book/) + +另外还有一本近期内比较热门的 +[Land of Lisp](http://landoflisp.com/). + +```scheme +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; 0. 语法 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; 一般形式 + +;; Lisp有两个基本的语法部件：原子，以及S-表达式。 +;; 一般的，一组S-表达式被称为“组合式”。 + +10 ; 一个原子; 它对自身进行求值 + +:THING ;同样是一个原子；它被求值为一个符号 :thing + +t ;还是一个原子，代表逻辑真值。 + +(+ 1 2 3 4) ; 一个S表达式。 + +'(4 :foo t) ;同样是一个S表达式。 + + +;;; 注释 + +;; 一个分号开头的注释表示仅用于此行（单行）；两个分号开头的则表示一个所谓标准注释； +;; 三个分号开头的意味着段落注释，而四个分号开头的注释用于文件头注释（译者注：即对该文件的说明）。 + +#| 块注释 + 可以涵盖多行，而且... + #| + 他们可以被嵌套！ + |# +|# + +;;; 运行环境 + +;; 有很多不同的Common Lisp的实现；并且大部分的实现是符合标准的。 +;; 对于入门学习来说，CLISP是个不错的选择。 + +;; 可以通过QuickLisp.org's Quicklisp系统可以管理你的库。 + +;; 通常，使用一个文本编辑器和一个同时在运行的“REPL”来开发Common Lisp； +;; （译者注：“REPL”指读取-求值-打印循环）。 +;; “REPL”允许对程序进行交互式的运行、调试，就好像在系统中这是一场“现场直播”。 + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; 1. 基本数据类型以及运算符 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; 符号 + +'foo ; => FOO 注意到这个符号被自动转换成大写了。 + +;; `intern`由一个给定的字符串而创建相应的符号 + +(intern "AAAA") ; => AAAA + +(intern "aaa") ; => |aaa| + +;;; 数字 +9999999999999999999999 ; 整型数 +#b111 ; 二进制 => 7 +#o111 ; 八进制 => 73 +#x111 ; 十六进制 => 273 +3.14159s0 ; 单精度 +3.14159d0 ; 双精度 +1/2 ; 分数 +#C(1 2) ; 复数 + + +;; 使用函数时，应当写成这样的形式：(f x y z ...)； +;; 其中，f是一个函数（名），x, y, z为参数； +;; 如果你想创建一个“字面”意义上（即不求值）的列表， 只需使用单引号 ' ， +;; 从而避免接下来的表达式被求值。即，只“引用”这个数据（而不求值）。 +'(+ 1 2) ; => (+ 1 2) +;; 你同样也可以手动地调用一个函数（译者注：即使用函数对象来调用函数）： +(funcall #'+ 1 2 3) ; => 6 +;; 一些算术运算符 +(+ 1 1) ; => 2 +(- 8 1) ; => 7 +(* 10 2) ; => 20 +(expt 2 3) ; => 8 +(mod 5 2) ; => 1 +(/ 35 5) ; => 7 +(/ 1 3) ; => 1/3 +(+ #C(1 2) #C(6 -4)) ; => #C(7 -2) + + ;;; 布尔运算 +t ; 逻辑真（任何不是nil的值都被视为真值） +nil ; 逻辑假，或者空列表 +(not nil) ; => t +(and 0 t) ; => t +(or 0 nil) ; => 0 + + ;;; 字符 +#\A ; => #\A +#\λ ; => #\GREEK_SMALL_LETTER_LAMDA（希腊字母Lambda的小写） +#\u03BB ; => #\GREEK_SMALL_LETTER_LAMDA（Unicode形式的小写希腊字母Lambda） + +;;; 字符串被视为一个定长字符数组 +"Hello, world!" +"Benjamin \"Bugsy\" Siegel" ;反斜杠用作转义字符 + +;; 字符串可以被连接起来 +(concatenate 'string "Hello " "world!") ; => "Hello world!" + +;; 一个字符串也可被视作一个字符的序列 +(elt "Apple" 0) ; => #\A + +;; `format`被用于格式化字符串 +(format nil "~a can be ~a" "strings" "formatted") + +;; 利用`format`打印到屏幕上是非常简单的（译者注：注意到第二个参数是t，不同于刚刚的nil）；~% 代表换行符 +(format t "Common Lisp is groovy. Dude.~%") + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 2. 变量 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 你可以通过`defparameter`创建一个全局（动态）变量 +;; 除了：()[]{}",'`;#|\ 这些字符，其他任何字符都可被用于变量名 + +;; 动态变量名应该由*号开头与结尾！ + +(defparameter *some-var* 5) +*some-var* ; => 5 + +;; 你也可以使用Unicode字符： +(defparameter *AΛB* nil) + + +;; 访问一个在之前从未未绑定的变量是一种不规范的行为（即使依然是可能发生的）； +;; 不要尝试那样做。 + + +;; 局部绑定：'me'被绑定到"dance with you"上，当且仅当它在(let ...)内有效。 +;; `let`总是返回在其作用域内最后一个表达式的值 + +(let ((me "dance with you")) + me) +;; => "dance with you" + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 3. 结构体和集合 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 结构体 +(defstruct dog name breed age) +(defparameter *rover* + (make-dog :name "rover" + :breed "collie" + :age 5)) +*rover* ; => #S(DOG :NAME "rover" :BREED "collie" :AGE 5) + +(dog-p *rover*) ; => t ;; ewww) +(dog-name *rover*) ; => "rover" + +;; Dog-p，make-dog，以及 dog-name都是由defstruct创建的！ + +;;; 点对单元 +;; `cons`可用于生成一个点对单元， 利用`car`以及`cdr`将分别得到第一个和第二个元素 +(cons 'SUBJECT 'VERB) ; => '(SUBJECT . VERB) +(car (cons 'SUBJECT 'VERB)) ; => SUBJECT +(cdr (cons 'SUBJECT 'VERB)) ; => VERB + +;;; 列表 + +;; 所有列表都是由点对单元构成、并以'nil'（或者'()）结尾的一种被称为“链表”的数据结构 +(cons 1 (cons 2 (cons 3 nil))) ; => '(1 2 3) +;; `list`是一个生成列表的便利途径 +(list 1 2 3) ; => '(1 2 3) +;; 并且，一个引用也可被用做字面意义上的列表值 +'(1 2 3) ; => '(1 2 3) + +;; 同样的，依然可以用`cons`来添加一项到列表的起始位置 +(cons 4 '(1 2 3)) ; => '(4 1 2 3) + +;; 而`append`也可用于连接两个列表 +(append '(1 2) '(3 4)) ; => '(1 2 3 4) + +;; 或者使用`concatenate` + +(concatenate 'list '(1 2) '(3 4)) + +;; 列表是一种非常核心的数据类型，所以有非常多的处理列表的函数 +;; 例如： +(mapcar #'1+ '(1 2 3)) ; => '(2 3 4) +(mapcar #'+ '(1 2 3) '(10 20 30)) ; => '(11 22 33) +(remove-if-not #'evenp '(1 2 3 4)) ; => '(2 4) +(every #'evenp '(1 2 3 4)) ; => nil +(some #'oddp '(1 2 3 4)) ; => T +(butlast '(subject verb object)) ; => (SUBJECT VERB) + + +;;; 向量 + +;; 向量的字面意义是一个定长数组（译者注：此处所谓字面意义的，即为#(......)的形式，下文还会出现） +#(1 2 3) ; => #(1 2 3) + +;; 使用`concatenate`来将两个向量首尾连接在一起 +(concatenate 'vector #(1 2 3) #(4 5 6)) ; => #(1 2 3 4 5 6) + +;;; 数组 + +;; 向量和字符串只不过是数组的特例 + +;; 二维数组 + +(make-array (list 2 2)) + +;; (make-array '(2 2)) 也是可以的 + +; => #2A((0 0) (0 0)) + +(make-array (list 2 2 2)) + +; => #3A(((0 0) (0 0)) ((0 0) (0 0))) + +;; 注意：数组的默认初始值是可以指定的 +;; 下面是如何指定的示例： + +(make-array '(2) :initial-element 'unset) + +; => #(UNSET UNSET) + +;; 若想获取数组[1][1][1]上的元素： +(aref (make-array (list 2 2 2)) 1 1 1) + +; => 0 + +;;; 变长向量 + +;; 若将变长向量打印出来，那么它的字面意义上的值和定长向量的是一样的 + +(defparameter *adjvec* (make-array '(3) :initial-contents '(1 2 3) + :adjustable t :fill-pointer t)) + +*adjvec* ; => #(1 2 3) + +;; 添加新的元素: +(vector-push-extend 4 *adjvec*) ; => 3 + +*adjvec* ; => #(1 2 3 4) + + + +;;; 不怎么严谨地说，集合也可被视为列表 + +(set-difference '(1 2 3 4) '(4 5 6 7)) ; => (3 2 1) +(intersection '(1 2 3 4) '(4 5 6 7)) ; => 4 +(union '(1 2 3 4) '(4 5 6 7)) ; => (3 2 1 4 5 6 7) +(adjoin 4 '(1 2 3 4)) ; => (1 2 3 4) + +;; 然而，你可能想使用一个更好的数据结构，而并非一个链表 + +;;; 在Common Lisp中，你也可以使用“字典”的概念——哈希表 + +;; 创建一个哈希表 +(defparameter *m* (make-hash-table)) + +;; 给定键，设置对应的值 +(setf (gethash 'a *m*) 1) + +;; （通过键）检索对应的值 +(gethash 'a *m*) ; => 1, t + +;; 注意此处有一细节：Common Lisp的`gethash`往往会返回两个值。 +;; （译者注：返回的第一个值表示给定的键所对应的值或者nil，第二个则表示在哈希表中是否存在这个给定的键） +;; 例如，如果可以找到给定的键所对应的值，则返回一个t，否则返回nil + +;; 由给定的键检索一个不存在的值，则返回nil（译者注：即第一个nil，第二个nil其实是指该键在哈希表中也不存在） + (gethash 'd *m*) ;=> nil, nil + +;; 给定一个键，你可以指定其对应的默认值： +(gethash 'd *m* :not-found) ; => :NOT-FOUND + +;; 在此，让我们看一看怎样处理`gethash`的多个返回值。 + +(multiple-value-bind + (a b) + (gethash 'd *m*) + (list a b)) +; => (NIL NIL) + +(multiple-value-bind + (a b) + (gethash 'a *m*) + (list a b)) +; => (1 T) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 3. 函数 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 使用`lambda`来创建一个匿名函数。 +;; 一个函数总是返回其最后一个表达式的值。 +;; 将一个函数对象打印出来后的形式是多种多样的... + +(lambda () "Hello World") ; => #<FUNCTION (LAMBDA ()) {1004E7818B}> + +;; 使用`funcall`来调用lambda函数 +(funcall (lambda () "Hello World")) ; => "Hello World" + +;; 或者使用`apply` +(apply (lambda () "Hello World") nil) ; => "Hello World" + +;; 显示地定义一个函数（译者注：即非匿名的） +(defun hello-world () + "Hello World") +(hello-world) ; => "Hello World" + +;; 刚刚上面函数名"hello-world"后的()其实是函数的参数列表 +(defun hello (name) + (format nil "Hello, ~a " name)) + +(hello "Steve") ; => "Hello, Steve" + +;; 函数可以有可选形参并且其默认值都为nil + +(defun hello (name &optional from) + (if from + (format t "Hello, ~a, from ~a" name from) + (format t "Hello, ~a" name))) + + (hello "Jim" "Alpacas") ;; => Hello, Jim, from Alpacas + +;; 你也可以指定那些可选形参的默认值 +(defun hello (name &optional (from "The world")) + (format t "Hello, ~a, from ~a" name from)) + +(hello "Steve") +; => Hello, Steve, from The world + +(hello "Steve" "the alpacas") +; => Hello, Steve, from the alpacas + + +;; 当然，你也可以设置关键字形参； +;; 关键字形参往往比可选形参更具灵活性。 + +(defun generalized-greeter (name &key (from "the world") (honorific "Mx")) + (format t "Hello, ~a ~a, from ~a" honorific name from)) + +(generalized-greeter "Jim") ; => Hello, Mx Jim, from the world + +(generalized-greeter "Jim" :from "the alpacas you met last summer" :honorific "Mr") +; => Hello, Mr Jim, from the alpacas you met last summer + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 4. 等价性的含义 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Common Lisp具有一个十分复杂的用于判断等价的系统，下面只是其中一部分的例子 + +;; 若要比较数值是否等价，使用`=` +(= 3 3.0) ; => t +(= 2 1) ; => nil + +;; 若要比较对象的类型，则使用`eql` +;;（译者注：抱歉，翻译水平实在有限，下面是我个人的补充说明） +;;（`eql`在二者`eq`等价，或者同为数字与字符下相同的类型，例如同为整形数或浮点数，并且他们的值相等时，二者`eql`等价） +;; (想要弄清`eql`，其实有必要先了解`eq`) +;;（可以去CLHS上分别查看两者的文档，另外，《实用Common Lisp编程》里的4.8节也提到了两者的区别） +(eql 3 3) ; => t +(eql 3 3.0) ; => nil +(eql (list 3) (list 3)) ; => nil + +;; 对于列表、字符串、以及位向量，使用`equal` +(equal (list 'a 'b) (list 'a 'b)) ; => t +(equal (list 'a 'b) (list 'b 'a)) ; => nil + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 5. 控制流 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; 条件判断语句 + +(if t ; “测试”，即判断语句 + "this is true" ; “下一步”，即判断条件为真时求值的表达式 + "this is false") ; “否则”，即判断条件为假时求值的表达式 +; => "this is true" + +;; 在“测试”（判断）语句中，所有非nil或者非()的值都被视为真值 +(member 'Groucho '(Harpo Groucho Zeppo)) ; => '(GROUCHO ZEPPO) +(if (member 'Groucho '(Harpo Groucho Zeppo)) + 'yep + 'nope) +; => 'YEP + +;; `cond`将一系列测试语句串联起来，并对相应的表达式求值 +(cond ((> 2 2) (error "wrong!")) + ((< 2 2) (error "wrong again!")) + (t 'ok)) ; => 'OK + +;; 对于给定值的数据类型，`typecase`会做出相应地判断 +(typecase 1 + (string :string) + (integer :int)) + +; => :int + +;;; 迭代 + +;; 当然，递归是肯定被支持的： + +(defun walker (n) + (if (zerop n) + :walked + (walker (1- n)))) + +(walker) ; => :walked + +;; 而大部分场合下，我们使用`DOLIST`或者`LOOP`来进行迭代 + + +(dolist (i '(1 2 3 4)) + (format t "~a" i)) + +; => 1234 + +(loop for i from 0 below 10 + collect i) + +; => (0 1 2 3 4 5 6 7 8 9) + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 6. 变异 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 使用`setf`可以对一个已经存在的变量进行赋值； +;; 事实上，刚刚在哈希表的例子中我们已经示范过了。 + +(let ((variable 10)) + (setf variable 2)) + ; => 2 + + +;; 所谓好的Lisp编码风格就是为了减少破坏性函数的使用，防止副作用的发生。 +;;（译者注：很惭愧，确实不明白原作者所说的"Mutation"，即这里的“变异”到底指的是什么特性） +;;（毕竟他只给了一个例子，我猜测应该是和词法变量、闭包等特性有关，还望高人指点） + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 7. 类与对象 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 我们就不写什么有关动物的类了，下面给出的是一个很“人文主义”的类 + +(defclass human-powered-conveyance () + ((velocity + :accessor velocity + :initarg :velocity) + (average-efficiency + :accessor average-efficiency + :initarg :average-efficiency)) + (:documentation "A human powered conveyance")) + +;; `defclass`，后面接类名，以及超类列表 +;; 再接着是槽的列表（槽有点像Java里的字段），最后是一些可选的特性，例如文档说明“:documentation” + +;; 如果超类列表为空，则默认该类继承于“standard-object”类（standard-object又是T的子类）； +;; 这种默认行为是可以改变的，但你最好有一定的基础并且知道自己到底在干什么； +;; 参阅《The Art of the Metaobject Protocol》来了解更多信息。 + +(defclass bicycle (human-powered-conveyance) + ((wheel-size + :accessor wheel-size + :initarg :wheel-size + :documentation "Diameter of the wheel.") + (height + :accessor height + :initarg :height))) + +(defclass recumbent (bicycle) + ((chain-type + :accessor chain-type + :initarg :chain-type))) + +(defclass unicycle (human-powered-conveyance) nil) + +(defclass canoe (human-powered-conveyance) + ((number-of-rowers + :accessor number-of-rowers + :initarg :number-of-rowers))) + + +;; 在REPL中对human-powered-conveyance类调用`DESCRIBE`如下： + +(describe 'human-powered-conveyance) + +; COMMON-LISP-USER::HUMAN-POWERED-CONVEYANCE +; [symbol] +; +; HUMAN-POWERED-CONVEYANCE names the standard-class #<STANDARD-CLASS +; HUMAN-POWERED-CONVEYANCE>: +; Documentation: +; A human powered conveyance +; Direct superclasses: STANDARD-OBJECT +; Direct subclasses: UNICYCLE, BICYCLE, CANOE +; Not yet finalized. +; Direct slots: +; VELOCITY +; Readers: VELOCITY +; Writers: (SETF VELOCITY) +; AVERAGE-EFFICIENCY +; Readers: AVERAGE-EFFICIENCY +; Writers: (SETF AVERAGE-EFFICIENCY) + +;; 注意到这些有用的返回信息——Common Lisp一直是一个交互式的系统。 + +;; 若要定义一个方法； +;; 先让我们注意到我们计算自行车轮子周长时使用了这样一个公式：C = d * pi + +(defmethod circumference ((object bicycle)) + (* pi (wheel-size object))) + +;; pi在Common Lisp中已经是一个内置的常量。 + +;; 假设我们已经知道效率值（“efficiency value”）和船桨数大概呈对数关系； +;; 那么效率值的定义应当在构造器/初始化过程中就被完成。 + +;; 下面是一个如何初始化实例的例子： +;; 构造它： + +(defmethod initialize-instance :after ((object canoe) &rest args) + (setf (average-efficiency object) (log (1+ (number-of-rowers object))))) + +;; 接着初构造一个实例并检查平均效率... + +(average-efficiency (make-instance 'canoe :number-of-rowers 15)) +; => 2.7725887 + + + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 8. 宏 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 宏可以让你扩展语法 + +;; Common Lisp并没有自带WHILE循环——所以让我们自己来为他添加一个； +;; 如果按照“拼装者”的直觉来看，我们会这样写： + +(defmacro while (condition &body body) + "While `condition` is true, `body` is executed. + +`condition` is tested prior to each execution of `body`" + (let ((block-name (gensym))) + `(tagbody + (unless ,condition + (go ,block-name)) + (progn + ,@body) + ,block-name))) + +;; 让我们来看看它的高级版本： + + +(defmacro while (condition &body body) + "While `condition` is true, `body` is executed. + +`condition` is tested prior to each execution of `body`" + `(loop while ,condition + do + (progn + ,@body))) + +;; 然而，在一个比较现代化的编译环境下，这样的WHILE是没有必要的； +;; LOOP形式的循环和这个WHILE同样的好，并且更易于阅读。 + +;; 注意到反引号'`'，逗号','以及'@'符号，这三个符号； +;; 反引号'`'是一种所谓“quasiquote”的引用类型的运算符，有了它，之后的逗号“,”才有意义。 +;; 逗号“,”意味着解除引用（unquote，即开始求值）；“@”符号则表示将当前的参数插入到当前整个列表中。 +;;（译者注：这三个符号只不过是语法糖罢了，而要想真正用好、用对，需要下一番功夫） +;;（甚至光看《实用 Common Lisp 编程》中关于宏的介绍都是不够的） +;;（建议再去读一读Paul Graham的两本著作《ANSI Common Lisp》和《On Lisp》） + +;; 函数`gensym`创建一个唯一的符号——这个符号确保不会出现在其他任何地方。 +;; 这样做是因为，宏是在编译期展开的，而在宏中声明的变量名极有可能和常规代码中使用的变量名发生冲突。 + +;; 可以去《实用 Common Lisp 编程》中阅读更多有关宏的内容。 +``` + + +## 拓展阅读 + +[继续阅读《实用 Common Lisp 编程》一书](http://www.gigamonkeys.com/book/) + + +## 致谢 + +非常感谢Scheme社区的人们，我基于他们的成果得以迅速的写出这篇有关Common Lisp的快速入门 +同时也感谢 +- [Paul Khuong](https://github.com/pkhuong) ，他提出了很多有用的点评。 |