Haskell/Alternative and MonadPlus - Wikibooks, open books for an open world
In our studies so far, we saw that both Maybe and lists can represent computations with a varying number of results. We use Maybe to indicate a computation can fail somehow (that is, it can have either zero results or one result), and we use lists for computations that can have many possible results (ranging from zero to arbitrarily many results). In both of these cases, one useful operation is am
本物のFree MonadPlus？ - xuwei-k's blog
「もう一度来てください。本物のFree MonadPlusを見せてあげますよ」 そう言い残してScalaちゃんは去っていった・・・。 というわけで(どういうわけだよ！) 本物のFree Monadって存在したのか！？っていうメモを書いておきたいと思います。 いや、実は知ってる人にとっては常識だったのかよくわかりませんが、自分は知らなかったので。 (というかekmett/freeにないなら、そもそも不可能なのではないか？くらいに思ってた) "本物の" とはどういうことか？というと、偽者(MonadPlus則を満たさない)が以前 ekmett/free の内部に存在して、自分が指摘したら消えてしまった事件(?)があったのです。 issue報告したらFree MonadPlusが消えた さて、それでなんとなく寝起きでtwitterで流れてきた"ある論文"を読んでいたら、Free MonadPlu
Extensible interpreters -- an alternative to monad transformers
LogicT - backtracking monad transformer with fair operations and pruning Simple fair and terminating backtracking Monad Transformer Purely Functional Lazy Non-deterministic Programming Generators: the API for traversal and non-determinism Parameterized `monad' Extensible Effects: an alternative to Monad Transformers Reasoning with Extensible Effects and proving many laws of non-determinism Laws of
Similarities: Monoid, MonadPlus, Category
So, when you say something is a “free X” for some X, that is incomplete. Instead, the free structure is generated from something. For example, Nat is a free monoid, and in particular, it’s the free monoid on one generator (i.e. generated from a singleton set.) [Bool] would be the free monoid on two generators, and in general [T] is the free monoid generated by T. In category theory, this is witnes
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
