[B! monad] yharaのブックマーク

C#のクエリ記法をHaskellのモナド＆do記法みたいに使う話 - Qiita

この記事はC# Advent Calendar 2019の12月5日の記事として書かれました。この記事はkekyoさんのスライド﹁C#でわかるこわくないMonad﹂をモチベーションに書かれています。 kekyoさんのスライドでは、HaskellのMaybeモナド(Optionモナド)に相当するクラスを、まるでHaskellのdo記法のようにC#のクエリ記法で扱う方法が丁寧に紹介されています。本記事ではその他のモナドも同様の手法を用いて実装していきます。 TL; DR C#のクエリ記法でHaskellのモナド &do記法みたいな機能が実現できるよ！簡単な実装でそれを実現できるよ！この手法が用いられたプロダクトもあるので紹介するよ！概要 LINQでおなじみのクエリ記法(from ... in ... select ...)ですが、これを用いてHaskellのモナド＆Do記法に近い

yhara 2021/08/15

c#
monad

リンク

dry-rb - dry-monads 1.0 released

Today dry-monads reaches 1.0! It started as a dependency replacement for the Kleisli gem in dry-transaction and dry-types. Later, more common monads were added, as well as support for do notation, which evaporates most of the boilerplate introduced by monads. Since the dry-* gems follow semantic versioning, this means you can consider the dry-monads API to be stable, making the gem more "productio

yhara 2018/06/29

ruby
monad

リンク

Freeモナド実用の旅(3): TimeMachineモナド - モナドとわたしとコモナド

前回のGotoモナドをさらに強化し、未来にも行けるようにしてみた。 import qualified Data.IntMapasMap import Control.Monad.Trans.Free import Control.Monad.Trans import Control.Monad newtype Ticket = TicketId {getTicketId :: Int} deriving (Eq, Ord, Show) data Train a = Ticket (Ticket ->a) | Departure Ticket a | Station Ticket a | Skip Ticket a a instance Functor Train where fmap f (Ticket g) = Ticket (f . g) fmap f (Departure t

yhara 2018/04/12

リンク

Notions of computation and monads - Eugenio Moggi - ic91.pdf (application/pdf オブジェクト)

yhara 2017/09/29

monad

リンク

モナドモナド (LT没ネタ) - Qiita

数学カフェのLTで話す予定でしたが、使う機会がなくなったので公開します。 Haskellにおけるモナドとは HaskellではMonadという型クラスでモナドを表現しています。この型クラスは return :: a -> m a 、 join :: m (m a) -> m a　、そしてfmap においてモナドが表現されています。色んな人が色んな場で説明していることですから、今さらここで議論を掘り返す必要はないでしょう。モナドには []、Maybe、State s、Cont r、Reader r、Writer w、IO、などがあります。しかし、みなさんはそれで満足でしょうか？そんなモナドで大丈夫ですか？ Haskellでもっとモナドモナドをさらにこじらせた人は、 Free モナドや Codensityモナドなどに手を出すでしょう。これらは大変便利なものですが、その珍しさ故これまた

yhara 2016/09/25

リンク

Monads in JavaScript

Monad is a design pattern used to describe computations as a series of steps. They are extensively used in pure functional programming languages to manage side effects but can also be used in multiparadigm languages to control complexity. Monads wrap types giving them additional behavior like the automatic propagation of empty value (Maybe monad) or simplifying asynchronous code (Continuation mona

yhara 2015/06/04

リンク

モナドについて考えた記録 - 素人がプログラミングを勉強していたブログ

Promiseってなんとなくモナドっぽいなと思って、ジェネレータ使ってHaskellのdoを再現できないかなあというのがはじまり。結論からいうと、できない。そもそもPromiseがモナドであるかを考える。 return :: Monad m => a -> m a 値を受け取ってfulfilledされたPromiseを返すものだ Promise.fulfill / Promise.resolveがこれにあたる。 Promise.mreturn = Promise.fulfill || Promise.resolve; >>= :: Monad m => m a -> (a -> m b) -> m b bindとも呼ばれたりする。この関数に、値を受け取ってモナドを返す関数を渡すと、その値が結果になる。 Promise.prototype.mbind = Promise.prototype

yhara 2014/06/17

monad

リンク

モナドって結局何なのよ? — join to Monad v0.1.3 documentation

モナドって結局何なのよ?¶ Haskell を勉強しようとすると必ず﹁モナド﹂ってのが出てきます。困ったものです。数学とか圏論とか関係があるらしくって、何が書いてあるんだか分からなくって嫌になってしまいます。でもね、Haskell って凄いらしいじゃないですか、格好良いらしいじゃないですか。ここはちょっとがんばって色々考えてみましょう。そもそも Haskell って何なのよ?¶ 何なんでしょうね、Haskell って。コンピュータ言語らしいんです、あ、それは分かってると。良く挙げられる性質は次な感じ?: 関数型言語強い型付け遅延評価参照透過ここでちょっと型に関して見てみましょう。試しに Haskell の実装の1つである Hugs で1について考えてみます。Hugs では :type や :info というコマンドで hugs に型の情報などを質問することができます。例え

yhara 2014/05/02

リンク

http://flippinawesome.org/2013/10/28/a-gentle-introduction-to-monads-in-javascript/

yhara 2013/11/05

リンク

GitHub - ms-ati/rumonade: Scala-inspired Monads for Ruby

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

yhara 2013/04/18

ruby
monad

リンク

Monad on Scheme

yhara 2012/10/16

scheme
monad

リンク

JavaでContinuationモナド - kmizuの日記

.@kmizu のScalaのサンプルコードが、まるでPerlのコードのようにイミフだ... http://d.hatena.ne.jp/kmizushima/20090925/1253890980 *P3 http://twitter.com/t_yano/statuses/4370238778 よーし。じゃあ、Javaなら大丈夫ですよね？*1というわけでJavaで書いてみた。…………非常にしんどかった。なんか本当に人間型推論器になった気分。せっかく作ったので一応貼っておくけど、読む気がしないことうけあいのコードになったと思う(ライブラリ側はさほどではないけど、利用側が…)。 import java.util.*; import static java.lang.Integer.*; import static java.lang.Character.*; public class Co

yhara 2009/09/26

純粋関数型言語Java

java
monad

リンク

疑似Continuationモナド - MEMO:はてな支店

HaskellのContinuationモナドを雰囲気だけGaucheに移植してみる。 Contクラスまず、疑似Continuationモナドとして、Contクラスを作る。 Contクラスが持つrunContスロットは同名のgetter関数を持つ。 returnは全然ジェネリックファンクションになってないんだけど、>>=と横並びにしたかったので。 (define-class <Cont> () ((runCont :init-keyword :r :getter runCont))) (define-method return (a) (make <Cont> :r (lambda (k) (k a)))) (define-method >>= ((c <Cont>) f) (make <Cont> :r (lambda (k) ((runCont c) (lambda (a) ((ru

yhara 2009/06/19

やっぱりSchemeにたとえると分かりやすいな

リンク

はてなブックマーク

タグ

関連タグで絞り込む (9)

monadに関するyharaのブックマーク (13)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

今週のはてなブックマーク数ランキング（2024年7月第1週）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス