TypeScriptで世界一型安全な型レベルSQL Interpreterを作っている話

こんにちは。DevOps芸人と化して久しいAndyです。 2020年の秋にTypeScript 4.1へTemplate Literal Typesが導入され、そのインパクトに俄かに一部の界隈がザワついたのは記憶に新しいかと思います。 今回は型プログラミングの可能性を大いに押し広げたTemplate Literal Typesを用いてSQL文を型レベルで解析し、その実行結果を型情報として導出するためのsqlptureというライブラリを作ったので紹介します。 Embedded content: https://github.com/andoshin11/sqlpture SQLの実行/検証対象はPostgreSQL v13です。 tl;dr SQL文を型レベルで解析・評価して返り値型を取得できるmini interpreterを作ったよ 型レベルのSQL validatorも作ってるよ 実際

[andoshin11]

最近ハマってる型芸について書きました

[Windymelt]

面白い。Scala 3にも同様の機能があるはずなので、型レベルでSQLの安全性を保証できるようになるかもしれない。

[efcl]

Template Literal Typeを使ったSQLパーサと評価

[delphinus35]

こりゃすごい

[gachapining]

すごい。クライアントもTSだろうから、DB バックエンド フロントエンドの境界を全て型安全でカバーできる。

[n314]

気になる

[p1ass]

これすごい

[Magicant]

すごいんだけど、どうせ any でごまかす箇所あるなら型レベルプログラミング頑張らずとも linq みたいなのでよくない?

[trkbt10]

すっごい……