より自由なFreerモナドをSchemeに - Qiita
data Freer f a where Pure :: a -> Freer f a Impure :: f x -> (x -> Freer f a) -> Freer f a instance Monad (Freer f a) where return = Pure Pure x >>= k = k x Impure fx k' >>= k = Impure fx (k' >>> k) Pure に関しては Free と同じだが、 Impure の方は f x の値とそれを使う計算（継続）を合わせて持ち回り、 >>= で値を計算するのではなく継続を組み立てるようにしている。 >>> は Category クラスにおける射の合成で、ここでは Kleisli 射を合成して k' をした後に k をする計算を作っている。 先述の通り、この定義は Operational モナドと同一だが、
7つの言語 7つの世界 ~第8章 Haskell 3日目~ - Qiita
はじめに 少し時間が空いてしまったが、Haskellの3日目を勉強する。 3日目本編「精神融合」 クラスと型 Haskellの型システムは、型推論があるため、プログラマにとっても負担の少ない強力なシステムである。また、微妙なプログラミングエラーでさえ補足するくらいに堅牢でもある。さらには、多相的(ポリモーフィック)である。すなわち、見かけの違う同じ型を同じものとして扱うことが出来る。ここでは、型の例をいくつか紹介した後、独自の型を作成してみる。 基本型 これまでに登場したいくつかの基本型について復習する。tオプションをオンにしてから始めよう。 Prelude> :set +t Prelude> 'c' 'c' it :: Char Prelude> "abc" "abc" it :: [Char] Prelude> ['a', 'b', 'c'] "abc" it :: [Char]
モナド(clojure.algo.monads)よくわからないからとりあえずいじってみた - FLINTERS Engineer's Blog
こんにちわ、k_imaizumiです。 関数型の言語の情報を見てるとよく目にするモナド。 なんかこいつを説明するためにいろんな記事がわんさかありますが、結局よくわからない。 すごいHaskellたのしく学ぼう!を読むも難しくてよくわからない。 よくわからなすぎて手がでないままってのもアレだなぁということでとりあえずいじってみたってのが今回の記事です。 HaskellだとHaskellそのものの理解がアレなので今回はclojureでいじることにしました。 なんかライブラリがあるそうなのでこれをつかってみました。 github.com なんかモナドってうんたらモナドってな感じで種類があるそうです stateとかmaybeなんかは名前は聞いたことある感じです サンプルコードを見るとstateの方は読むの嫌になる感じですが、maybeの方は分かりやすかったんで、これみながら適当にいじってみることに
Parallel Universe
August 07, 2015 From Imperative to Pure-Functional and Back Again: Monads vs. Scoped Continuations By Ron This post accompanies this video and won’t make too much sense without it Last month I gave a talk called Please Stop Polluting our Imperative Languages with Your Pure Concepts at the Curry On conference, a new conference co-located with the academic programming language conference, ECOOP, and
プログラミング言語探訪
Walking Through Programming Languages Languages Standard ML Haskell Misc. About
継続モナドによるリソース管理 - Qiita
継続モナドって何に使うんだ問題に対する一つの例。 リソース管理の問題 プログラミングをやっていると必ずまとわり付いてくるのがリソース管理の問題です。ここで指すリソースというのは、ファイルのハンドルだとか、ソケットだとか、排他処理のためのロックだとか、グラフィックのハンドルだとかそういう話で、GCのない言語だとメモリの管理もこれに含まれるでしょうか。 言うまでもなく、リソースを確保した後はしかるべきタイミングで確実に解放してやる必要があります。しかし往々にして、現実のプログラムではリソースの解放漏れが発生してしまいます。単に解放するコードを書き忘れると言うのが一番単純でしょうもない理由ですが、それでも、C言語のようにリソース解放のための特別な仕組みを持たない言語では、これを徹底するのも結構骨の折れることだったりします。それはともかく、もう少し高尚な悩みとしては、例外との組み合わせで発生する解
tatterdemalion - Effectful Haskell: IO, Monads, Functors
To code any decent-sized application in Haskell, you have to be comfortable with effectful programming. Haskell famously offers “pure” functions, and they are great, referentially transparent and all that. But IO will be done. Assuming you want to factor your IO activity into more than just main, your app will have a lot of functions in IO (or MonadIO). At the same time, you’ll want to enrich your
IO入門編 - HaskellWiki
（このページはHaskellではIOがどのように扱われているかを手っ取り早く紹介することを目的としています。学ぶべきことすべてはお伝えできませんが、どのように動作しているかを感覚はつかめると思います。） Haskellでは、副作用は特定の型の値としてエンコードすることで考慮されなければならない、とすることで副作用がある処理と純粋な関数を切り離してきました。(IO a)型の値はアクションです。これは実行されたらaという型の値を生成しますよ、ということを表しています。 いくつか例を見てみましょう： getLine :: IO String putStrLn :: String -> IO () -- note that the result value is an empty tuple. randomRIO :: (Random a) => (a,a) -> IO a -- in pract
はてなブログ | 無料ブログを作成しよう
北のひつじランド 道北の旅、この日の予定は、稚内からサロベツ２号に乗って旭川へ。そして夜の便で旭川から東京に帰る。決まっているのはここだけで、後のことは気分で決めよう。 途中までは森の中を延々と走る ようやく開けたところへ出てきた 駅に羊がたくさん、あわてて写真を撮る …
モナドを自作する時の基本的な進め方 - Qiita
学習の素材は、 すごいHaskellたのしく学ぼう! モナドを作る動機 教材には、次のようにある。 普通、モナドは作りたいと思って作るものではありません。むしろ、とある問題のある側面をモデル化した型を作り、後からその型が文脈付きの値を表現していてモナドのように振る舞うとわかった場合に、Monad インスタンスを与える場合が多いです。 個人的には、いくらHaskellでオリジナルのモナドを作れるとはいえ、文脈をデザインすることなんてできるの（そんなスキルあるの）だろうか・・と思っていたので、このように、モナドは発見的に見つかるものなのだ、ということがあらかじめわかっていれば安心である（笑）。 確率付きリスト[(3, 1 % 2), (5, 1 % 4), (9, 1 % 4)] リストは非決定な値を表現している。例えば [3, 5, 9] は どの値を取るか決めかねている非決定的整数である
これはどうにかなりませんかねえ - Qiita
Monad m => Maybe (m (Maybe b))という型がついている物体の、二つのMaybeをエレガントに統合する方法もとむ recMapM :: forall a b m. (Data a, Data b, Monad m) => (b -> m b) -> a -> m a recMapM f x = do let recurse = gmapM (recMapM f) x case cast x of Nothing -> recurse Just bx -> do z <- f bx case cast z of Nothing -> recurse Just az -> return az
Why free monads matter
Interpreters Good programmers decompose data from the interpreter that processes that data. Compilers exemplify this approach, where they will typically represent the source code as an abstract syntax tree, and then pass that tree to one of many possible interpreters. We benefit from decoupling the interpreter and the syntax tree, because then we can interpret the syntax tree in multiple ways. For
Maybe モナドの秘密 - あどけない話
Real World Haskell 読書会での Maybe モナドに関する議論をまとめておきます。 case と Maybe モナドの導入には、必ずといっていいほど、Maybe が使われます。たとえば、子供をキーとして検索すると、父親を得られる DB があるとします。 type DB = [(String,String)] db :: DB db = [ ("Bob","Dave") , ("Dave","Steve") , ("Steve","Tony") ] コードを簡潔にするために、DB を検索するための補助関数を導入します。 lookup' :: DB -> String -> Maybe String lookup' = flip lookup これらと case を使って、ひいおじいさんを探すコードを書くとこうなります。 -- コード1 findGGFather :: Str
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Freer monad in Scheme
自由モナドを使えば動的型付けでも多相的なモナド演算ができますよというお話 · GitHub
Google
https://qiita.com/hiyakashi_/items/c1d53c9ceb7b236821cc
Haskell でノベルゲームスクリプトのようなものを作る - Qiita
The Universe of Discourse : Easy exhaustive search with the list monad
Reddit - Dive into anything