Забавная хрень

[metaclass]

В обычных языках параметры, которые содержат дефолтные значения, нужно запиливать в конец списка параметров, иначе не скомпилируется. Т.е что-то вроде strToIntDef(s:string;default:integer=0);

В хаскеле сия привычка вылазит боком, так как сделать из функции с полным набором параметров функцию с дефолтными можно частичным ее применением, а для этого нужно чтобы параметры, которые часто используются с дефолтными значениями были в начале, иначе объявления получаются слишком многословные или приходится использовать всякие flip:
strToIntDef:: String -> Int -> Int
...
strToIntDef' x = strToIntDef x 0

а вот если сделать так, то получается гуманно, и можно вообще вторую функцию не объявлять, а использовать сразу (strToIntDef 0) где нужно
strToIntDef:: Int -> String -> Int
...
strToIntDef' = strToIntDef 0

Comments

[lionet.livejournal.com]

Тебе в OCaml: там аргументы можно, при желании, именовать, и даже делать частичное применение с аргументами, стоящими на произвольных местах в списке аргументов.

[potan.livejournal.com]

Особенно забавно это смотрится с учетом карринга.
Еще интересный факт - функция с именованным параметром с значением поумолчанию отличается по типу от функции с обязательным именованным параметром.

[gds.livejournal.com]

кстати да, в окамле кроме именованных аргументов ещё есть и опциональные аргументы.

# value print_int ?(title="some int") x = Printf.printf "%s = %i\n%!" title x;
value print_int : ~?title:string -> int -> unit = <fun>
# print_int 123;
some int = 123
- : unit = ()
# print_int ~title:"my int" 42;
my int = 42
- : unit = ()
# 

[udpn.livejournal.com]

В сишарпе нельзя вообще пропускать =)