DB
Поэтому более правильный способ писать foo(a,b) = a/b и вызвать foo(big(a), big(b)) к примеру
Size: a a a
2021 July 06
DB
Либо чтобы a и b заранее уже в результате других вычислений имели тип BigFloat
АО
Мне кажется, что тут разработчики языка всё-таки ошибку сделали. Те, кто приходят из С думают, что это объявление переменной данного типа, хотя на самом деле это всего лишь подсказка для компилятора.
Из-за этого возникает неправильное применение этой штуки.
Из-за этого возникает неправильное применение этой штуки.
DB
Да, я тоже на этом погорел и это усложняет вход в язык из других языков где это обозначает другое
DB
Это не ошибка разработчиков имо, просто такая конструкция в принципе в джулии нужна только чтобы сделать convert в одну строчку
DB
Что то вроде синтаксического сахара
DB
Но лучше в целом никогда не аннотировать типы кроме как в объявлении аргументов функции
DB
Даже возвращаемое значение лучше никогда не аннотировать
DB
Иначе начинаются проблемы использования таких функций в пакетах вроде автоматического дифференцирования
DB
Аннотирования типа с помощью :: оператора практически никогда не добавляют производительности, но уменьшают возможность функции работать с разными аргументами
DB
Это очень неинтуитивный момент в джулии, что типы лучше вообще по меньше указывать)
KF
ммм... а без указания типов читаемость скрипта никак не страдает?
DB
Зависит от скрипта наверное, в целом я соглашусь что удобно бывает явно указывать тип в коде для понимания, но это сводит на нет все крутые фичи джулии с очень обобщенным программированием
АО
Я имел в виду, что можно было выбрать какой-нибудь другой символ или конструкцию, которая бы делала то же самое, но без аллюзий на объявление переменной заданного типа.
АО
Но что есть, то есть.
DB
Я практически на сто процентов уверен что функцию foo(a,b)::Float64 = a/b нельзя продифференцировать пакетом типа ForwardDifd
DB
Я, к сожалению, не за компьютером чтобы проверить
DB
На самом деле на функции джулии можно смотреть как на template функции из C++ где все аргументы шаблонные
KF
> Зависит от скрипта наверное
ну, например, наличие подсказки float\bigfloat автоматически намекает на возможность !isfinite, что напомнит лишний раз о проверке, если это значение передается куда-либо или же с ним что-то делают. Если сторонний пакет не будет с этим работать, то я просто не буду его использовать и возьму другой инструмент - все просто).
ну, например, наличие подсказки float\bigfloat автоматически намекает на возможность !isfinite, что напомнит лишний раз о проверке, если это значение передается куда-либо или же с ним что-то делают. Если сторонний пакет не будет с этим работать, то я просто не буду его использовать и возьму другой инструмент - все просто).
DB
И хочется чтобы шаблонная функция работала как можно с более широким набором входных аргументов