Compile-Time Dependent Types(thenumb.at)
55 points by ibobev | 17 comments
Blog post by Max Slater introducing Syl, a language that encodes compile-time computation with modes and dependent types, inspired by two-level type theory and OxCaml.
#compile-time-computation on Hacker News
1 story tagged compile-time-computation, newest first.