Здравствуйте, adontz, Вы писали:

A>Я как раз хорошо понял. В исходном примере все типы выводились и получалось, что v = x * y — площадь вне зависимости от того, что я имел ввиду. Явно указывать типы это на самом деле очень полезно. А чтобы их указывать явно и гибко нужны нормальные шаблоны.

Теб же трое сказили, что ты не прав, и что тебе нужно внимательнее читать.

Еще раз, последний. На Немерле обеспечивается олный контроль типов. Немерл без проблем позволяет как задавать типы явно, так и выводить и автоматически. Если у гого-то возникает параноя, то он всегда может добавить к любому выражению конструкцию " : тип" и компилятор будет контролировать тип выражения. Это же справидливо и для объявления переменной:

def x : int = любое_выражение;

"x" будет иметь тип int независимо от того, что за тип выводится из "любое_выражение". Если тип несовместим или требует рантайм-приведения, то компилятор просто откажется компилитовать код.

Надесь, на этом данная дискусиия будет закрыта.