News for hackers. Stuff that matters.

A comment on Ada for the C++ and Java Developer [pdf]. Parent comment

Re:Ada for the C++ and Java Developer [pdf] by nerdponx on Sunday March 28, 2021 @04:25PM (#26614146)
Is it not possible to use refinement types to erase some (but maybe not all) runtime checks but still maintain a type safety guarantee?
[ Parent | on HN ]

There are no comments on this comment yet.