Исходное сообщение
"Доступен язык программирования Rust 1.8" Отправлено freehck, 17-Апр-16 09:39
>> И когда я смотрю на это определение, я точно знаю, что add1 >> - это функция int -> int, потому что функция (+) имеет >> именно такой тип. И я уверен по этой же самой причине, >> что x - это int, потому что параметр иного типа не >> может быть передан в (+). > Угу, а на практике, в том же ocaml, начинаются танцы с бубном: > +. для float или > +/ для num. Правильно. Именно для того, чтобы я мог посмотреть не вооружённым IDE взглядом и понять, как оно работает наверняка. Поэтому, если тебе нужен оператор - для каждого типа будет свой суффикс. При этом Num - это в общем-то эзотерика. float-ом и int-ом всё как правило ограничивается. > тот же "add" используется в int32, int64, nativeint, complex. > Да и никто не мешает пограмисту сделать свою, правильную версию > let add a b =  … И вызываются они вот так: Int32.add, Int64.add... Такая логика: "имя пакета"."имя функции" В случае определения нового add - a и b будут иметь те типы, которые задаст программист. Если уже была старая функция с таким именем, её значение будет забито новым связыванием. Я только не понял, чем вы не довольны в Ocaml?