No I haven't seen that, that looks pretty cool. It looks like a good middle ground between static types and core.typed. I don't like core.typed because what l

No I haven't seen that, that looks pretty cool. It looks like a good middle ground between static types and core.typed. I don't like core.typed because what little research I've done shows that it actually becomes more verbose than java in some cases. That really seems like a step backwards.