A Python variant with seamless dynamic and static typing