If that sort of thing interests you, also check out my language 'tab' (https://bitbucket.org/tkatchev/tab https://bitbucket.org/tkatchev/tab). Tab is a statica

If that sort of thing interests you, also check out my language 'tab' (https://bitbucket.org/tkatchev/tab https://bitbucket.org/tkatchev/tab). Tab is a statically-typed, functional, type-inferred language that occupies a niche between bash and python. It's also not Turing-complete but can compute almost everything you could ever think of. (I wish more languages aimed for Turing-incompleteness -- unsurprisingly, it turns out Turing-incomplete languages have big benefits for performance and resource management.)