はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ m b

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 3 / 3件)
 

モナド教

2014/08/13 このエントリーをはてなブックマークに追加 305 users Instapaper Pocket Tweet Facebook Share Evernote Clip モナド return 前提知識 操作 存在

前提知識:モナド モナドを理解せずともモナド教を信ずることは出来ますが,理解していればより深く納得できるでしょう. 操作 :: 型 -> 型 は,"型"から"型"へ写す"操作"の存在を表します. モナドの文脈 m が必要とする2つの操作: return :: a -> m a で,値を保ちつつ文脈 m の中に入れ込むことが出来ます. (=<<) :: (a -> m b) -> (m a -> m... 続きを読む

モナドの六つの系統 - モナドとわたしとコモナド

2013/06/05 このエントリーをはてなブックマークに追加 96 users Instapaper Pocket Tweet Facebook Share Evernote Clip モナド Haskell コモナド 系統 概念

2013-06-05 モナドの六つの系統 モナドは「アクション」を表す抽象的な構造である。モナドは、Haskellにさまざまな概念に対する記述能力をもたらす。 モナドの基礎 return :: a -> m a: 純粋な値をモナドで包む。 m >>= f :: m a -> (a -> m b) -> m b: モナドmに包まれた値をfに渡し、その結果として現れたモナドを結合する。 固有アクション... 続きを読む

QAで学ぶMonad - あどけない話

2011/04/13 このエントリーをはてなブックマークに追加 143 users Instapaper Pocket Tweet Facebook Share Evernote Clip Monad where return 風評 メソッド

Haskellこれは、Monad でつまづいた Haskeller のための Monad 入門です。Monadとは何ですか?Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。この型クラスのメソッドは、return と >>= です。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b... 続きを読む

 
(1 - 3 / 3件)