Compile-Time Dependent Types

Max SlaterComputer Graphics, Programming, and MathCompile-Time Dependent TypesIt seems inevitable that compile-time dependent types will come to systems programming.C++ has templates and constexpr. Rust has const generics. Zig has comptime. Even C has _Generic. However, these features tend to be highly restricted, lack a proper type system, or both.I’m working on Syl, a language which aims to encode compile-time computation in a modal type system. Syl is primarily inspired by András Kovács