Metadata
Author: WikiMatrix
Data
English[en]
Like for Prolog, an algorithm for type inference can be given: Any type variable unifies with any type expression, and is instantiated to that expression.
Norwegian[nb]
I type teori, er de analoge uttalelsene: Hvilken som helst type variabel unifiseres med hvilken som helst type uttrykk, og er instansiert til det uttrykket.