Functor / Applicative / Monad が表すもの
https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238 の記事に触発されて，ちょっと書く気になった．こちらも面白い記事なので，ぜひ参照してほしい． Haskell 2020 で Applicative が追加される見込みだ (そもそもちゃんと 2020 年に出るのか怪しそうだが)．それを踏まえて，標準ライブラリに入る Haskell の特徴的な一連の型クラス Functor / Applicative / Monad の個人的な捉え方を書いておこうと思う．なお，あくまで個人的な捉え方なので，形式的でないし，広く受け入れられている考え方とは乖離している可能性があるので，そこは注意してほしい． 概要 それぞれの型クラスが表すものは端的に言えば， Functor 変換の一般化 Applicative 関数適用の一般化 Monad 手
関数型言語で DDD - Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# - Shin x Blog
オブジェクト指向言語でドメインモデルを実装することが当然のように行われていますが、Go で開発したり、Haskell で遊んだりしている中で、他のパラダイムの言語で実装するのはどうなんだろうかという想いがありました。 そんな時に出会ったのが、Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# という本です。 概要 構成 ドメインを理解し、モデリングする 端的なフレーズ Database-Drive-Design や Class-Driven-Design との違い 型、型、型 関数型言語による実用例 恐怖のモナド さいごに 参考 概要 本書は、とある会社の受注とその関連業務をドメインとし、モデリングして、実装していくという内容です。紙ベースで行われている業務
プログラミング言語の基礎概念(ライブラリ情報学コア・テキスト24)
2012年1月14日のジュンク堂書店池袋本店トークセッション「新春座談会 このコンピュータ書がすごい！ 2012年版〜2011年に出たコンピュータ書ならこれを読め！〜」にて本書が紹介された模様です．(2012/1/14記)補助資料正誤表演習システムガイド継続(EvalContML1)第一級継続(EvalContML4)参照(EvalRefML3)本演習システムを使っている講義京都大学 大学院情報学研究科 通信情報システム専攻 専門科目「プログラム意味論」(2013年度〜)京都大学 大学院情報学研究科 知能情報学専攻 専門科目「ソフトウェア基礎論」(2008年度〜2012年度)お茶の水女子大学 大学院人間文化創成科学研究科 理学専攻 情報科学コース「言語意味論」(2012年度)お茶の水女子大学 理学部 情報科学科「計算モデル論」(2012年度)Updated on 2022-05-25 21
Monoidってどういうところで使えばいいのさ…簡単な実装例 - FLINTERS Engineer's Blog
0. はじめに 皆様お久しぶりです。初めての方ははじめまして。原田です。 弊社ももうすっかりScala会社になってきたなといった感じです。 Scala祭の将軍スポンサーやっておりますので、もしご興味があるかたはよろしくお願いいたします。 ScalaMatsuri 2016｜日本最大級の Scala のカンファレンス 今回のネタはMonoidです。 簡単な実装例については、各所にありますがどういったところで使うと有用なのか？を模索するのにそこそこ時間かかったのでここにある一例を載せれればなと思っております。 1. Monoidってそもそも何なのよ？ モノイド - Wikipedia 初めて見た時よくわからなかったので補足をします。 1-1. S × S → S が与えられたとき 演算が集合に対し閉じている状態です。 これだけ言われても「ふぁっ？」ってなるのでもっと具体的に書くと // 集合を
What does "abstract over" mean?
In algebra, as in everyday concept formation, abstractions are formed by grouping things by some essential characteristics and omitting their specific other characteristics. The abstraction is unified under a single symbol or word denoting the similarities. We say that we abstract over the differences, but this really means we're integrating by the similarities. For example, consider a program tha
モナドから始めない継続入門 - TOKYO OYASUMI CLUB
Twitterのどこかで「Contモナドを使わない継続の説明を書いてくれ」みたいな話を目にしたので書きました． この記事は，以下のような方を対象に書かれています． Haskellはなんとなく使える．モナドもなんとなくわかる． 息をするように新しいモナドを定義したりはできない． 継続が何かは全く分からない．Schemeとかを使ったこともない． 継続とは Haskell(に限らずほとんどの言語)では，以下のようなステップでプログラムを実行していきます． 何らかの関数に引数を与えて，その計算結果を受け取る． 受け取った計算結果を別な関数の引数に与える． 以下繰り返し． 例えばHaskellで，与えられた3つの数の平均を取る関数を(非常に冗長に)書いてみると，以下のようになるでしょう． module Cont where import Prelude hiding (div) add :: Num
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://github.com/yukitos/notes/tree/master/A_recipe_for_a_functional_app
https://ubiteku.oinker.me/2016/01/20/%E9%96%A2%E6%95%B0%E5%9E%8B%E3%81%A4%E3%81%BE%E3%81%BF%E9%A3%9F%E3%81%84-%E3%83%A2%E3%83%8A%E3%83%89%E3%81%8C%E9%9B%A3%E3%81%97%E3%81%84%E3%81%A8%E6%80%9D%E3%82%8F%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B/