HPR3796: Dependent Types
🔒
https://hackerpublicradio.org
«I discuss dependent types, which are types that can contain non-type
programs. An example of a dependent type is a list whose type contains
its length. Instead of just writing List<String> for
a list that contains ...»
Automatische Weiterleitung...
1.5s