Then I think you will like https://tkatchev.bitbucket.io/tab/index.html https://tkatchev.bitbucket.io/tab/index.html "It's statically-typed and type-infered.

Then I think you will like https://tkatchev.bitbucket.io/tab/index.html https://tkatchev.bitbucket.io/tab/index.html "It's statically-typed and type-infered. It also infers memory consumption and guarantees O(n) memory use. It is designed for concise one-liner computations right in the shell prompt. It features both a mathematics library and a set of data slicing and aggregation primitives. It is faster than all other interpreted languages with a similar scope. (Perl, Python, awk, ...) It is not Turing-complete. (But can compute virtually anything nonetheless.) It is self-contained: distributed as a single statically linked binary and nothing else. It has no platform dependencies." I am a little suspicous that you may be the author ;)