An incredibly expresive and powerful functional language... With no type system or static analysis to speak of? Hard nope, that's the express path to write once

An incredibly expresive and powerful functional language... With no type system or static analysis to speak of? Hard nope, that's the express path to write once read never.