g
просто увидел Araq тут сказал как будто в nim уже х-м есть
Size: a a a
2021 April 14
g
хотя операторы сложения например флотов и интов одинаковые
A
Так Х-М не противоречит перегрузке
g
а, хмм
g
я про хм больше всего из reason знаю
A
Назови plusFloat и plusInt , а потом просто из шаблона выбирай нужный plus на основании типа. Это все останется Х-М при этом
g
и мне показалось что вывод такой глубокий не локальный основывается на том что между всми типами данных разные операторы итд
g
там же для флотов +., для конкатенации строк ++
g
и можно типы вообще нигде не писать, все выведется
A
Ну просто без перегрузки.
g
угу, я подумал это то на что хм опирается
A
Выбирать нужную функцию можно не только по имени (как в ocaml чтобы точно было +.), Но и целиком по сигнатуре
g
ведь если в методе просто +, то аргументы плюсов уже типы суммы int | string | float
g
а так можно конкретезировать что только float без типизации
VB
вводить новые сущности противоречит принципу бритвы оккама.
g
а где новые сущности
g
(С++ против)
A
Опять же, имхо, это ничего не ломает особо. Вот если бы на выходе функции был бы int|float (с одинаковыми входными) - тут да, проблемы
g
хммм, но ведь так и получается, разве нет
g
proc sas(x, y) { x + y }