What is Gradual Typing | Jeremy Siek
(For a Japanese translation, go here) Gradual typing is a type system I developed with Walid Taha in 2006 that allows parts of a program to be dynamically typed and other parts to be statically typed. The programmer controls which parts are which by either leaving out type annotations or by adding them in. This article gives a gentle introduction to gradual typing. The following were our motivatio
Lispの力の源泉 - 同図像性 - slow living in the sky
上の写真は、"On Lisp"や"ハッカーと画家"などの著者ポール・グレアムです。 ポール・グレアムは、 自身のブログ でLispに関する記事を多く執筆しており、現在はLisp方言の Arc に力を入れているようです。 以下の内容は、このポール・グレアムのLispに関する知見を元に自分なりにまとめたものです。 Lispのすごさとは 今まで自分は、"Lispはすごい" と思いながらも、実は半信半疑な部分がありました。 ところが、意外なところでそれがわかったのは、 プログラミングClojure 第２版 を読んだときでした。 以下、その文章の引用です。 言語の中からその言語を変えてしまうというのはLispに特有の利点だ。この利点は次に挙げるようなさまざまな側面をもつ。 Lispは同図像性を持つ（homoiconic）言語だ。すなわち、LispのコードはLispのデータでもある。これによって、「プ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
