2010-10-01から1ヶ月間の記事一覧

Forms

F#

LinuxでもFormsが動くんですね。 open System.Drawing open System.Windows.Forms type HelloWindow() = let frm = new Form(Width = 400, Height = 140) let fnt = new Font("Times New Roman", 28.0f) let lbl = new Label(Dock = DockStyle.Fill, Font = …

TAPL

F#

TAPL(Types and Programming Languages)の課題を適当に実装する。 type Term = | TmTrue | TmFalse | TmZero | TmIsZero of Term | TmIf of Term * Term * Term | TmSucc of Term | TmPred of Term | TmNot of Term let rec Eval t = match t with | TmTrue …

rorate

なんとなく言語比較。 --Clojure (defn rotate [lst] (reverse (map reverse lst))) --Common Lisp (defun rotate (lst) (reverse (mapcar #'reverse lst))) --F# > let rotate lst = - List.rev (List.map List.rev lst);; val rotate : 'a list list -> 'a…