購入したHDD、このサイズで100MB！「懐かしい」「一生かけても使いきれない大容量」

2023/12/13 16 users HDD 一生 100MB 大容量 サイズ

rainforce @circle_myria "100MB"のHDDを手に入れたので快適なPCライフが送れそうです。 な ん と こ の サ イ ズ で 1 0 0 M B で す pic.twitter.com/bbMGOGLQQw 2023-12-12 17:11:50 続きを読む

モナド則だけ見つめていたい - LT駆動開発14 | そんなこと覚えてない

2015/05/03 26 users モナド Haskell Wikibooks Qiita ポッ

LT駆動開発14に参加した。 ゼノブレイドクロス発売記念でモナドの話をしといた。 Stateモナドを簡約して、Stateモナドを説明しようとおもったけどうまくいかなくてボツになりました。 Haskell - Stateモナドを手で簡約してみたりしていた - Qiita そんなわけでHaskell/圏論 - Wikibooksを元ネタにモナド則を辿ってみました。 a -> M bって型の関数を並べる... 続きを読む

モナド教

2014/08/13 305 users モナド return 操作 前提知識 存在

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

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

2013/06/05 96 users モナド 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 Monad where return 風評 メソッド

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