Type-level programming for safer resource management

4 points | by Bogdanp 21 hours ago