ts-patternでTypeScriptにパターンマッチングを持ち込み、より型安全な世界へ

0. はじめに 現代のWebアプリケーションの開発言語として、TypeScriptはファーストチョイスの一つです。特殊なケースを除き、フロントエンドの開発言語にはTypeScriptが選ばれるため、言語を統一するメリットを優先し、バックエンドにもTypeScriptが採用されるケースはよく見られます。 またReactがClass Componentを捨てFunction Componentを採用した事件が象徴するように、現代のプログラミングパラダイムのトレンドとして関数型プログラミングがあります。そもそもJavaScriptの出自は、関数型言語をブラウザに搭載できると聞いてNetscapeへ入社したブレンダンアイク氏が、オブジェクト指向言語であるJavaのような言語を会社から要求され、開発したというものです[1]。そのためか、JavaScriptは未だ関数型言語としては未成熟で、関数型プロ

[kotas]

最初のはeslintのswitch-exhaustiveness-check またはdefaultにconst _a: never = animal を書いておくと網羅性チェックできたりする…

[kazatsuyu]

こういうのは言語機能で解決できるようになってほしいよなあ

[xxxxxxxxlarge]

const _:never = type じゃだめなのか

[efcl]

ts-patternの使い方

[aki202]

書いた