tag:blogger.com,1999:blog-7964484936470829118.post4734347826052093433..comments2023-06-19T00:13:27.403+09:00Comments on Modegramming Style: 圏論デザインパターンasamihttp://www.blogger.com/profile/12083671403528595185noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-7964484936470829118.post-13888441672671674902012-03-05T12:03:22.225+09:002012-03-05T12:03:22.225+09:00圏論でのプログラミングというと,私が真っ先に連想するのはこのあたりです。
『CiNii 論文 - ...圏論でのプログラミングというと,私が真っ先に連想するのはこのあたりです。<br />『CiNii 論文 - カテゴリー理論的関数型プログラミング言語』 http://ci.nii.ac.jp/naid/110003743564<br />『Categorical programming with inductive and coinductive types』 http://www.cs.ut.ee/~varmo/papers/thesis.pdf<br /><br />いろんな応用がありますから,視野を広く保ちたいものですね。しゃみの(syamino)https://www.blogger.com/profile/13918818332423635029noreply@blogger.com