AZ
То есть это лучше?)
конечно. Как твой func ссделать который принимает аргумент, и возвращает его же удвоенный на два?
Size: a a a
2020 June 10
ЕС
конечно. Как твой func ссделать который принимает аргумент, и возвращает его же удвоенный на два?
func: x -> x * 2
AZ
func: x -> x * 2
а какой тип у x?
ЕС
Пока языки не научатся такое проглатывать статическая типизация имхо не особо полезна, так как выразить можно мало что, или слишком сложно выразимо.
ЕС
а какой тип у x?
Mul 2
ЕС
То есть любой тип который можно умножить на 2
S
конечно. Как твой func ссделать который принимает аргумент, и возвращает его же удвоенный на два?
А система внутритиповых описаний там гибкая? Я почему-то только только с арифметикой видел, мол массив с длиной n + m или вот это умноженное на два аргументо. А если я хочу возможно ломающееся http-соединение с оттипзированным по полной протоколом, который может в один прекрасный момент перестать соблюдаться (сервер обновили, а клиент нет)
AZ
Mul 2
А откуда он взял Mul? Что если оператор * определен в пяти разных тайпклассах?
b
А откуда он взял Mul? Что если оператор * определен в пяти разных тайпклассах?
значит система типов кал!
b
впрочем, любая система типов это кал
b
поэтому ничего удивительнг
ЕС
А откуда он взял Mul? Что если оператор * определен в пяти разных тайпклассах?
В идеальном языке нельзя определять новые операторы
S
там же не просто система типов, а какая-то интересная, из-под исследований каких-то научных людей с настоящими фамилиями
b
а бывают ненастоящие фамилии?
G
mat1.add(mat2.mul(mat3)) VS mat1 + mat2*mat3G
Каеф
ЕС
Операторы должны нести одно значение
ЕС
Один смысл
b
mat1.add(mat2.mul(mat3)) VS mat1 + mat2*mat3ну в данном случае у тебя в обоих выражениях одни и те же пропозициональные знаки
G
Смысл сложения