Poznámka: o speciální případ se zde jedná z toho důvodu, že programovací jazyk F# nedokáže z prázdného seznamu odvodit typ prvků.
Ten typ odvodil, dokáže to. Akorát nějaké hodnoty v F#, OCamlu, Standard ML mají nekonečně mnoho typů, tak kompilátor odvodí ten nejobecnější (všechny ostatní typy z něj jde dostat dosazením za typovou proměnnou).
Podobně třeba pro seznam [None] odvodí 'a option list. Hodnoty, kterými v ML jsou i funkce (nesmí být aplikované) mohou mít generické typy.
26. 9. 2023, 15:39 editováno autorem komentáře