4 ms·

I once (tried?) to implement some form of refinement types using C++17 templates as my BSc thesis: https://github.com/frabert/bsc-thesis https://github.com/frab

I once (tried?) to implement some form of refinement types using C++17 templates as my BSc thesis: https://github.com/frabert/bsc-thesis https://github.com/frabert/bsc-thesis It's more or less as horrific as you can imagine...

pjmlp 2y ago
Nowadays in C++23 land, and with concepts along for the ride, it might be easier, although it begs the question why C++ in first place?
- frabert 2y ago
  I enjoy abusing C++ templates for fun and for the challenge