archives

Various desired forms of reasonableness

A small study in the vagaries of Rgular types in C++.

Abseil blog post.

How can we get better statically typed assurances around the nuances of such concepts? Which languages help the most? Things like Rust or ATS come to mind.

By raould at 2020-01-17 00:36 | LtU Forum | 1 comment | other blogs | 4868 reads