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 l

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.