| ▲ | 12_throw_away 2 days ago | |
Yeah, these look excellent. Am curious if D's invariants can be traced back to Ada/Spark at all (I don't know much about Ada except that it has these sorts of safety features). | ||
| ▲ | johnisgood 2 days ago | parent [-] | |
Maybe this might help: https://news.ycombinator.com/item?id=44449835 | ||