実行時にJavaScriptで型チェックを生成するには？活字体またはFacebookのフロー（タイプ）と

Question

私は静的に活字体とフローの両方が時間をコンパイルでそのようなadd('1',0)など違法な呼び出しをキャッチ

function add (x: integer, y: integer) { ... } 

のような変数を入力することができます。

ただし、ライブラリをコンパイルしてエクスポートすると、そのタイプはなくなります。つまり、その関数を使用しているライブラリのコンシューマはエラーを起こさず、デバッグの難しい問題につながる可能性があります。

実行時にまったく同じエラーが発生する追加コードを自動生成する方法はありますか？

タイプチェックが予想されるたびに、必ず手作業でガードを配置することができますが、退屈で反復的です。