Size: a a a

Язык программирования Julia / Julia programming language

2020 June 22

A

Arthur in Язык программирования Julia / Julia programming language
Но в Джулии очень глубоко динамика защита, про статическую проверку лучше на дискурсе спросить у кор девов напрямую
источник

АО

Андрей Оськин... in Язык программирования Julia / Julia programming language
Ок.
Не суть важно.
Главное, что Julia это не Java/Rust/C++ и так далее и подобным языком не будет. Так что лучше с самого начала перестроиться, чтобы не мучаться.
источник

A

Arthur in Язык программирования Julia / Julia programming language
Ну да, но, кстати, думают над тем, чтобы сделать статик подмножество языка)
источник

A

Arthur in Язык программирования Julia / Julia programming language
Но это подмножество Джулией исходной все равно не будет, все те преимущества, которые есть, в статическом языке не воспроизвести. Наоборот тоже
источник

KT

Kirill Tsaregorodtse... in Язык программирования Julia / Julia programming language
А почему нельзя проверять непонятно?

То есть если я говорю, что A <: AbstractB, почему нельзя автоматически проверить, что для А реализованы методы 1,2,3 и тд?
источник

A

Arthur in Язык программирования Julia / Julia programming language
У вас другой пакет может потом добавить методов, вы не живёте в заранее определенном множестве кода, который компилируете
источник

АО

Андрей Оськин... in Язык программирования Julia / Julia programming language
Ну и дополнительно на исходный вопрос - консенсус сейчас вроде бы в доках + тестах, благо это довольно сильная сторона джулиевской экосистемы.

То есть объясните пользователям как правильно новые методы писать, и примеры типичных тестов.

Тестами покрываются юз-кейсы и в общем-то это должно исключить ошибки рантаймов.
источник

A

Arthur in Язык программирования Julia / Julia programming language
Тут есть много нюансов, как раз Джулия быстрая, потому что позволяет сделать достаточно много статических гарантий
источник

A

Arthur in Язык программирования Julia / Julia programming language
Я бы действительно посоветовал такие вопросы адресовать на дискурсе Безасону, и его диссер просчитать
источник

AI

Alexey V. Ilyin 🦔 in Язык программирования Julia / Julia programming language
Андрей Оськин
Ок.
Не суть важно.
Главное, что Julia это не Java/Rust/C++ и так далее и подобным языком не будет. Так что лучше с самого начала перестроиться, чтобы не мучаться.
ну это грустно, тогда это снова не продуктовый язык
источник

A

Arthur in Язык программирования Julia / Julia programming language
А что мешает его в продукте использовать?
источник

AI

Alexey V. Ilyin 🦔 in Язык программирования Julia / Julia programming language
ну то есть у него пробемы питона, получаются
источник

AI

Alexey V. Ilyin 🦔 in Язык программирования Julia / Julia programming language
хотя для демок - ничего
источник

A

Arthur in Язык программирования Julia / Julia programming language
А конкретнее, мне действительно интересно
источник

АО

Андрей Оськин... in Язык программирования Julia / Julia programming language
Kirill Tsaregorodtsev
А почему нельзя проверять непонятно?

То есть если я говорю, что A <: AbstractB, почему нельзя автоматически проверить, что для А реализованы методы 1,2,3 и тд?
Один из ответов - потому что это может быть банально не нужно.

Например, есть тип AbstractDict. Если ты пишешь структуру, которая не умеет сохранять значения (например инициализируется один раз статически), то достаточно определить метод getindex, но не определять метод setindex и пользоваться при этом частью функциональности словаря.
источник

A

Arthur in Язык программирования Julia / Julia programming language
Для меня, например, гораздо легче вывести Джулию на прод, чем питон. Тулинг позволяет, все, что нужно проверить
источник

A

Arthur in Язык программирования Julia / Julia programming language
При этом и питон я выводил на прод удачно
источник

AI

Alexey V. Ilyin 🦔 in Язык программирования Julia / Julia programming language
а в плане, почему лучше?
источник

A

Arthur in Язык программирования Julia / Julia programming language
Ну я могу перед выкатом проверить, что все типа-стабильно, по сути воспроизвести часть проверок статического языка
источник

AI

Alexey V. Ilyin 🦔 in Язык программирования Julia / Julia programming language
там скорее то, что со статической типизацией у языков гораздо больше всяких ошибок просто не скомпилится, поэтому для прода чаще их и выбирают
источник