Metadata
Author: WikiMatrix
Data
Greek[el]
Άλλα συστήματα, όπως της Haskell, κάνουν εξαγωγή τύπων (type inference): ο μεταγλωττιστής βγάζει συμπεράσματα για τους τύπους των μεταβλητών, με βάση πώς χρησιμοποιούνται αυτές από τον προγραμματιστή.
Russian[ru]
Другие, такие как система типов Хиндли — Милнера, применяемая в языках ML и Haskell, осуществляют выведение типов: компилятор выстраивает заключение о типах переменных на основании того, как программист использует эти переменные.