S式で書くOCaml

～ S式は神が作った、その他の文法は人間が勝手に作った ～

• 2013年4月6日、更新版
  REPL追加、リーダーマクロ等追加、common.scmに色々追加
• 2012年4月8日、初版公開

gosh s_exp_ocaml.scm src.scm > result.ml
ocamlc result.ml

もっともらしい概要のようなもの

• レキシカルスコープ、高階関数
• 静的型付け、型推論
• パターンマッチ
• カリー化、関数の部分適用
• オブジェクト指向プログラミング
• 例外処理

• Scheme R5RSマクロ(define-syntax, syntax-rules)
• Common Lispマクロ(define-macro)
• リーダーマクロ(set-macro-character等)

• リストの内包表記(HaskellやPython等の言語が持つ機能、組み込みのリストを扱う)
  マクロ名は「list-ec」
• 関数の合成(Haskell等の言語が持つ機能)
  マクロ名は「compose」
• 可変長引数の関数(記法はSchemeから導入、厳密には関数ではなくマクロを定義するマクロ)
  マクロ名は「defun-varargs」
  (defun-varargs foo args exp) や (defun-varargs foo (v1 v2 . opts) exp)と書けば引数がリストにまとめられます。
• 契約プログラミング(EiffelやDの持つ機能)
  マクロ名は「contract-fun」

各種機能に関する情報等

• 基本的なデータ、文法等(別ページ)
  
• マクロに関する基本的なこと(別ページ)
  マクロの仕組みそのものの紹介です。
• もっとマクロのこと(別ページ)
  マクロを使用したサンプルの紹介です。

REPLを起動してみる

#rlwrap gosh s_exp_ocaml.scm

***   S-expression OCaml version 0.20130406
***   OCaml version 4.00.1

#

#   (* 4 -5)
((4) * (-5));;

- : int = -20

# '(1 2 3 4 5)
([(1);(2);(3);(4);(5)]);;

- : int list = [1; 2; 3; 4; 5]

以前日記に書いた古い情報

図形描画を行うサンプル

gosh s_exp_ocaml.scm draw3.scm > result.ml
ocamlc -dllpath . gd.cma result.ml
./a.out