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.
#modal-types on Hacker News
1 story tagged modal-types, newest first.