@amiloradovsky@functional.cafe yeah, still a machine process, specifically designed so that humans don't have to keep track of types at least from my point of view. I find myself having to keep track of types in dynamically typed languages way more than in statically typed ones.