2007-12-16から1日間の記事一覧
一意型の実装 前回は、関数的に入出力を行うプログラムを記述する方法として、モナドとは別のアプローチである一意型について説明しました。今回は、一意型の実装方法について検討します。 一意型は静的型システムを前提とした仕組みであるため、動的型シス…
一意型の実装 前回は、関数的に入出力を行うプログラムを記述する方法として、モナドとは別のアプローチである一意型について説明しました。今回は、一意型の実装方法について検討します。 一意型は静的型システムを前提とした仕組みであるため、動的型シス…
