Graphics and FPL: Logging flow activity
Friday, February 21, 2014 Logging flow activity Foreword Everyone needs to log things in a program. Have you already wondered what kind of logs you were dealing with? I don’t mean debug, warning or error logs. I mean semantic here. Basically, I’ll put apart two concepts: tracing an algorithm’s behavior tracing a flow activity Tracing an algorithm’s behavior is something we often do in Haskell with
状態モナド遊び - あどけない話
状態をモナドで実現する方法を考えます。 リスト 例は簡単な方がいいので、データ構造として Lisp 風のリストを定義しましょう。 data List a = Nil | Cons a (List a) deriving Show リストは、こんな風に表せます。 Cons "c" (Cons "b" (Cons "a" Nil)) Lisp 風の cons も定義してみましょう。 cons :: a -> List a -> List a cons x xs = Cons x xs cons "c" $ cons "b" $ cons "a" Nil → Cons "c" (Cons "b" (Cons "a" Nil)) 状態を持つリスト さて、この Lisp 風のリストに、要素の数を覚えさせておきたいとしましょう。もちろん、数えれば分りますが、数えなくても一瞬で分るようにしたいのです。
Pixel Pedals of Tomakomai
いわきのホテルを出て、常磐線をさらに北へ向かう。目的地は福島第一原発だ。常磐線が全線開通したのは 2020 年 3 月 14 日のことだが、その頃はまだ駅の周辺しか立ち入ることができず、自転車で駅間を移動するのは不可能だった。国道6号を自転車で通行できるようになったのは2022年8月30日であり、常磐線開通から2年半を擁したのである。 富岡で下車し、浪江駅を目指す。雨がパラついていたが、30分程で天気予報の通り上がってくれた。 富岡周辺は、特に変わった様子はない。非常にのどかな景観で、サイクリングを存分に楽しむことができた。もっとも、震災前にここがどういう地域だったのか、ただの通行人の自分には知る由もない。 ほどなくして夜ノ森駅に到着した。ここまでは国道 6 号を通る必要もなく、田舎道をのんびりと走ることになる。 夜ノ森を出た後に向かうのは、福島第一原発の最寄り駅である大野駅である。国道
Stateモナドとモナドトランスフォーマー - yunomuのブログ
前フリ 最近@seizansさんが新人Haskell使いを増やしまくっている。 で、その人達がググった時のために先にたくさんブログ記事書いて釣ろうぜっていう話をしていたけど、@kazu_yamamotoさんとか@nom4476さんらが仰るように、一旦自分がわかってしまうとなかなか記事を書く気力が起きない（し、子育てで忙しいので後は任せたって言われた）。 そうこうしているうちに@seizansさんがすごい勢いでHaskell力を伸ばしはじめた。 なので最近彼が覚えたらしいモナドトランスフォーマーの入門的な記事をStateモナドと合わせて先回りして書いてしまおうというわけす。引用数を稼ぐには先手必勝です。 Stateモナド Haskellで一時的な状態を持たせたい時はStateモナドを使うらしいですよ。 といっても何が何だかよくわかんないんですけど、 状態モナド遊び - あどけない話 この記事
モナドの実際の使い方
私の感覚としては、モナドはかなりわかりづらい。モナドの定義とか計算法則はわりとわかる。以下サイトがおすすめ。 Haskell の State モナド (1) - 状態を模倣する | すぐに忘れる脳みそのためのメモ: http://jutememo.blogspot.jp/2009/10/haskell-state-1.html しかし実際にプログラムを書いてみると、使い方がわからない。特に IO モナドがわからない。実際にプログラムを書いて困った点、それらをどのように解決しているか? ということをまとめる。 今から振り返ると Real World Haskell の内容ちゃんと理解して読んでたら問題にすらならなかったんですけどね。 1. 副作用の分離? モナドは副作用のある計算を分離するなど言われる。確かに多くのモナドでは純粋な関数からモナドを使用し、run することにより値を取り出すこと
Indexed Monadの世界 - モナドとわたしとコモナド
もっと、モナドの力を引き出したくはないか？ え？アクションの前後で型を変えたい？いやいやいや、モナドは自己関手の圏上の単なるモノイドだよ、そんなことができ…る…！？えっ、できるの…マジで…？ できる。そう、Haskellならね。 {-# LANGUAGE QuasiQuotes #-} import Control.Monad.Indexed.State import Control.Monad.Indexed import Language.Haskell.IndexedDo hoge :: IxState Int [Int] () hoge = [ido|do imodify (*10) imodify show imodify reverse imodify (++"123") imodify $ map fromEnum |] *ghci> runIxState hoge 42 (
【Haskell】 Stateモナドで乱数生成用モジュールを作る - wkoikingのブログ
今日もHaskellネタ。 Haskellでは避けて通れないモナドの話をしてみようと思ったのですが ・・・やっぱり難しい。 結局のところ、 モナドを理解する ≒ モナドのインスタンスをたくさん覚える だよなぁと思ったので、モナドについて解説するのはやめにして、 実際にモナドを使ったコードを書いてみます。 Stateモナドを使った、簡単な乱数ライブラリ 使い方 拡大 ソースコード module EasyRandom ( Random(..), random, uniform, permutation, normal, runRandom ) where import Control.Monad.State.Lazy (state, State(..), runState) import qualified System.Random as R (random, randomR, getStd
haskell state monad 使い方 - Google 検索
2020/02/10 · Haskellではモナドと呼ばれる部品を組み合わせてプログラムを作ります。状態を受け渡すタイプのモナドの使い方の初歩を説明します。
Monad Transformers Step by Step
Information Martin Grabmüller: Monad Transformers Step by Step, draft paper, October 2006. 12 pages, A4 format, English. Abstract In this tutorial, we describe how to use monad transformers in order to incrementally add functionality to Haskell programs. It is not a paper about implementing transformers, but about using them to write elegant, clean and powerful programs in Haskell. Starting from a
A Gentle Introduction to Haskell: About Monads
やさしい Haskell 入門 (バージョン 98 ) back next top 9 モナドについて はじめて Haskell にふれる多くのひとにとって モナド ( monad ) の概念は謎です。Haskell ではモナドに頻繁に出会います。 I/O システムはモナドによって構成されていますし、モナドのための特別な構文 ( do 式)も用意されています。また、モナドのためだけのモジュール も標準ライブラリに含まれています。このセクションではモナドを使ったプログ ラミングについて詳細にみていきましょう。 このセクションは他のセクションにくらべるとおそらく「やさしい」というわけ にいかないでしょう。ここでは、モナドをふくむ言語の特徴を示すだけではなく、 もっと壮大な絵を明かにしようとおもいます。なぜモナドがこれほど重要なツー ルであり、どのようにこれを使うか、ということです。だれにとっ
The ST monad and conduit
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. January 16, 2014By Michael SnoymanView source on Github I've recently been working on some higher level analysis utilities based on top of conduit. A major component of this work is performing high-performance numerical calculations on large streams of data. So I was particularly i
StateモナドをOCamlで実装してみるという不相応な事をやってみた - What is it, naokirin?
ずいぶんとエネルギーを持っていかれた気がする… 最近、モナドも使い慣れるといろいろ好都合だったりするので、自分用にほぼ最小に近いレベルでOCamlにモナドを実装していこうといろいろなモナドの実装をしています。とはいえ、まだMaybe, List, Lazyくらいですが。 そして今回、Stateモナドの実装をする事にしました。 多分大変だろうという予測はあったのですが、かなり大変でした。 最も参考になったサイトとしては 状態モナド遊び - http://d.hatena.ne.jp/kazu-yamamoto/20080604/1212573964 です。 Haskell知らないので、なんとなくこんな感じだろうという感じでしか読み取ってないので厳しいかったですが。 ちなみにコード的にはこんな感じ。 (2012/07/25 : 型を隠蔽する方向で書き換えました。基本的にはstate型の変更とr
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.scs.stanford.edu/11au-cs240h/notes/monads.md
シミュレーション 確率分布 haskell モナド - Google 検索
Monads as containers - HaskellWiki
control.monad state import site:stackoverflow.com - Google 検索
Has the Control.Monad.State API changed recently?
State Monad - HaskellWiki
Reddit - Dive into anything
Google
