Compile-Time Dependent Types

21 points by ibobev

Read the article

Discussion on Hacker News