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