UPDATE - összefüggésben ezt a kérdést előre géppel 1.4. Mivel ez a változat, az első becslés támogatta a nyelvet. Lásd a frissítést a választ.
Kijelenthetem f, hogy egy függvény, amely elfogadja a karakterláncot, és visszaadja a szöveg:
var f : (string) => string
És azt is kijelentik g, hogy egy sor szöveg:
var g : string[]
Hogyan állapítsa meg h, hogy egy sor „funkció, amely elfogad egy karakterláncot, és visszaadja a string”?
Az első becslés:
var h : ((string) => string)[]
Úgy tűnik, hogy a szintaktikai hiba. Ha elveszi az extra zárójelben, akkor ez egy funkciót string tömb string.













