[tasuki]

> We try to catch most errors in Python during compile time.

I feel Python is not the best language for catching most errors during compile time.

[picklelo]

We're using Pydantic and our compiler has custom type-checking on top of Python to catch these issues.