オブジェクト指向＆関数型言語でなぜつくるのか - IOモナドで副作用を実現する
『IOモナドで副作用を実現する』 以下の文章は、第13章の一部として「関数型言語の7つの特徴」のあとの「関数型言語の分類」に続く節として書いたものです。 他の文章に比べてバランスが悪かったため、最終段階でボツにしました。 →『オブジェクト指向でなぜつくるのか第2版』のサポートページへ 純粋関数型言語であっても、プログラム全体としては画面やデータベースやネットワークなどとの外部入出力を実現する必要があります。このため、言語仕様として副作用を認めないとしても、なんらかの仕組みを用意して入出力を実現する必要があります。これはHaskellでは「モナド」と呼ぶ仕組みが相当します。今のところモナドを言語標準の仕組みにしているのはHaskellだけですが、わかりづらいことで悪名高い仕組みでもあるため、ここで概要を説明しておきましょう。突っ込んだ内容になりますので、Haskellやモナドに特別な関心が
Coding: Maybe vs Null Object patterns | Mark Needham
On the project I’m currently working on my colleague Christian Blunden has introduced a version of the Maybe type into the code base, a concept that originally derives from the world of functional programming. The code looks a bit like this: public interface Maybe<T> { bool HasValue(); T Value(); } public class Some<T> : Maybe<T> { private readonly T t; public Some(T t) { this.t = t; } public bool
Java の語彙で Maybe を説明してみる - ぐるぐる～
Maybeを知った。 - ちゃまぐの備忘録
package Test; use Mouse; has hoge => ( is => 'rw', isa => 'Str', ); package main; my $test = Test->new; $test->hoge( undef ); こんな感じで、isaでStrを指定したアトリビュートにundefを書き込もうとすると怒られる。 理由は簡単で、Str型は文字列ではないundefを書き込むことができないというだけ。 これを知らなかった。勉強不足ですね。 文字列とundefも入れたいという場合は、以下のようにMaybeを使うといい。 has hoge => ( is => 'rw', isa => 'Maybe[Str]', ); 参考 http://perldoc.perlassociation.org/pod/Moose-Doc-JA/Moose/Manual/Types.
The Haskell 98 Library Report: Maybe Utilities
module Maybe( isJust, isNothing, fromJust, fromMaybe, listToMaybe, maybeToList, catMaybes, mapMaybe, -- ...and what the Prelude exports Maybe(Nothing, Just), maybe ) where isJust, isNothing :: Maybe a -> Bool fromJust :: Maybe a -> a fromMaybe :: a -> Maybe a -> a listToMaybe :: [a] -> Maybe a maybeToList :: Maybe a -> [a] catMaybes :: [Maybe
Meet the Monads
モナドを実装する(Python編) | Webシステム開発／教育ソリューションのタイムインターメディア
Perlでモナドを学ぶ - Maybeモナド編 - Pixel Pedals of Tomakomai
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
What operator should perl5porters use for safe dereferencing?
[Cl-monad-macros-cvs] r6 - trunk
Null pointers vs None vs Maybe