[maest]

Basically q/kdb with types and first class support for stuff like pattern matching and monads (and maybe marginally less terse).

It would need interop with a large subset of existing Python/C libs to ensure adoption.