プログラミング言語Scala 日本語情報サイト - 静的型でできること(1)
いきなりですが、このコラムを読んでおられる方々は、静的型付けに対してどのようなイメージをもっておられるでしょうか。今まで、静的型付け VS. 動的型付けの議論をさんざん見てきましたが、静的型の能力に関して正しく理解されている議論をあまり見かけたことがありません。静的型付け VS. 動的型付けの議論で、静的型付け(および明示的な型付け)のメリットとして主に挙げられるのは次の２点でしょう。 コンパイル時に単純なエラーを発見することができる 静的型を明示的に書くことにより、コードを読む人間により多くの情報が伝わる これらのメリットは間違いではありませんが、あくまでJava的な型システム上での話であり、静的型システムによって検出できることは、もっとたくさんあります。このシリーズでは、Scalaの静的型システムを駆使することで、どのような事ができるのかを紹介していきたいと思います。 ここで第1回の題
モナドはメタファーではない · eed3si9n
2011-05-28 Scala界の関数型プログラミング一派を代表する論客の一人、@djspiewak が 2010年に書いた “Monads Are Not Metaphors” を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2010年12月27日 Daniel Spiewak 著 2011年5月29日 e.e d3si9n 訳 僕は今、約束を破るところだ。およそ三年前、僕は絶対にモナドの記事だけは書かないと自分に約束した。既にモナドに関する記事は有り余っている。記事の数が多すぎてその多さだけで多くの人は混乱している。しかも全員がモナドに対して異なる扱い方をしているため、モナドの概念を初めて学ぼうとする者は、ブリトー、宇宙服、象、砂漠のベドウィン (訳注: アラブ系遊牧民) の共通項を探す努力をするハメになっている。 僕は、この混乱した
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
