common-lisp
Pattern matching

Panoramica

Le due librerie principali che forniscono la corrispondenza dei modelli in Common Lisp sono Optima e Trivia . Entrambi forniscono un'API e una sintassi di corrispondenza simili. Tuttavia trivia fornisce un'interfaccia unificata per estendere la corrispondenza, defpattern .

Richieste Clack di spedizione

Poiché una richiesta di clack è rappresentata come plist, possiamo utilizzare la corrispondenza del modello come punto di ingresso all'app clack come modo per instradare la richiesta ai rispettivi controller appropriati

(defvar *app*
  (lambda (env)
    (match env
      ((plist :request-method :get
              :request-uri uri)
       (match uri
         ("/" (top-level))
         ((ppcre "/tag/(\\w+)/$" name) (tag-page name)))))))

Nota: per avviare *app* passiamo a clackup. ej (clack:clackup *app*)

defun-partita

Usando il pattern matching si può intrecciare la definizione della funzione e la corrispondenza del pattern, in modo simile a SML.

(trivia:defun-match fib (index)
  "Return the corresponding term for INDEX."
  (0 1)
  (1 1)
  (index (+ (fib (1- index)) (fib (- index 2)))))

(fib 5)
;; => 8

Modelli di costruttore

Contro-celle, strutture, vettori, liste e simili possono essere abbinati a schemi di costruzione.

(loop for i from 1 to 30
      do (format t "~5<~a~;~>"
                 (match (cons (mod i 3)
                              (mod i 5))
                   ((cons 0 0) "Fizzbuzz")
                   ((cons 0 _) "Fizz")
                   ((cons _ 0) "Buzz")
                   (_ i)))
      when (zerop (mod i 5)) do (terpri))
; 1    2    Fizz 4    Buzz 
; Fizz 7    8    Fizz Buzz 
; 11   Fizz 13   14   Fizzbuzz
; 16   17   Fizz 19   Buzz 
; Fizz 22   23   Fizz Buzz 
; 26   Fizz 28   29   Fizzbuzz

Guardia-modello

I modelli di guardia possono essere utilizzati per verificare che un valore soddisfi un modulo di prova arbitrario.

(dotimes (i 5)
  (format t "~d: ~a~%"
          i (match i
              ((guard x (oddp x)) "Odd!")
              (_ "Even!"))))
; 0: Even!
; 1: Odd!
; 2: Even!
; 3: Odd!
; 4: Even!