Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Toocoalton-lang.github.io1 pointlisper3 years ago