УМ
раст так в принципе не может без скриптовых каких-нибудь примочек
Size: a a a
2020 September 14
(L
а если у тебя есть мета-метод, который разворачивается прямо в рантайме в метод, который в зависимости от внешних параметров может быть в принципе любого типа то ты тоже это увидишь?
Не бывает функций, которые мапятся в неограниченное количество типов, помимо тривиальных.
Эта задача решается генериками, типами-суммами, и их комбинацией
Эта задача решается генериками, типами-суммами, и их комбинацией
P
я там дальше написал, что в моем примере он разворачивается в рантайме
внимание вопрос: что это за магия, когда ты не знаешь, в какой тип он развернётся до рантайма? тебе кто-то другой его диктует?
(L
Если у тебя метод бизнес-логики продьюсит якобы неограниченное пространство типов, то либо с твоим кодом что-то очень не так, либо ты сам не понимаешь какие типы есть у тебя в системе, что еще хуже
УМ
внимание вопрос: что это за магия, когда ты не знаешь, в какой тип он развернётся до рантайма? тебе кто-то другой его диктует?
да, допустим у тебя 1000 компов друг с другом общаются и тут один из них имплементируеи какой-то новый тип, о котором остальные не знают.
УМ
внимание вопрос: что это за магия, когда ты не знаешь, в какой тип он развернётся до рантайма? тебе кто-то другой его диктует?
но там я написал просто "в зависимости от внешних условий"
P
да, допустим у тебя 1000 компов друг с другом общаются и тут один из них имплементируеи какой-то новый тип, о котором остальные не знают.
и чё им с ним делать, с этим типом?
P
код на них же не знает, что делать с деталями этого типа
УМ
код на них же не знает, что делать с деталями этого типа
ну, по хорошему система типов джулии сможет схавать эту проблему, передавая декларацию типа (возможно там через модули это вообще по-красоте можно будет сделать)
УМ
нахуя это нужно вопрос 10й
(L
ну, по хорошему система типов джулии сможет схавать эту проблему, передавая декларацию типа (возможно там через модули это вообще по-красоте можно будет сделать)
Схавать и что сделать?
(L
Выкинуть ошибку?
P
ну, по хорошему система типов джулии сможет схавать эту проблему, передавая декларацию типа (возможно там через модули это вообще по-красоте можно будет сделать)
так, напишу ещё раз: ты добавил декларацию этого типа, отправил другим компам, но в них всё ещё не появилось кода, который бы взаимодействовал с деталями этого нового типа
УМ
Схавать и что сделать?
подхватить этот тип как родной посмотрев на его определение
(L
Выкинуть ошибку?
Это любая статика может, и модулями ты тоже в статику можешь подгрузить реализацию для своего нового варианта
(L
подхватить этот тип как родной посмотрев на его определение
А дальше?
P
подхватить этот тип как родной посмотрев на его определение
и что делать с объектами этого типа дальше? кода-то нет
УМ
А дальше?
использовать
P
использовать
а раньше почему не могли?
УМ
Это любая статика может, и модулями ты тоже в статику можешь подгрузить реализацию для своего нового варианта
ну охуеть, оно может выдавать ошибки пока в динамике это работает