自由モナドの定義であるところの Control.Monad.Free.Church.foldF - 北海道苫小牧市出身の初老PGが書くブログ
圏論勉強会の資料 によれば、 と自由な構成 について、 を与えると が得られるとある。 自由モナドの文脈でこれを考えると、関手 からモナド (の構造を忘れて関手と思ったもの)への自然変換を定義すれば、自由モナド からモナド への自然変換(正確にはモナドモーフィズム)が得られるという意味となる。 free パッケージにこの対応関係に相当するものは入ってないのかなと探してみたら、 Control.Monad.Free.Church というモジュールで定義されていた。 foldF :: Monad m => (forall x. f x -> m x) -> F f a -> m a The very definition of a free monad is that given a natural transformation you get a monad homomorphism. ht
Home
Scala で圏論入門 これは、Typesafe 社の Director Professional Services である Heiko Seeberger 氏による「Introduction to Category Theory in Scala」の翻訳文です。誤訳、誤記などがありましたら、 日本Scalaユーザーズグループの「圏論入門 レビューのお願い」トピックに投稿していただくか、@quassia88 にご連絡ください。 もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎に遭遇するだろう。そういった未知の概念は、君を、自分が恐ろしくまぬけなんじゃないか、という気分にさせることだと思う。もし君がそういう概念に既に親しんでいるなら、時間を無駄にすることはない、すぐにこのページを閉
Freeモナドを抽象化?した究極のモナド「Idealモナド」がScalaでも作れたよー - scalaとか・・・
以下のfumievalさんの記事に遅れること約2年・・・、ついにScala界隈にも、究極のモナド(?) Idealモナドが誕生した。 究極のモナド「Idealモナド」を垣間見る 究極のモナド「Idealモナド」を垣間見る(続/その0) 下のほうにその実装と、とりあえずIdealモナド経由でTrampolineを作って動かしてみた例を貼っておく。 ポイントは、単純なHaskellからの完全直訳ではなく、scalaz.Freeと同じようにGosubを作ったことにより、おそらくstack safeになった*1ことである(30を超えるフィボナッチが動くので、たぶん) だがしかし、そもそも抽象化されてるのか、というかFreeではなくIdealにすることによる実用的な嬉しさが全く見えてないのと、かなり簡易的に計測しただけでも、Ideal版のTrampolineによるフィボナッチがscalaz.Free
Make your programs Free
The document discusses making programs free using free monads. It introduces the concept of Free[S, A] as representing a program as a value of a particular type A. It demonstrates usage of Scalaz's Task type and shows how programs written with free monads can be compiled down to a lower-level language. The document encourages viewing a real-world example using the Quasar library and provides conta
scalaz - Free - Qiita
今回試したバージョンは7.1のFreeだ。 Freeとは何だろうか。 Functorと組み合わせて様々な挙動を実現できるモナド。 Freeモナドって何なのさっ！？ Freeの説明は探せば結構出てくるが、どの説明も共通しているのが、 独自のデータ型にFunctorを定義する。 Freeを実行するインタープリタを定義する。 この2点だ。 使ってみる 意味が分からないと思うので、実際に使ってみよう。 まずは型の定義から。 trait Command[+A] case class Cd[A](path: String, next: A) extends Command[A] case class Ls[A](next: A) extends Command[A] case class Done() extends Command[Nothing]
Free Monads in Web Stack — Part I
At Iterators we’ve had many ideas on how to build a well-structured REST application and we are constantly searching for improvement and better ways to get the job done. Recently we built a system centered around free monads. We want to share this bit of knowledge in the hope that you’ll find it inspiring, or maybe show us how to do it better. While there are lots of tutorials on Free itself, we d
The Latest Technology of GPS Smart Watch
Smart watches have become increasingly popular, and it’s no surprise that kids are starting to wear them too. These watches offer a lot of benefits, including the ability to track location and communicate with parents. However, activating a smart watch for kids can be a little daunting if you’re not familiar with the process. In… Smartwatches are becoming increasingly popular because of their conv
Extensible Effects in Scala
Extensible Effects in Scala Freer Monads, More Extensible Effects で紹介される Eff モナドを Scala を使って解説します。 Contents Free Monad Freer Monad Efficient Freer Eff Monad (Extensible Freer) Free Monad Free はパラメータに Functor のインスタンスを与えることでモナドになるデータ型です。 Functor の定義から見ていきましょう。 trait Functor[F[_]] { def map[A, B](fa: F[A])(f: A => B): F[B] } 計算コンテナ F に対して map という関数が定義されます。 map は F[A] の計算値 A に関数 A => B を適用し F[B] を得ます。
継続モナドが分からなくてもActionContの嬉しさなら何とか分かる気がした。 - だいたいよくわからないブログ
某会社の某アカウントシステムで使われているという継続モナドコントローラーですが、 今までいまいちよくわかっていなかったのですが友達に教えてもらってなるほど！と思ったので書き記します。 ActionCont 継続モナドコントローラー（ActionCont）については以下の記事で解説されています。 なぜPlayのコントローラで継続モナドを使うと便利なのか？ PlayFramework - 継続モナドを使ってWebアプリケーションのコントローラーを自由自在に組み立てる - Qiita 本記事では「継続 = 何か残りの処理が呼べるやつ」という雑かつ不正確な認識でもActionCont便利じゃん！使ってみよ！と感じられることを目指すので、なんとなくの概要が頭に入っていればよい（はず）です。（なので、ActionContのメリットなどがもうわかってる人にとっては当たり前じゃん？みたいな内容です） Sc
Functional Programming Patterns v3
In this talk we will see a pragmatic approach to building a purely functional architecture that delivers cohesive functional components. We will cover functional patterns such as Free Monads, Free Applicatives, Coproducts, Implicits, Kleisli arrows, dependently typed checked exceptions and types as well as how they can be glued together to achieve pure functions that are free of Interpretation, co
Functorial Blog - Counterexamples of Type Classes
by Phil Freeman on 2015/12/06 In Haskell and PureScript, we are familiar with certain standard hierarchies of type classes. For example, here are some of the type classes provided by the PureScript core libraries: Semigroup, Monoid Semiring, Ring, CommutativeRing, EuclideanRing, Field Functor, Apply, Applicative, Bind, Monad Extend, Comonad Alt, Plus, Alternative Semigroupoid, Category Profunctor,
Applicative と Monad の違いについて - Qiita
「ApplicativeとMonadは何が違うのか？」という疑問についての自分なりのまとめ。 型制約の強さの違い Haskellの型クラスは「特定の名前と型がついた関数が実装されているか」で型をグループ化する概念。言ってみればJavaのinterfaceのようなもので、ある型がその型クラスに属するためにはその型クラスによって指定された名前と型を持つ関数を定義する必要がある。 ApplicativeとMonadは型クラスであって、それぞれが要求する関数が異なる。 型クラスの定義を読む GHCi(7.10.2)によると、Applicativeの定義は以下。 Prelude> :i Applicative class Functor f => Applicative (f :: * -> *) where pure :: a -> f a (<*>) :: f (a -> b) -> f a -
ActionCont.recoverWithを作る - Qiita
よりよい実装を作りました。 → http://qiita.com/yyu/items/bd6e205e801fb653a9cc はじめに ActionContとは継続モナドCont[R, A]の型AにPlayのコントローラーの結果を表す型Resultを組み合わせたCont[Future[Result], A]のことである。このActionContは継続モナドの力を用いて柔軟にコントローラーを合成するために用いられる。この記事ではまず、このActionContについて軽く紹介した後に、既存のActionContではカバーできない点について言及し、それを解決するために今回作成したActionCont.recoverWithについて説明する。 ActionContとエラー処理 ActionContとは“継続モナドを使ってWebアプリケーションのコントローラーを自由自在に組み立てる”で導入された継
継続モナドを使ってWebアプリケーションのコントローラーを自由自在に組み立てる - Qiita
継続モナドを使ってPlay FrameworkのActionを作るという話をします。 Play FrameworkはScalaのWebアプリケーションフレームワークであり、Actionはそのコントローラー部分になります。 この記事を読むにあたって継続モナドの知識は前提としませんが、 ある程度のモナドの知識(Scalaのfor構文の使い方、ScalaのモナドがflatMapメソッドで合成できることなど) Play Frameworkの使い方(PlayのActionがどのようなものであるかなど) などの知識は前提とし、説明を省略させていただきます。 話の流れとしては以下のようになります。 コントローラーで継続モナドを使いたい動機 継続モナドとは？ なぜコントローラーで継続モナドを使うと便利なのか？ 継続モナドとFutureを組み合わせることでエラー処理を整理する 継続モナドを使ったAction
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Do it with (free?) arrows!
https://okmij.org/ftp/Haskell/extensible/more.pdf
git.md
Scalaz Monad Transformers
Main.scala
MonadError の嬉しみ (Scala Advent Calendar 2015 ADVENTAR 19th)
