Scalaの型システムが先進的であることは、皆さんもご存じのことかと思います。この投稿では、Scalaの型システムのみを使ったクイックソートアルゴリズムの実装方法をご紹介したいと思います。なお、ここで紹介するデモの完全な […]

科学はその方法論上のイメージよりもはるかに”ぞんざい”かつ”非合理的”なものである。 Paul Feyerabend著『Against Method(方法への挑戦)』(19 […]

前回の投稿では、PHP7に取り入れられたimprovements to the hashtable implementation(ハッシュテーブル実装の改善)について書きました。それに続く形で、今回はPHPの全般的な値の […]

私はテスト駆動開発(TDD)について、Kent Beckの著書『Test-Driven Development By Example』(邦訳『テスト駆動開発入門』)で学びました。これは大変優れた入門書で、TDDにますます […]

私の小論“In Search of Types”では、プログラミングで使われる“型”という言葉の概念や目的、考え方について、公平な批評を心がけました。所々で、私の真剣さを感じ取っていただけるはずです。このブログ記事では逆 […]