Monad

勉強会に行ったり、ブログや本を読んだりいろいろしたけど、モナドってなんなんすかね。(´・ω・`)状態だった僕ですが、分解して、図解してみたら少しわかった気がするので、エントリーしてみる。「プログラミングHaskell」のP106によると、IOモナドとは、以下の形をしているらしい*1。 type IO a = World -> (a, World) そして、次のページにバインド(>>=)の実装が以下のように書かれている。 (>>=) :: IO a -> (a -> IO b) -> IO b f >>= g = \ world -> case f world of (v, world') ->…

2020/03/29 お久しぶりです、こんにちは。 この3か月ほどはプライベート面でいろいろと慌ただしく、また世の中も思いもよらない方向へ動き始めたため、おやおやと様子を見ながら過ごすうちに、あっという間に３月も終わりに近づいてしまいました。 コロナウイルスによる影響は、人々の健康や経済など様々な方面に大きな痛みを残しそうですが、９年前の３.１１がそうであったように、これまでの現代人の生き方に、かつてない大きな変革も齎すかのようにも思えています。 このウイルスの影響の一つ「肺炎」は、ハートチャクラの絶望の記憶。。。の表れでしょうか。また、伝染病の流行は「喜び」の欠如、とも言われていますね。いず…

はじめましてのかたははじめまして。 Scala エンジニアの Javakky です。 今回は去る 3/19 (土)、 3/20 (日) に行われた ScalaMatsuri 2022 の参加レポートをお送りしていきたいと思います！ ScalaMatsuri とは？ ScalaMatsuri はアジア最大級の Scala カンファレンスです。 scalamatsuri.org カンファレンスは 2日間に分けて行われます。 Day1 では事前応募で集められたセッションから選考で選ばれたものが発表され、 Day2 では当日朝に行われる Morning Session で飛び入りの発表者を募集し、 G…

21世紀現在のプログラミング言語において、モジュールという機能はほぼ必要不可欠である。ソースコードを分割し、明示的な依存関係を指定する仕組みであるモジュールは、以下のような様々な恩恵をもたらす。 インクリメンタルビルド: モジュールごとにコンパイル結果を保存し、変更されていない部分を再コンパイルするのを防ぐ。 内部の隠蔽: 実装の詳細を隠蔽し、モジュール外から触れないようにする。プログラムの見通しをよくしたり、不正な操作をする機会を減らす。 アーキテクチャの整理: モジュールは他のモジュールを参照できるが、原則として相互参照はしない。依存の向きを定めることで、適切な抽象化と、 それに基づいた実…

細野晴臣は omni Sight Seeing を気に入ったあと、1990年にアルファ・レコードのベスト盤CD 決定版 細野晴臣ベスト・セレクション をちょうど出た時に購入した。 細野晴臣はソロではアルファ時代、アルバム はらいそ、アルバム フィルハーモニー、シングル 三国志のテーマ とあとザ・ベスト・オブ・ビデオ・ゲーム・ミュージック くらいしかリリースしなかったはず。 決定版 細野晴臣ベスト・セレクション でも アルバム はらいそ、フィルハーモニー と三国志のテーマ が収録されていた。 ジャケットがなんというか、あまり印象に残りにくい絵が描かれていた。 このベストの はらいそ は「この次は…

2008年11月 Eclipse Two に初出。 分量およそ10600語、日本語訳なら文庫55ページくらい。

ホアキン・フェニックスとスカーレット・ヨハンソン*1が出演したHer（日本での題名は『her/世界でひとつの彼女』）*2というスパイク・ジョーンズ*3の映画の存在を知った。 2012年にカリフォルニアの羅府と中国の上海（陸家嘴*4と五角場*5）で撮影された。【深焦电影史】电影《她》（2013）讲述了一个在未来都市中人与人工智能相爱的科幻爱情故事。影片选择了用上海来展示未来都市的样貌，电影中大多数以城市为背景的部分实际上都是在上海拍摄的。 https://t.co/jLDbTKs9Up pic.twitter.com/ze4dVirnDT— 豆瓣精选 (@douban_read) 2022年3月…

コードフォーマット 最近はGo言語を書く機会もあり、そこでgo fmtいいなと思ったので、Haskellでもコードフォーマッタを導入することにした。 とりあえずstylish-haskellを使うことにした。Emacsで使うので、設定ファイルは自分のEmacs設定レポジトリに入れている。 やはりimportリストを勝手に整理してくれるのはありがたい。自分は基本的にnon-qualified wildcard importを使わず、各シンボルをexplicit importするタイプなのでimport listがすぐにぐちゃぐちゃになる。 とりあえずstylish-haskellにしてみたが、o…

最近、久々にそこそこのボリュームのHaskellプログラムを書いた。ぶっちゃけ簡単なWebアプリだが、OAuth2(というかOpenID Connect)によるログイン機能を盛り込み、バックグラウンドでAWSのサービスをいくつか扱う。 その開発でいろいろと思うところ、学んだところがあったのでまとめておく。 抽象化レイヤの作り方 プログラムコンポーネントの複数の実装を使い分けられるように、抽象化レイヤを作ることはよくある。代表的なのはストレージコンポーネントで、扱うデータベースの種類や性質の違いを吸収するAPIを定義したくなる。 Haskellでこういった抽象化レイヤを作るやり方は複数あるようだ…

わたしとHaskell Haskell 教養としての関数型プログラミング 勧められる対象 初感 難点 すごいHaskellたのしく学ぼう 勧められる対象 所感 難点 プログラミングHaskell 第2版 勧められる対象 所感 難点 Haskell入門 関数型プログラミング言語の基礎と実践 勧められる対象 所感 難点 わたしとHaskell 昨年8月からHaskellに興味を持ち、細々と学習や職場でのHaskellの布教をつづけてきた。とはいえ、途中2ヶ月くらい学習のモチベーションがダウンしてしまっていたので、学習を行ったのはちょうど半年くらい。 私は使っている人自らが胸をはって「この技術はおす…

https://www.sciencedirect.com/science/article/pii/S1567832610000068 The proof monad, 14p。対話的手続き的証明系のモナド定式化。ローカルに落とした、~/archive/ProofMonads.pdf これ読んでみたが、予想と違うことが書いてあった。証明モナドはモッジの意味の計算的モナドで、手続き的タクティク言語による証明支援系のインタプリタとしての動作を説明するモナドだった。が、前半は非常に参考になった。僕はタクティク言語はまったく考えてなくて記述言語／文書化言語〈description/documentat…

ブログでのタグは： STEM 半形式証明スクリプト xgerby stringer ブックマークでのタグでは： proof-lang string-logic proof-shell tenjin tenjin-dev gergy tagging muses muses-dev とか。理論的背景は： https://math.mit.edu/~dspivak/informatics/olog.pdf スピヴァックのolog https://homepages.inf.ed.ac.uk/gdp/publications/Montanari.pdf ブルーニ／モンタナリ達の On hierarch…

Cats MTL のご紹介 はじめに スタンバイではシステム開発に主に Scala を使用しています。またその一部では、モナドやエフェクトを使用して型安全で堅牢なシステムを構築しているシステムもあります。 モナドやエフェクトの合成においては、それらを書きやすい形でラップアップした Eff などがありますが、一方で Scala の関数型ライブラリである Cats とシームレスに統合可能である Cats MTL というライブラリがあり、書きやすさの面でも過去のバージョンと比較してかなり向上しています。 ここでは、 Cats MTL をアプリケーションにどのように取り入れるのかをサンプルコードを元に…