Просто типизированное лямбда-исчисление
Λ-λογισμός με απλούς τύπους
Типизированное лямбда-исчисление oor Grieks
Типизированное лямбда-исчисление
Vertalings in die woordeboek Russies - Grieks
Λ-λογισμός με τύπους
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Трём осям куба соответствуют три различных дополнения к просто типизированному лямбда-исчислению: дополнение зависимых типов, дополнение полиморфизма и дополнение конструкторов типов высшего порядка.
Σκέψου " πέτα "WikiMatrix WikiMatrix
Следовательно, ти́повые операторы можно рассматривать как просто типизированное лямбда-исчисление, имеющее единственный тип, обычно обозначаемый «*» (читается «тип»), являющийся типом всех типов в нижележащем языке, которые в этом случае можно называть характерными типами, чтобы отличать их от типов ти́повых операторов в их собственном исчислении — родо́в типов.
Πόσο ακόμη;- Χωρίς οξυγόνοWikiMatrix WikiMatrix
2 sinne gevind in 2 ms. Hulle kom uit baie bronne en word nie nagegaan nie.