Monad

1週間ほど前に、次の本が出版されました。 ・ ライプニッツ 『モナドロジー 他二篇』、谷川多佳子、岡部英男訳、岩波文庫、岩波書店、2019年。 さっそく購入させていただきました。 モナドロジーと言えば、「モナドには窓がない」ですね。このようなセリフが、上記の書籍に出てきますが、それはどこに出てくるのでしょうか。そしてそこには、どんなことが書かれているのでしょうか。ちょっと興味があります *1 。 そこで今日は、そのセリフが出てくるところを引用してみたいと思います。出てくるのは第7節ですので、そこを引用します。 それに原文はどうなっているのか、ということにも少し興味を感じます。原文はフランス語で…

すごいHaskellたのしく学ぼう! | Miran Lipovača, 田中 英行, 村主 崇行 |本 | 通販 | Amazon ↑これの第１４章（p315）からMaybeモナド：失敗の可能性という文脈付きの値を表す リストモナド：非決定性がついた値を表す Writerモナド：もう１つの値がくっついた値を表し、付加された値はログのように振る舞う。Writerモナドを使えば、一連の計算を行っている間、すべてのログが単一のログ値にまとめて記録されることを保証できる。ユーグリットの互除法→２つの数を取ってその最大公約数（２つの数をどちらも割り切れる数のうち最大のもの）を求めるアルゴリズム p32…

すごいHaskellたのしく学ぼう! | Miran Lipovača, 田中 英行, 村主 崇行 |本 | 通販 | Amazon これ↑の第８章（p159）から。複数のI/Oアクションをのりづけして１つにする→do構文 p162ファイルを開いて追加・観覧・削除 p195p196 練習問題 ファイルとタスクの番号を受け取り、そのタスクをToDoリストの先頭に持ってくるbump関数を実装する ・unlinesは最後の要素を含め全て末尾に改行文字をつける bump :: [String] -> IO () bump [fileName, numberString] = do contents <…

github.com llvm-hs-pureのREADMEに書いてあるこちらのコードですが、GHCのincomplete-uni-patternsオプションを有効にすると警告が出ます。 {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE RecursiveDo #-} import Data.Text.Lazy.IO as T import LLVM.Pretty -- from the llvm-hs-pretty package import LLVM.AST hiding (function) import LLVM.AST.Type as …

積と余積 $$ $$ 古代ギリシャの劇作家エウリピデスは言った。「人はその人が付き合っている人に似ている（類は友を呼ぶ）」我々は関係によって定義されている。そのことがどこよりも明らかなのは圏論である。ある圏からある特別な対象を選択したいなら、他の対象（及びそれ自体）との関係性のパターンを表すだけでよい。このような関係性は射で定義される。 圏論では普遍的構成と呼ばれる共通の構成があり、対象とそれらの関連性により定義される。これを行う一つの方法はあるパターン、即ち対象と射から構成されるある特定の形を選び取り、その圏のすべての発生を探し求める方法である。それが十分に共通なパターンで、その圏が大きいな…

みなさま、お疲れ様です！エンジニア採用広報の高瀬 (@Guvalif) です。 この記事は、Chatwork Advent Calendar 2020 における、24 日目の記事です。 先日、フロントエンド開発部に所属するアーキテクトの火村 (@eielh) が、 ウェブフロントエンドの設計力を高めるためにアプリケーションの構造を捉えてみる話 という記事を執筆しました。 それを受けて、同じくフロントエンド開発部に所属する私が、さらに掘り下げてみる社内公式マサカリ記事 🪓 を執筆してみた次第です 😋 ただし、例にもよって文量が多くなりそうなので、"考察編"，"実装編"，"理論編" の3部作*1に…

The English version is at Dev. 『純粋関数型データ構造』（以降 PFDS）の5.2章に刹那的純粋関数的キューというものが出てきます。 https://asciidwango.jp/post/160831986220/%E7%B4%94%E7%B2%8B%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%87%E3%83%BC%E3%82%BF%E6%A7%8B%E9%80%A0asciidwango.jp このキューは計算量の関係から1つの値に対して1回しか操作をしてはいけません。例えば下記操作列なら大丈夫ですが、その次の操作列では計算量が大きくな…

こんにちはかとじゅんです。 この記事は、ドメイン駆動設計 Advent Calendar 2020の23日目の記事です1。DDDというよりRustの記事になってしまった…。 Rustの勉強を始めたのは2017年あたりと古いのですがなかなか身が入らず、本腰入れたのは今年の11月ぐらいでした(遅ッ。Scalaで実装してたライブラリをRustに書き換えたおかげでようやく開眼しました2。 というわけで、今回は完全趣味の領域であるRustでドメインモデルをどう実装すればいいのかについて、僕の意見やアイデアなど雑にまとめてみたいと思います。まぁこれについてもいろんな観点がありますが、値オブジェクトやエンテ…

GHC 9.0.1 alpha 1 がリリースされたときに線形型をいじってみていたことをメモしていなかったので思い出しながらメモしていく。 mail.haskell.org 使用バージョン GHC 9.0.0.20200925 上記リンクのもの ghcup ならそれ経由でインストールできる。 ghcups の場合は手動インストール後、下記のような設定ファイルで切り替えができるようになる1。 ghc: 9.0.1-alpha1: H:\programs\ghc-9.0.0.20200925-x86_64-unknown-mingw32\bin 線形型とは GHC では引数が1回しか使えない（1回…

一羽でチュン！ 二羽でチュチュン！ 三羽揃えば 三倍アイスクリイイイイイイイィィィィィム！！！！！ ﾃｰﾚｰﾃｰﾃｰﾃﾚｰﾃﾃﾚﾚﾚﾃｰﾚｰﾃｰﾚｰﾃﾚﾃｯﾃｯﾃｰ 一羽でチュン！二羽でチュチュン！三羽揃えば三倍アイスクリィィィィィィム！！！！！！ pic.twitter.com/9XymX35zNF — ふみ a.k.a. DJ Monad (@fumieval) 2020年11月13日 …というリミックス(?)が予想以上にウケたので、その舞台裏のお話。 基本のアイデア まず、EDM(Electronic Dance Music)という音楽のジャンルから説明していく必要がある。EDMは、シン…

×91 サーバーサイドの仕事ってJSON返すだけですよね？手持ちのスキルがJSONを返すだけって不安にならないものでしょうか？ - Quora ×75 How to Think for Yourself ×60 [タイトルが取得できませんでした] ×56 How To Memorize Faster With The Spaced Repetition System ×53 CAPTCHAs don’t prove you’re human – they prove you’re American – Terence Eden’s Blog ×47 How io_uring and eBPF …

なんかはてなブログ重くないですか？タスクマネージャを開いて確かめたので間違いない Free モナド こういうやつです 1 (ただし、fはFunctorのインスタンスであるとする) data Free f a = Pure a | Join (f (Free f a)) JoinじゃなくてFreeと書かれていることもあるけど、今回はJoinで行きます これを GADTs で書くと、以下のようになる: data Free f a where Pure :: a -> Free f a Join :: f (Free f a) -> Free f a なんてこった！これではまるでMonadのretu…