9504 shaares
222 private links
222 private links
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
