第25回 Haskell流の例外処理を学ぶ
Haskellの静的な型検査は強力ですが，プログラムの実行時に起こり得るすべての問題を解決できるわけではありません。例えば第5回で指摘したように，依存型を持たない現在の標準Haskellでは，検証できる問題の範囲に限界があります。また，FFIを使って呼び出す外部関数には，Haskellの型検査は行き届きません。実行前に静的に解決できない問題は，実行時に動的に解決する必要があります。このための手段を提供するのが例外処理です。 例外処理については，これまで何度か断片的に説明しましたが，全体像をまとめて解説したことはありませんでした。次回以降にFFIと例外処理との関係について説明する前に，今回はHaskellの例外処理についてきちんと説明しておきましょう。 例外処理の仕組みは，GHC 6.10に収録されるbase 4.0パッケージ以降で大きく変更されます。baseパッケージはデファクト・スタンダ
「ニコニコ春画」サービス開始のお知らせ
本日よりニコニコ春画というサービスが開始しました。 ニコニコ静画は全年齢対象サービスとして 小さなお子さんが見ても安心な静止画サイトを目指しています。 しかし、表現の自由と公序良俗といったもののバランスは極めて難しく、 現在は運営スタッフが各種対処を行っておりますが、やはり完全に主観に寄らない判断というのは非常に困難です。 これを解決する試みが「ニコニコ春画」です。 アダルト要素の強い作品のみで構成されたこのサービス上で アダルト要素を楽しみ、それが評価される場とすることで自主的な住み分けを進めたいを思っています。 また、この場でひときわ盛り上がった作品はよりアダルト要素が強いと言え、 全年齢対象ではない作品の検出にも役立つ可能性があります。 この「ニコニコ春画」の取り組みで効果が見込めるようであれば 「表現の自由と公序良俗のバランス」に皆さまの総意を汲み、 今後のアダルト表現の規制緩和等
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
