Scheme and Lisp syntaxes

It is possible to write OCaml programs with Scheme or Lisp syntax. They are close to one another, both using parentheses to identify and separate statements.

  1. Common
  2. Scheme syntax
  3. Lisp syntax

Common

The syntax extension kits are named "pa_scheme.cmo" and "pa_lisp.cmo". The sources (same names ending with ".ml" in the Camlp5 sources), are written in their own syntax. They are boostrapped thanks to the versions being written in revised syntax and to the Camlp5 pretty printing system.

In the OCaml toplevel, it is possible to use them by loading "camlp5r.cma" first, then "pa_lisp.cmo" or "pa_scheme.cmo" after:

  ocaml -I +camlp5 camlp5r.cma pa_scheme.cmo
          Objective Caml version ...

          Camlp5 Parsing version ...

  # (let ((x 3)) (* 3 x))
  - : int = 9
  # (values 3 4 5)
  - : (int * int * int) = (3, 4, 5)

  ocaml -I +camlp5 camlp5r.cma pa_lisp.cmo
          Objective Caml version ...

          Camlp5 Parsing version ...

  # (let ((x 3)) (* 3 x))
  - : int = 9
  # (, 3 4 5)
  - : (int * int * int) = (3, 4, 5)

The grammar of Scheme and Lisp are relatively simple, just reading s-expressions. The syntax tree nodes are created in the semantic actions. Because of this, these grammars are hardly extensible.

However, the syntax extension EXTEND ("pa_extend.cmo" in extensible grammars) works for them: only the semantic actions need be written with the Scheme or Lisp syntax. Stream parsers are also implemented.

Warning: these syntaxes are incomplete, but can be completed, if Camlp5 users are insterested.

Scheme syntax

Some examples are given to show the principles:

OCaml Scheme
let x = 42;; (define x 42)
let f x = 0;; (define (f x) 0)
let rec f x y = 0;; (definerec (f x y) 0)
let x = 42 and y = 27 in x + y;;   (let ((x 42) (y 27)) (+ x y))
let x = 42 in let y = 27 in x + y;;   (let* ((x 42) (y 27)) (+ x y))
module M = struct ... end;; (module M (struct ...))
type 'a t = A of 'a * int | B (type (t 'a) (sum (A 'a int) (B)))
fun x y -> x (lambda (x y) x)
x; y; z (begin x y z)
f x y (f x y)
[1; 2; 3] [1 2 3]
x :: y :: z :: t [x y z :: t]
a, b, c (values a b c)
match x with 'A'..'Z' -> "x" (match x ((range 'A' 'Z') "x")))
{x = y; z = t} {(x y) (z t)}

Lisp syntax

The same examples:

OCaml Lisp
let x = 42;; (value x 42)
let f x = 0;; (value f (lambda x 0))
let rec f x y = 0;; (value rec f (lambda (x y) 0))
let x = 42 and y = 27 in x + y;;   (let ((x 42) (y 27)) (+ x y))
let x = 42 in let y = 27 in x + y;;   (let* ((x 42) (y 27)) (+ x y))
module M = struct ... end;; (module M (struct ...))
type 'a t = A of 'a * int | B (type (t 'a) (sum (A 'a int) (B)))
fun x y -> x (lambda (x y) x)
x; y; z (progn x y z)
f x y (f x y)
[1; 2; 3] (list 1 2 3)
x :: y :: z :: t (list x y z :: t)
a, b, c (, a b c)
match x with 'A'..'Z' -> "x" (match x ((range 'A' 'Z') "x")))
{x = y; z = t} ({} (x y) (z t))

Copyright 2007-2017 Daniel de Rauglaudre (INRIA)

Valid XHTML 1.1