keigoi https://blog.hatena.ne.jp/keigoi/ keigoiの日記 https://keigoi.hatenadiary.org/ Haskell OCaml 今日は関数型言語の型で副作用(入出力)の制約を表現する、というお話を書きます。 (勢いで書いたので、わかりやすいかどうか不明です。) Safeio in OCaml ガリグ先生による Caml-list への投稿に Safeio というお話があります。 任意個のチャネルへの入出力に関して、 開かれたチャネルは必ず閉じられる 入力専用で開いたチャネルには入力しかできない 出力専用で開いたチャネルには出力しかできない このような制限をOCamlの型で表現できるんですよ、というお話です。すごいですね。Haskellで同じようなことをやっているネタとして、セッション型をHaskellで実装するお話があ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20100704%2F1278223814" title=" 可変状態モナドと安全な入出力とセッション型 in OCaml - keigoiの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-07-04 15:10:14 rich https://keigoi.hatenadiary.org/entry/20100704/1278223814 1.0 100%