[SIMILAR] WITH 7748 transformers WITH 7748 monadreader WITH 7748 monadstate WITH 5341 型ク WITH 4395 ナド WITH 3607 モナ WITH 2945 step WITH 2569 haskell WITH 1873 合成 WITH 1273 拡張 WITH 496 チュ WITH 416 説明 WITH 294 最後 WITH 290 ラス WITH 287 クラ WITH 280 トリ WITH 273 アル WITH 262 リア WITH 154 ュー WITH 139 ート WITH 1 [ WITH 1 ] WITH 1 monad WITH 1 by WITH 1 一つ WITH 1 つの WITH 1 の例 WITH 1 例を WITH 1 をモ WITH 1 ドを WITH 1 を合 WITH 1 成し の検索結果 144 件中 1 - 10 件目 (0.352475803 秒)
一つの例をモナドを合成しながら拡張していくという形で説明されているので使い方のチュートリアルとしてはかなり分かりやすいと思います。最後に、モナドの型クラスの方（MonadReaderとかMonadStateなど）にも触れているとなお良かったかも。 ...
ご指摘ありがとうございます。二番目を除いてほとんどそのまま反映させました。 二番目は、「Haskellは同等の数式を定義するのに、joinの代わりに(>>=)を使用します。これは、その方が便利なためです。」にしてみました。"equivalent formulation"が、圏論においてモナドを定義する式と同等な式（つまりMonadの ...
# (スコア:4824)
原著からですが、文献[37]がリンク切れみたい。ググれば一発なので、わざわざ修正することもないかもしれませんが、現在は http://www.grabmueller.de/martin/www/pub/Transformers.en.html で読めます。 ...
# (スコア:4784)
モナドのすべてを読んでいるとしばしば出てくる、「複数パラメータの型クラスとfunDepという標準のHaskell 98にはない言語拡張をつかっています」の意味がようやくわかりました。 ...
# (スコア:4577)
Invalid Textたとえば、HDBCを使うときに普通にIOモナドの中から直接扱うには、 f :: IO () f = bracket (connectODBC dsn) (disconnect) (\conn -> ...) のようにすればOKです。ところがこれをIOモナドを合成するモナドの中で扱うとすると、bracketの型がIO a -> (a -> IO b) -> (a -> IO c) -> IO cなのでbra ...
# (スコア:4006)
核廃棄物のメタファーを使ったモナドの説明。基本的には、モナドの全てのモナドの物理的なアナロジーと同じ話。 ...
# (スコア:3833)
ここ二三日で、試しに簡単なWikiを作ってみました。 何が大変って、最初は副作用が無いつもりだったメソッドが副作用を持つ必要があった場合に、呼び出し側の根っこまですべてをIOモナド内での操作に変えなくてはいけないところでしょうか。 ...
# (スコア:3668)
しかし、上のような例だと、Collectionを型クラスではなくて型構築子クラスにすれば、Synonym Familiesを使わなくても書けます。 class Collection c where empty :: c a add :: a -> c a -> c a instance Collection [] where empty = [] add = (:) instance Collection Seq where empty = Seq.empty add = (< ...
# (スコア:3659)
上の例だと、GADTを使っても同じような事ができます。 {-# LANGUAGE GADTs #-} import qualified Data.Sequence as Seq data Vector a where BoolVector :: [Bool] -> Vector Bool IntVector :: Seq Int -> Vector Int add :: a -> Vector a -> Vector a add v (BoolVector l) = BoolVector $ v:l add v (IntVe ...
# (スコア:3659)
x86アセンブリ言語入門 モナドのすべて 電子回路論 Nullsoft Scriptable Install System 最近良く見るようになったNSISのページ。 Gliding_Technics Platform SDK Archive Samples: Microsoft Exchange Server Samples and Library 今はPlatform SDKに入っていないExchange Server関係のドキュメントとサンプル ...
# (スコア:3510)
# (スコア:10000)