Some of the OP's observations are why I wrote Empirical [1]. - I wanted static types that felt dynamic, which meant being able to infer types from a file as lo

Some of the OP's observations are why I wrote Empirical [1]. - I wanted static types that felt dynamic, which meant being able to infer types from a file as long as the file path can be determined at compile time. - I wanted Dataframes to be a first-class container since the high-level of abstraction leads to great performance when doing analytics. Therefore, I created a language with statically typed Dataframes. Empirical can infer a CSV's type at compile time, namely because it performs compile-time function evaluation automatically. The result is a language that runs easily in a REPL but can be used for long-running scripts without worrying about common programming errors. [1] https://www.empirical-soft.com https://www.empirical-soft.com