Názory k článku Funkce a typový systém programovacího jazyka ML

To rozlišení +, spojení seznamů a spojení řetězců různými operátory je asi zpočátku fajn. Ale asi to znamená nemožnost přetížení třeba pro vektory že? (tedy dá se s tím žít, jen se ptám).

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í?

Opakovani nazvu funkce za | je trohu nadbytecne.

10. 2. 2022, 14:39 editováno autorem komentáře

Jsem si to vyzkoušel v online IDE píše mi to:
Parsing failed: Nyaboron is sad. Did you forget a function name?

Jak se to má zapisovat jen s jedním názven?

Musí se to opakovat. Asi to vypadá nadbytečně, to je pravda.

Taky jsem na to narazil a trochu mě to zarazilo, ale nijak zvlášť otravné to není.