liephia https://blog.hatena.ne.jp/liephia/ Reproc.pnz https://penzant.hatenadiary.com/ OCaml Programming ocamlで二進表現の型定義どうするのってぐぐってもそれらしい解説がついてるのが見つからなかったんだけど、やっぱり考えぬいて（アニメ見ながら3時間くらい考えた）以下の結論に至った。 type bnats = X | Y of bnats | Z of bnats type bnat = A | B of bnats 0 = A 1 = B X 11 = B (Y X) 101011 = B (Y (Y (Z (Y (Z X))))) とりあえず二進表現と型表現の桁の順序は逆になっていて、Aは値としての0、Xは一番上の桁の1、Yは途中の桁の1、Zは途中の桁の0という感じ。Bはbnatsを引き受け… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpenzant.hatenadiary.com%2Fentry%2F2014%2F04%2F19%2F000000" title="OCamlの二進数表現っぽいもの - Reproc.pnz" 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 2014-04-19 00:00:00 rich https://penzant.hatenadiary.com/entry/2014/04/19/000000 1.0 100%