直和型を構成するところがわからなかったので写経してみました。 論文のコードと異なるところは Functorはderivingした 適宜showを実装した Exprにデストラクタoutを追加 Free Monadの構成のところで、Applicativeを追加した(ただし、Applicativeの実装はわ…

Reader Monad は 昔 Environment Monad と呼ばれていたそうです。 Control.Monad.Reader ということで(!?)、設定ファイルを使う体で例を作ってみました。 設定ファイルを使わないと、 doJob123' = \x -> doJob3' x $ doJob2' x $ doJob1' x () となります。…

Readerモナドはdependency Injectionとして理解してみると良いかもしれません。 slides.com Java開発で言えば、Web開発でよくDependency Injectionがでてきます。例えば、フレームワークにSpringをつかうと、こんな感じでしょうか。 package hello; import o…

起動 (root)MacBook-Air-2:test$ brew services start postgresql ==> Successfully started `postgresql` (label: homebrew.mxcl.postgresql) 停止 (root)MacBook-Air-2:test$ brew services stop postgresql Stopping `postgresql`... (might take a while…

環境 Mac OS X 10.10.5 VS Code 1.7.1 F#のページ F# Software Foundation Macのインストール方法のページ Use F# on Mac OSX | The F# Software Foundation Monoのサイトでダウンロードする。 Monoのインストール 指示に従ってインストールする インストー…

map > :t map map :: (a -> b) -> [a] -> [b] fmap > :t fmap fmap :: Functor f => (a -> b) -> f a -> f b traverse > :t traverse traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) mapM > :t mapM mapM :: (Traversable t, …

「すごいHaskellたのしく学ぼう！」https://www.amazon.co.jp/dp/B009RO80XY/と並行して、Beginning Haskell A Project-Based Approachを読んでみようかと思いました。 www.apress.com が、誤記が多いらしく、お勧めできないようです。

Type Classは以下の4つの観点から理解するとよい。 観点 (1) インターフェースが定められている。 (2) 満たすべき法則(law)がある。 (3) 上記を満たすインスタンスがある(抽象化の逆の具体化されたもの)。 (4) インターフェース以外に便利な操作(Operation)…

2016/11時点monad transformers step by stepをgoogleで検索すると、本家ではない情報が先に出てくるようです。 こちらが先に出てくるようですが、 https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/monad-transformers-step-by-step.pdf …

www.youtube.com class position terminology intuition application Functor positive covariant full of a's applicative alternative Contravariant negative contravariant consuming a's divisible decidable discrimination Produnctor left negative …