「型」の定義に挑む | POSTD

テクノロジーカテゴリーの変更を依頼記事元:

postd.cc

261 usersがブックマークコメント

「型」の定義に挑む | POSTD

科学はその方法論上のイメージよりもはるかに”ぞんざい”かつ”非合理的”なものである。 Paul Feyerabend... 科学はその方法論上のイメージよりもはるかに”ぞんざい”かつ”非合理的”なものである。 Paul Feyerabend著『Against Method（方法への挑戦）』（1975年）プログラミング言語は魅力的な分野です。それは、計算機科学（と論理）を社会学や人間とコンピュータの相互作用、科学的に定量化できない直感や嗜好、そして（良くも悪くも）政治などを含む分野と結び付けてくれるからです。プログラミング言語を話題にする場合、たいてい何らかの客観的な真実を追求する科学的議論になってしまいます。科学は完璧のオーラに包まれているため、科学的本質の核心部だけに集中し、他の部分を無視するのが正しいプログラミング言語の考え方だと単純に思ってしまうのも無理ありません。しかし、これではプログラミング言語を面白くしている多くのものが除外されてしまいます。この隙間を埋める1つの方法は、科学の哲学に目を向

mandel59 良記事だと思うが、「この型システムは、論理でリンクに戻り、従来の”言語の安全性”プロパティを拡張します」といった残念な訳文がある、いつものPOSTDだ。

2015/06/16 リンク

Dai_Kamijo 「型」の定義に挑む | コンピュータサイエンス | POSTD @POSTDccさんから — 上條　大 (@Dai_Kamijo) October 29, 2015 from Twitter https://twitter.com/Dai_Kamijo October 29, 2015 at 04:12PM via IFTTT

2015/10/29 リンク