osiire https://blog.hatena.ne.jp/osiire/ osiire’s blog https://osiire.hatenablog.com/ 多相バリアント さて、今日は多相バリアントの「三つの型」について紹介しようと思います。この「三つのの型」をうまく活用する事で、安全さと柔軟さと再利用性を同時に手に入れることができます。 三つの型 同じ`Aと`Bというタグを使っても、宣言できる多相バリアント型には三種類あります。一気に紹介しちゃいましょう。 # type t1 = [ `A | `B ];; (* 固定 *) type t1 = [ `A | `B ] # type 'a t2 = 'a constraint 'a = [> `A | `B ];; (* 開いている *) type 'a t2 = 'a constraint 'a = [> `… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fosiire.hatenablog.com%2Fentry%2F20090514%2F1242235108" title="多相バリアントを使いこなそう(3) - osiire’s blog" 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-05-14 02:18:28 rich https://osiire.hatenablog.com/entry/20090514/1242235108 1.0 100%