bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (初級編：圏論とHaskell) ６．２ 関手の証明 かつてバークレイの大学院生だった頃に指導教授からプログラムの正当性を研究テーマにしてみないかと誘いを受けたことがある。当時のプログラミング言語と言えばFortlanで、構造がぐしゃぐしゃなプログラムを検証することなど不可能だと直感的に感じて断った経験がある。純関数型言語を使えるようになった今日ではプログラムの検証は随分と簡単になった。今回の記事で紹介するのもその一つである。Maybeが関手であること、即ち、構造を保持していることを証明しよう。圏の定義を確認しておこう。 1) 対象\(A,B,C,..\)を有する。 2) 射\(f,g,h,..\)を有する。 3) 射はドメイ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2017%2F02%2F17%2F092119" title="関手ー関手であることの証明 - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20170217/20170217084834.png Hatena Blog https://hatena.blog 2017-02-17 09:21:19 rich https://bitterharvest.hatenablog.com/entry/2017/02/17/092119 1.0 100%