【追記あり】ChatGPTじゃなくて人力でモナドが発明された経緯を適当に調べた（ソース付き）。 - Qiita
プログラミング言語が2-圏として考えられるということについてソースから訳出した。(2023.2.22) 動機 最近、chatGPTにいろいろ尋ねるのが流行っているらしい。Haskellで有名なモナドの概念がなぜ導入されたか尋ねている人を見かけて、そういやそういう記事見たことないなと思ったので適当に調べた。 一次ソース 元ネタは以下のマイナーだと思われる文献 An abstract view of programming languages Eugenio Moggi教授のあんま読まれてない方の論文 Denotational Semantics Peter D. Mosses教授のこの論文（2部あって後半の方） 邦訳があり邦訳で読んだ。 プログラミングのモナド発見の経緯 プログラミングのモナドはなんか包んだり抜き出したり見たいな感じの概念で知られてますが、プログラミングの概念をモジュール化す
「Haskellのモナド完全に理解した」試験問題
Haskellは勉強したけどモナドを本当に理解したって言えるのか自信がない… ＼そんな人向けの試験問題を作りました！／ これから実施する試験問題を、10問中8問正解すればあなたはHaskellのモナドを完全に理解しています。私が保証します！ それではさっそく〜〜 第一問 まずは緊張をほぐしましょう。 Haskellの Monad は○○○○である ○○○○に当てはまるのは以下の選択肢のうちどれでしょう？ 型 関数 型クラス 型シノニム 答え
Type level mapを使ったpreload風関連リソースの取り回し。Indexed monad添え
この記事はHaskell Advent Calendar 202011日目の記事です(遅延)。 大晦日です。いかがお過ごしでしょうか。 Haskellでapi server等を作った際、rdbへの問い合わせでPreload的なことを行う箇所で、Type level mapを使った所、なかなかの使い勝手だったので、共有します。 さらにIndexed Monadを使い、明らかに残念だった箇所を改善します。 preload? 1+N問題を起こさぬよう、事前に関連リソースを問い合わせておくもの。prefetchとかとも。 posts = Post.find(...) # query Post # view for p in posts for t in p.tags # ここで問い合わせるとN回なので、事前に問い合わせていて欲しい render t やること viewが要求するpreloadを定義
Writer Monadで気軽にMonad則を破る - Haskell-jp
Tweet 🎅この記事は、Haskell Advent Calendar 2020 25日目の記事です。 🎄Happy Christmas!!🎄 今回は先日（といっても元の質問の投稿からもう何ヶ月も経ってしまいましたが…）StackOverflowに上がったこちら👇の質問に対する回答の、続きっぽい話を書こうと思います。長いし、質問の回答からスコープが大きく外れてしまうので記事にしました。 haskell - モナド則を崩してしまう例が知りたい - スタック・オーバーフロー MonadとMonoidにある重要な繋がりを説明した後、それを応用したWriter MonadがどうMonoidを使ってMonad則を満たしているのか証明します。そして、Writerのそうした性質を用いて簡単にMonad則を破る例を紹介することで、読者のみなさんがMonad則のみならずdo記法やMonadそのもの
Lysxia - The reasonable effectiveness of the continuation monad
There are common monads associated with common effects: Maybe for failure, [] (list) for nondeterminism, State for state… What about the continuation monad? We shall see why the answer is all of the above, but better. Indeed, many effects can be understood and implemented in a simple and uniform fashion in terms of first-class continuations. Extensions and imports for this Literate Haskell file {-
Monads as Graphs
Summary: You can describe type classes like monads by the graphs they allow. In the Build Systems a la Carte paper we described build systems in terms of the type class their dependencies could take. This post takes the other view point - trying to describe type classes (e.g. Functor, Applicative, Monad) by the graphs they permit. Functor The Functor class has one operation: given Functor m, we ha
すごいHaskell、ハスケル子と学ぼう！ - Qiita
「すごいHaskellたのしく学ぼう！」という本を読みました。 せっかく関数型言語の本を読んだので、今回は関西型言語を用いて、学んだ内容について綴っていきたいと思います。 ある日、某会社にて ワイ「なぁ、ハスケル子ちゃん」 ワイ「Haskellの記事とか読んでると出てくる、モナドってアレ何なん？」 ハスケル子「型クラスですね」 ワイ「型クラス・・・」 ワイ「ごめん、ぜんぜん分からんわ」 ワイ「型クラスって何・・・？」 ハスケル子「型の分類みたいな感じです」 ハスケル子「classって、分類とか同類って意味を持っているので」 ワイ「型の分類・・・」 ワイ「型自体がそもそも、数値とか文字列とか」 ワイ「そういった分類みたいな感じなのに、それを更に分類すんの・・・？」 ワイ「どどどどういうこと・・・？」 ワイ「舌打ちせんといてや・・・」 Int型とFloat型って似てるよね ハスケル子「えっと、
Tab Completion
Last updated: Monday, January 23 2023 A few years back I laid out some houserules I was planning to use for an upcoming D&D campaign. That campaign finished up, and I'm thinking about running another, so I've spent some time thinking over what I liked and disliked with what I did, and what I'd tweak further. I'll start with my current plans, then go over my evaluations and reasoning later. Carried
Haskell: Monadクラスのこれまでとこれから - Qiita
「return と pure って同じじゃないの？」「Monad クラスの fail って数学的なモナドにはなくない？」 Haskell初心者が引っかかるポイントの一つが、 Monad クラスと Applicative クラスの関係だろう。他にも、 Haskell 2010 の Monad クラスには数学的なモナドと照らし合わせると奇妙な点がいくつかある。 この記事では、近年行われている Monad クラスへの破壊的変更をまとめ、変化の途上にある Monad クラスの理解の一助としたい。 Haskell 2010 での Monad クラスとその問題点 Haskell 2010 Language Report では、 Monad クラスは次のように定義されている： class Monad m where (>>=) :: m a -> (a -> m b) -> m b (>>) :: m
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
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にて参照可能であるか確認し、合計金額を求める アウトプットの合計金額を求める インプットとアウトプットの差額を求め、それに応じて処理する。 インプットの合計金額がアウトプットより多い場合には以下の処理をする： 利用した
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Polysemy, one year later
GitHub - robrix/silkscreen: Prettyprinting transformers for rainbow parens, precedence, etc.
GitHub - sebfisch/explicit-sharing: Explicit Sharing of Monadic Effects
Qualified do: rebind your do-notation the right way
https://www.tweag.io/posts/2019-03-20-capability-free-monad.html/
GitHub - reinerp/indexed-extras: Indexed functors, monads and comonads that require extensions to Haskell98