П
Та вроде тут на типах все, не?
Size: a a a
2021 July 07
П
Трейтами такое точно нормально делается
ДК
Это не типы из теории типов. Это просто метки значений и динамическая диспетчеризация
П
ДК
Не делается. У трейтов фиксированные возвращаемые типы
[
f :: Num a => a -> a -> a
f x y = x * 2 + y
[
хаскель
П
Ассоциативные типы есть, если раст
[
все типы стираются при компиляции
П
Тот же Add это трейт
[
бтв, такое даже в VB.Net можно сделать
ДК
Я не буду пересказывать руководство по Julia. Читайте сами. Но такую f не написать для умножения числа на матрицу.
П
Обобщенное программирование в целом не в динамике придумали
[
зачем мне умножать число на матрицу в рамках обобщённой функции?
а если надо, то я просто сделаю инстанс Num для матрицы и всё заработает
а если надо, то я просто сделаю инстанс Num для матрицы и всё заработает
П
Mul<Rhs = Matrix>
ДК
Они, всё равно, наперёд заданные. А тут больше свободы.
Впрочем, я не собираюсь спорить. Просто есть другие способы работать с диспетчеризацией, кроме типов. И не всегда программист должен их писать вручную
Впрочем, я не собираюсь спорить. Просто есть другие способы работать с диспетчеризацией, кроме типов. И не всегда программист должен их писать вручную
П
Кто-то где-то все равно написал варианты в твоем диспатче
[
"свободы"
[
нет никакой свободы
П
В питоне вон свобода через тайпсвитч