2009-12-01から1ヶ月間の記事一覧

Bメソッドを用いた形式仕様記述と検証

1月25日開催。 http://www.topse.or.jp/events/20100125.html

Compojure

Clojureで作られたWebフレームワーク。README通り、コンソール上で動作確認する。 http://github.com/weavejester/compojure/blob/master/README.markdownant deps で、必要なライブラリを全部ダウンロードしてくれるので、 compojure.jarと合わせてCLASSPAT…

Project Euler Problem 4

(defn palindrome? [x] (= (reverse (str x)) (reverse (reverse (str x))))) (defn search [] (filter palindrome? (take 10000 (for [x (reverse (range 100 1000)) y (reverse (range 100 1000))] (* x y)))))

小技

REPL上で(doc キーワード)とすると、キーワードに対応する文書が表示される。user=> (doc reverse) - clojure.core/reverse ([coll]) Returns a seq of the items in coll in reverse order. Not lazy. nilClojureにはインスペクタなるものがある。 (use 'cl…

リンク集

http://onclojure.com/2009/03/05/a-monad-tutorial-for-clojure-programmers-part-1/The Continuation Monad in Clojure http://intensivesystems.net/tutorials/cont_m.htmlhttp://en.wikibooks.org/wiki/Clojure_Programming

JOptionPane

Scala版 javax.swing.JOptionPane.showMessageDialog(null, "Hello Scala") Clojure版 (. javax.swing.JOptionPane (showMessageDialog nil "Hello Clojure"))