JavaとJML
この記事は「JavaWorld」誌の「私が感動したJavaソースコード」というコー ナーに掲載されたエッセイの原稿です。雑誌掲載後かなり時間がたったので公 開します（掲載記事とは若干の違いがあります）。記事内のURLのなかには、 現在ではアクセス不可能であったり、移転したものがあるかもしれません。 キレイに書かれたコードを見ると“感心”します。ですが、それはどうも “感動”とは違うような気がします。例えば、Perlの作者であるラリー・ウォー ルが（Perlより前に）書いたニュースリーダー「rn」のC言語ソースコードは かなりトンデモナイものです。感心しません。が、そのえぐさは感動ものでし た。 CやC++では、言語処理系やOSに関する知識に基づきトリッキーなワザを使っ たヤバいコードをよく見かけました。一方、Javaはというと、プラットフォー ムに依存しない行儀がよいコードを書きやすいプロ
ストリング図による複合モナドの計算 (1)
四角形の左右の辺が圏を、上下の辺が関手を表す。四角形内部に自然変換 （の名前）を記入する（F⇒Fの恒等自然変換の場合は四角形内は空白とする）。 関手は左から右、自然変換は上から下と方向を決めているので、いち いち矢印は書かなくてもよい。（人により、右から左、下から上の方向も使う ので注意！） 次は、複合的なペースティング図と、それに対応するスタック図の例である。 α:: F;;G ⇒ H : A→C β:: F;;F ⇒ K;;L : A→A 4. ストリング図 平面内で、一筆書きできる“交差しない境界線”で囲まれた領域を‘部屋’ （chamber）と呼ぶ。平面内に描かれた有向グラフDが、部屋Rに対する‘スト リング図’だとは、次を満たすことである。なお、‘開いた辺’とは、始点ま たは終点のどちらか一方のノードを持たない辺であり、ここではグラフに開い た辺を認める。 すべてのノードは部屋の
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Chimaira.org
