6889 shaares
progress in type systems marches inexorably forward, ruling out broader and broader classes of programs as bad. one day, type systems research will achieve the ultimate goal: to conclusively establish that all programs are bad
@lindsey