For a contract based language and a "really dynamically typed language", I'm working on https://letlang.dev

And it's because I haven't thought yet about how to do static type checking with such a feature.

I haven't got any time to work on it in the past few weeks, and I'm the only dev (would really love some help). So, it will be ready when it will be ready :P