МЕ
меня вот этот ваш + на ф шарпе смущает
Size: a a a
2021 July 03
МЕ
который с какого то фига приводит к инту
AB
нет, в F# ничто неявно не приводится
AB
кроме делегатов в особых случаях
AB
F# строгий тут, а не как C# приведем, а потом ебёнемся в рантайме
AB
/сделаем какшку
AB
если ты из функции возвращаешь double, то тип выведется как double
AB
внутренняя магия по выводу типов и ты получаешь, что нужно
AB
и получаешь ошибку, когда плюсуешь double к int
МЕ
А ты говорил компилятор умный))
AB
а это тут при чём?
AB
неявные преобразования — зло и приводят к ошибкам
AB
компилятор умный
AB
если ты считаешь, что нуно кастить одно к другому неявно, то компилятор тут не виноват
IC
Приведение типов и вывод типов - это разные вещи.
МЕ
Так зачастую так программируют
AB
знаешь, когда аппарат рентгеновского излучения убьёт пару чуваков из-за неявного приведения, тогда становится не так весело
МЕ
Преобразование из одного типа в другой
AB
F# выводит типы на основе того, как ты используешь типы
AB
при этом не допускаются неявные приведения