zyxwv https://blog.hatena.ne.jp/zyxwv/ zyxwvの日記 https://zyxwv.hatenadiary.org/ Haskell 数理論理学の試験勉強していて触発されて、少し遊んでみた。自分でもいまいちよくわからない。 なんか適当にやってても、インタプリタがいろいろアドバイスしてくれる GHC は素晴らしい。なんと付けるべきオプションまで教えてくれるんですよ。意味わからんのだけどね。そのうち調べよう。型で計算を行う(?)プログラム。(微妙に修正しました) {-# OPTIONS -fglasgow-exts -fallow-undecidable-instances -fno-monomorphism-restriction #-} data ZERO data Succ a class Plus x y z | x y… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzyxwv.hatenadiary.org%2Fentry%2F20070730%2F1185811454" title=" なんだかよくわからないながらも型で遊ぶ - zyxwvの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-07-30 01:04:14 rich https://zyxwv.hatenadiary.org/entry/20070730/1185811454 1.0 100%