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のデータでもある。これによって、「プ
「型」の定義に挑む | POSTD
科学はその方法論上のイメージよりもはるかに”ぞんざい”かつ”非合理的”なものである。 Paul Feyerabend著『Against Method（方法への挑戦）』（1975年） プログラミング言語は魅力的な分野です。それは、計算機科学（と論理）を 社会学や人間とコンピュータの相互作用 、科学的に定量化できない直感や嗜好、そして（良くも悪くも）政治などを含む分野と結び付けてくれるからです。 プログラミング言語を話題にする場合、たいてい何らかの客観的な真実を追求する科学的議論になってしまいます。科学は完璧のオーラに包まれているため、科学的本質の核心部だけに集中し、他の部分を無視するのが正しいプログラミング言語の考え方だと単純に思ってしまうのも無理ありません。 しかし、これではプログラミング言語を面白くしている多くのものが除外されてしまいます。この隙間を埋める1つの方法は、科学の哲学に目を向
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
㊣十大正规足球外围app-bsport体育娱乐官网入口
