AI
Или заставить всех инициализировать структуру, в которой будет классификатор и обязательные методы к нему?
Size: a a a
2020 June 21
AI
Или заставить всех инициализировать структуру, в которой будет классификатор и обязательные методы к нему?
оч громоздко получается, можно просто создать эти функции заранее, но принимающие сразу абстрактный тип и выдающие ошибку имлпементации. Но тогда все упадет при запуске, а хотелось бы написать так, чтоб это уже ловила IDE при написании
KT
Хороший вопрос, а как вы в Питоне проверяете, что класс какой-то реализовал такой-то метод?
AI
ну в целом там тоже все упадет при запуске
AI
но вот у джавы такое поймается
2020 June 22
AI
ну в целом там тоже все упадет при запуске
но у питона это прям проблема, что у него есть много возможностей упасть в рантайме, но я не могу найти, чтоб джулия тут чекала до рантайма(
KT
Надо смотреть наверное книгу по паттерна проектирования в Julia, типа type traits или вроде того.
KT
Переслано от Anatoly Levenchuk
Вот книжка про дизайн-паттерны на Julia (зазипована с примерами кодов): https://yadi.sk/d/SuF56i2A5FaIWg
KT
Есть ещё всякая фигня типа methods_exist, но это тоже рантайм видимо
KT
Возможно он заброшен уже, но просто сама возможность, что это не невозможно -- написать type class и instance
KT
То есть "без таких-то методов не создать"
AI
спасибо, посмотрю)
A
Посмотрите BinaryTraits.jl
A
Там есть проверка интерфейса, но так как язык динамический, все равно это надо пихать в тесты пакета. На этапе компиляции это сейчас не проверяется, возможно и не будет
A
Да и из-за динамической природы языка ошибки компиляции не всегда однозначно отличаются от ошибок рантайма на практике
АО
Так как Julia это duck typing, то пытаться её обмануть и сделать язык со статической типизацией не получится.
A
Можете ещё посмотреть issue про то, чтобы сделать has_method static проверяемым
АО
Так что да, нужно писать доки про то, как правильно использовать структуры. Это самый верный способ чего-то добиться.
A
Так как Julia это duck typing, то пытаться её обмануть и сделать язык со статической типизацией не получится.
Duck typing, кмк, ортогональная фича с динамической типизацией, т.е. язык может быть вполне себе статическим, но duck typing, в Go интерфейсы вполне себе по схожему принципу работают