TypeScriptの型定義を使って、実行時にデータの検証を行う

JavaScript / TypeScript でプログラムを書いていて、入力値や外部から受け取ったデータの検証って本当に面倒ですよね。 最近では、 JSON Schema を使うのが一般的かと思いますが、あのJSONを手書きするのは絶対に嫌。 ということで、型定義を(ほぼ)TypeScriptの記法で書けるスキーマ検証用のライブラリを作ってみました。

github.com

パーサーは昨年自作したパーサーコンビネーター・フレームワークによって再帰降下法で作成しています。

github.com

スキーマ定義は上述のほぼTypeScript DSLで記載できるほか、APIでも記述できます。 今年は脱 JSON Schema としたいです。