ytqwerty https://blog.hatena.ne.jp/ytqwerty/ Note https://ytqwerty.hatenadiary.org/ OCaml アップキャスト/ダウンキャストのメモ。 # type super = [`a | `b | `c];; type super = [ `a | `b | `c ] # type sub = [`a | `b];; type sub = [ `a | `b ] # ((`a : sub) :> super);; - : super = `a # match (`a: super) with #sub as x -> x | `c -> assert false;; - : [> sub ] = `a やはり私は部分範囲型が大好きなんだなあと実感中。Pascalと異なり宣言上で連続している必要が無… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytqwerty.hatenadiary.org%2Fentry%2F20090207%2Fp1" title=" 多相バリアント - Note" 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 2009-02-07 00:00:00 rich https://ytqwerty.hatenadiary.org/entry/20090207/p1 1.0 100%