Názor k článku Úvod do jazyka Reason: varianty, pattern matching a ošetřování chyb od Radek Miček - K čemu třeba jsou vyjímky? Typ `Maybe`, případně...

K čemu třeba jsou vyjímky? Typ `Maybe`, případně `Result` by spolu s pattern matchingem nestačil?

Souhlasím, že typ `option` by na mnoha místech standardní knihovny byl vhodnější než vyhazovat výjimku. Tohle je bohužel pozůstatek z OCamlu, kde jsou výjimky velmi rychlé a dříve byly rychlejší než obalovat výsledek do `Some`.

Myslím, že je trochu škoda, že to Facebook nezačal stavět na Haskellu, ale na Occamlu.

Myslím, že je celkem těžké implementovat efektivně non-strict sémantiku Haskellu v prohlížeči. Navíc FB hodně používá OCaml.