>>619
作ればいい。簡単な話だ。
pythonのdecoratorのようなメタプログラミング機能があればそれを使う。
なければ、プリプロセッサを書いてもいいし、
型アノテーションをコメントに埋め込んで、
IDEが設定に応じてそれを関数本体部に埋め直してもいい。

せっかく柔軟な動的型付言語をつかうんだから、
言語仕様も処理系もIDEの役割分担も、柔軟に考えたほうがいい。