не силен в типах, почитал, похоже что да
исхожу из того, что куда не плюнь динамическая система, при том постоянно эволюционирующая, и закрепить в «статику» можно только то, что устоялось. Мне интуиция подсказывает, что попытка закрепить все в типы, когда границы системы не видны, изначально обречена на провал, с другой стороны, когда границы известны, можно и статику применять. в общем «по середине»)