3 ms·
It's obviously a tradeoff, but dependent types can make the space of these assertion types more rich and also ensure that they are true by construction.
by tel 12y ago
It's obviously a tradeoff, but dependent types can make the space of these assertion types more rich and also ensure that they are true by construction.