B
я предлагал способ представлять динамические типы типами с точки зрения теории типов
Size: a a a
2021 July 07
П
И твоя динамическая диспетчеризация на типах как раз
[
нет ни одной причины почему это нельзя вынести в кт
ДК
Что мы называем типизацией?
B
это философский вопрос
ДК
Ну. Выносите, кто вам запрещает?
П
А о чем спор был?
П
Что нельзя на типах сделать то, что сделано на типах в джулии?
П
Вас понял
h
всё? ну то есть, всё ЯПы типизированные. А вот всё остальное ньюансы
ДК
Обычно, всё же, приписывание значениям тэгов в runtime типизацией не называют.
П
Называют
ДК
П
Даже динамическая диспетчеризация ближе к телу, если я правильно понял)
h
что за тело?
ДК
На типах нужно предусматривать структуру трейтов, за рамки которой не выйти, в Julia больше свободы.
Вы можете определить умножение, допустим, ковектора на вектор и получить число. Вашим trait-ом так не сделать.
Вы можете определить умножение, допустим, ковектора на вектор и получить число. Вашим trait-ом так не сделать.
П
Сделать
П
Там правый операнд и результат задаются
ДК
Ну, если вы кроме rhs добавите какой-нибудь res. То есть, структура интерфейса определяется заранее. В этом отличие.
П
Всм рес?