Freer doesn’t come for free
The question on how to best structure functional programming applications in either Haskell or Scala is still out with various ways to achieve modularity, encapsulation and testability. In the past I have been an advocate of the `Eff` monad, based on Oleg Kiselyov’s work on “Freer monads, more extensible effects”. However, after being involved with 2 large applications (both in Scala and Haskell)
Freer Monads: Too Fast, Too Free :: Reasonably Polymorphic
The venerable Lyxia had this to say about my last post on freer monads: I agree the performance argument is way less important than the frequency at which it’s thrown around makes it seem. The reason freer performance sucks is that you’re repeatedly constructing and deconstructing trees at runtime. However, that is only a consequence of the implementation of freer as a GADT (initial encoding). I b
Freer Monads, More Better Programs :: Reasonably Polymorphic
If you consider yourself a Haskell beginner, this post is not aimed at you! You’re going to want to understand DataKinds and RankNTypes in order to get things done. Feel free to read anyway, but keep in mind that the technical solutions described here are tricky. Every two weeks in the functional programming slack, we get into a big argument about “the right way to structure programs.” The debate
作って理解するモナド - Qiita
2018/09/10に追記しました 想定読者 すごいH本とかでモナドを勉強し始めて、Maybe使うぐらいのことはできたけどいまいちしっくり来ない人 モナドに対する理解がふわっとしていてある程度の確信を得たい人 仮にもHaskellいいなぁと思う人間の一人として、いい加減モナドに対するふわふわ感を払拭したいのでモナドで遊ぶことにします。 なにかよくわからないものを理解しようとするなら、自分で作ってみるのは良い近道です。 ということでこの記事では実際にモナドを作ってみることでモナドがどんなものなのか改めて考察しようと思います。 圏論についてはこの記事では触れません。触れられません。 論理和モナドとか…作れるんじゃない？ Maybeというモナドがあります。JustとNothingのアレです。 途中で計算に失敗するかもしれないような時に使うモナドであることはみなさんご存知かと思います。 このモナド
なぜモナドが必要なのか？ - Qiita
haskell - Why do we need monads? - Stack Overflow の回答がわかりやすかったため翻訳させていただきました。 STEP 1 私たちは関数のみを使ってプログラミングしたい。(つまるところ「関数型プログラミング(FP)」) STEP 2 その時、私たちは最初の大きな問題にぶつかる。 何が最初に実行されるべきだろうか？ どのように関数以外のものを使わずに、関数の羅列(プログラム)を作れるだろうか？ 解決法 関数の合成。もしgを最初にして、次をfにしたいなら、f(g(x, y))と書く。この方法では、「プログラム」は次のような関数だ: 良い感じだが… STEP 3 次の問題: いくつかの関数は失敗する可能性を持っている(例えば、g(2, 0)は0除算となる)。 関数型プログラミングでは「例外」を持ってはいない(例外は関数ではない)。これをどのように扱う
モナド変換子 (その3: 課題の解答) - Qiita
はじめに この記事は以前出した課題の解答例を紹介したいと思います。 まだ課題に取り組んでいる、解答を見たくないという方はこの記事を読まないでください。 解答もGithubにて公開しました。 https://github.com/HirotoShioi/utxo-based-transaction-solution まずはトランザクション処理の流れをまとめ、そこから如何に実装するのかを考察し、その上で実装を行います。 それでは始めましょう。 トランザクション処理の流れを確認 まずはトランザクション処理の流れをまとめてみましょう。 インプットリストにあるインプットが全てUTXOsにて参照可能であるか確認し、合計金額を求める アウトプットの合計金額を求める インプットとアウトプットの差額を求め、それに応じて処理する。 インプットの合計金額がアウトプットより多い場合には以下の処理をする： 利用した
モナド変換子(その１: 基本） - Qiita
はじめに haskellを習得する上で必修ともいえるライブラリがあります。 今回はその1つ、モナド変換子ライブラリmtlを4回に分けて紹介したいと思います。 なぜモナドをスタックする必要があるのか 例えば環境変数EnvをIOの中で利用したいとするでしょう。すると環境変数を利用する全ての関数はEnvを引数にとらなければなりません。
コモナドを使った抽象化の威力をライフゲームで試してみた - Qiita
class Functor m => Monad m where return :: a -> m a (>>=) :: (a -> m b) -> m a -> m b join :: m (m a) -> m a join = (>>= id) k >>= m = join $ fmap k m extract は return と、extend は >>= と、duplicate は join と、それぞれなんとなく反対になってるような気がしますよね？（m と w も上下反対の対応がありますねｗ） コモナドの感覚を掴むために具体的な実装を見てみましょう。 -- | List Zipper data Z a = Z [a] a [a] left, right :: Z a -> Z a left (Z (l:ls) c rs) = Z ls l (c:rs) right (Z ls c
リストのモナドは1つだけか？ - Qiita
Yet Another List Monad ? リストデータ型にのるモナド構造はいくつあるのでしょう。 「リストのモナドは return x = [x] xs >>= f = concatMap f xs だけじゃないの。 他にあるの？」 と思った人も多いと思いますが実はそれだけじゃないんです。 モナドである条件 まず、モナドである条件を確認しておきましょう。 今回はリストのことだけを考えるので型はリストに限定して書きます。 リストにのるモナド構造とはモナド則を満たす2つの多相関数 return :: a -> [a] (>>=) :: [a] -> (a -> [b]) -> [b] -- モナド則 (return x) >>= f == f x m >>= return == m (m >>= f) >>= g == m >>= (\x -> f x >>= g) return と
いろいろなパッケージから提供されている ListT モナド変換子の違いについて調べてみる - 無駄と文化
この記事は Haskell (その2) Advent Calendar 2017 の10日目の記事です。あけましておめでとうございます。 今回は ListT モナド変換子 について調べたことをまとめます。 hackage で検索をすると ListT と名の付くモナド変換子を提供しているパッケージは4つほど見つかります。 Control.Monad.Trans.List - transformers パッケージ Control.Monad.List - mtl パッケージ ListT - list-t パッケージ Pipes - pipes パッケージ このうち mtl パッケージで提供している ListT は transformers パッケージからインポートされているだけなので実装としては同一のものです。 また、pipes パッケージで提供されているものは Pipes と組み合わせて使う
The ReaderT Design Pattern - FP Complete
Often times I’ll receive or read questions online about “design patterns” in Haskell. A common response is that Haskell doesn’t have them. What many languages address via patterns, in Haskell we address via language features (like built-in immutability, lambdas, laziness, etc). However, I believe there is still room for some high-level guidance on structuring programs, which I’ll loosely refer to
スーパーモナドについて - Qiita
この記事は Haskell Advent Calendar 2017 (その1) の 10 日目の記事です。 スーパーモナド (supermonad) という気になる概念を見かけたので、ちょっと調べてみました。 スーパーモナドとは 世の中には、私たちがよく知っている普通のモナド1 以外にも、モナド的概念がいろいろと存在します。たとえば、こんなのがあります。2 指標付きモナド (indexed monad) https://hackage.haskell.org/package/indexed https://hackage.haskell.org/package/monad-param https://hackage.haskell.org/package/index-core 作用モナド (effect monad) https://hackage.haskell.org/package
Free monad considered harmful
haskell Published on September 27, 2017, last updated January 25, 2018 Now and then blog posts explaining and promoting use of free monads pop up, so for the sake of diversity I decided to write a post advising against free monads. What I’m going to tell is not new and there have been good comments on Reddit and in chats explaining downsides of free monads as basis of Haskell programs, but I thoug
MonadFix is Time Travel
MonadFix is a pretty difficult concept, and I personally found much of the existing content about it online to be somewhat unhelpful. I answered a request for an ELI5 of MonadFix on Reddit, and someone suggested I turn my answer into a blog post. So here it is, edited with more content and detail. First, let’s lay some groundwork. At the core of all of this is the fix function, which simply uses H
Grokking Fix
This post is intended for beginners of functional programming interested in an exploration of laziness, Haskell, and recursion Haskell’s laziness enables some pretty cool tricks. The fix function is one of the neater ones, though it can be hard to understand how to use it from just the implementation and type signature. If you grab a calculator and put any number into it, you can start hitting the
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - isovector/do-notation: deprecated in favor of -XQualifiedDo
GitHub - reinerp/indexed-extras: Indexed functors, monads and comonads that require extensions to Haskell98
GitHub - reinerp/indexed: Haskell98 indexed functors, monads, comonads
GitHub - louispan/parameterized: Parameterized/Indexed versions of Monoid, Applicative, and Monad
GitHub - EduardSergeev/monad-memo: Memoization monad transformer