At the extreme end, and with no claims of scalability, you have shell: everything is a string.

I'm skeptical that sophisticated type systems need to exist.

Perhaps I should dust off my copy and start reading SICP