TypeScriptの異常系表現のいい感じの落とし所 | DevelopersIO

みなさんTypeScriptでサーバアプリケーション（Node.js）のロジックを書く時に、異常系の表現をどのようにされていますでしょうか？ここでいう異常系とは、仕様上想定される異常のことです。準正常系と言ったりもするかと思います。 私はJavaScriptの延長でTypeScriptをはじめたので、最初は null や undefined を返したり throw を用いるやり方をしていましたが、次第にTypeScriptが持つ型を生かし、できるだけ型安全に異常系を表現したいと考えるようになりました。そして試行錯誤した結果、いい感じの落とし所に落ち着いたので、その内容についてお伝えしたいと思います。 また記事の後半では、異常系の型を実装する中でハマった点についてもお伝えしたいと思います。 TypeScriptの異常系表現について 1. nullやundefinedを返す 冒頭でも述べたよう

[IzumiSy]

Either型まで作ったらもうパターンマッチしたいしコンパイラに網羅性チェックアウトまでしてほしい…

[Nodaguti]

同じようなことを実現する option-t というライブラリがあって結構使い勝手がよい (こっちは Rust の Option<T> インターフェースを実装している)

[tasshi820]

やっぱResult型だなー

[igrep]

軽量なEither型って感じか。確かにHaskellと違ってearly returnすればネストが深くなる問題は免れるし、少々冗長だけどいい落とし所なのかも知れない（でも結局flatMapみたいな関数を自前で追加しちゃいそう）

[onefootinthegrave]

rustのresult。 下層が返したエラーを上層にどう伝播するか、とか、スタックトレースどうします？とかまだ考えるとこは沢山ある。

[minase_mira]

Error投げるでも良いと思ってたけど、最終形のが綺麗な気がする

[otherworld]

結局Eitherとかに行き着くやつ…

[efcl]

TypeScriptが構造型であることOption<T>的な実装の話

[s083027]

Optionも欲しいし最近はfp-ts入れちゃうなぁ

[hokkey]

異常系についてかいた記事ってすごく勉強になる(個人的には3が好きかも)

[bonlife]

思考の過程が追えて勉強になる。ただ、最終の形がやっぱりちょっと分かりづらく感じるんだよなぁ。