>>12
I'd rather write {code (: x T)} than a cascade of {code declare}s, but it does look bad.
It also lacks many of the things that make statically typed languages appetible. You'd think they're about type safety, and you'd be wrong: they're all about type-driven polymorphism and inference. TR lacks both.
I only use it for the removed list checks and the wonders it does with floating point optimizations.