Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Závislostní typ.
Zobrazeno 6 položek.
- Typový systém (← odkazy | editovat)
- Teorie typů (← odkazy | editovat)
- Curryho–Howardův isomorfismus (← odkazy | editovat)
- Type shifter (← odkazy | editovat)
- Lean (programovací jazyk) (← odkazy | editovat)
- Idris (programovací jazyk) (← odkazy | editovat)