Исходное сообщение
"Доступен язык программирования Rust 1.8" Отправлено Аноним, 16-Апр-16 14:33
> И когда я смотрю на это определение, я точно знаю, что add1 > - это функция int -> int, потому что функция (+) имеет > именно такой тип. И я уверен по этой же самой причине, > что x - это int, потому что параметр иного типа не > может быть передан в (+). Угу, а на практике, в том же ocaml, начинаются танцы с бубном: +. для float или +/ для num. еще ладно, но: тот же "add" используется в int32, int64, nativeint, complex. Да и никто не мешает пограмисту сделать свою, правильную версию let add a b =  …