LangExtでのOptionの設計 - ぐるぐる～

このエントリの最新版はGithubにあります。 Optionの意味を理解していることを前提に、直和型をC#で実現する方法についてを説明し、 LangExtではどういう方針を採用しているのかと、その理由について明らかにします。 バリアント型のC#での設計方針 Optionなどのバリアント型(VBのVariant型のことではありません)をC#で実現する場合、大まかに次の2つの方針があります。 型の階層で表現する タグを判別する値を持つようにする 一つ目の方法は、Option(もしくはMaybe)型の実現方法としてよく使われている方法です。 +-----------+ | Option[T] | +-----------+ △ ｜ +-----＋-----+ | | +---------+ +---------+ | Some[T] | | None[T] | +---------+ +----

[zetta1985]

match式の模倣、参考になる。option.dartに取り込めるかな・・・

[masaru_b_cl]

Option型の目的である「nullの排除」のために、Option型はstructにしている、と。そして、他のライブラリには無いMatch。LangExt素敵！