8471 shaares
203 private links
203 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
