Vlákno názorů k článku Funkce a typový systém programovacího jazyka ML od Pavel Tišnovský - Ještě jsem do repa přidal dva příklady, jak...

Ještě jsem do repa přidal dva příklady, jak použít map společně s anonymní funkcí (je to jen opáčko toho, co bylo napsáno):


fun map f [] = []
| map f (head::tail) = (f head) :: (map f tail);



map(fn x => x+1, [1,2,3]);



map(fn x => x/2.0, [1.0, 2.0, 3.0]);


V tomto případě to vypadá jako currying (bez těch závorek). Nebo to v ML takto není?