[bitc-dev] The case for typing of purity

[Raoul Duke]

> What do people think?

$0.02: i don't yet entirely follow, but at first blush it certainly
looks like the intent is good :-) to try to end up with something that
looks less like line noise than the original or DDC style. just
eyeballing it, i think one win is the reduction in the use of '%'. the
smaller a delta it is from ML style type annotations the better, i'd
hazard.

sincerely.