3 ms·
This is called dependent typing, and is supported by some languages such as Idris (https://www.idris-lang.org/ https://www.idris-lang.org/)
by peterkelly 6y ago
This is called dependent typing, and is supported by some languages such as Idris (https://www.idris-lang.org/ https://www.idris-lang.org/)