Vlákno názorů k článku Práce se seznamy v jazyce F# od radekm - Poznámka: o speciální případ se zde jedná z...

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

Zajímavé, třeba Rust si umí pomocí unifikace odvodit typy často, ale vždy vyžaduje konkrétní.

Co máš přesně na mysli?

Co píšu, v Rustu je inference typů příkladná, ale všechny typové proměnné musí být vázané.

Jasně, díky za upozornění. Já to myslel tak, že neodvodí konrétní typ prvků, akorát jsem to napsal moc obecně. Ono to není nic proti ničemu, prostě někdy vyjde alfa list atd. a pořád máme možnost to specifikovat explicitně (akorát to prakticky není potřeba).