VG
Звучит как способ избежать множественного наследования. То есть, вместо абстрактного типа можно делать интерфейс в виде модуля с набором функций?
Size: a a a
2020 October 26
AP
у такого подхода более широкие возможности по сравнению с просто наследованием от абстрактного типа
АО
В Джулии эта штука называется Holy Traits (по имени Tim Holy, который её придумал). Подробнее про это можно почитать здесь: https://invenia.github.io/blog/2019/11/06/julialang-features-part-2/
AK
А паттерн синглтона реализуем в Юле?
A
Да, и даже активно используется. missing и nothing реализованы через него)
A
Что, кстати, классно. Потому что достаточно стандартных средств языка для имплеметации отсутствующих значений, и всегда можно сделать свою, если не хватает стандартного
AP
ага, самый простой синглтон это такая штука:
единственный способ создать его значение - это вызвать A(), при этом a1=A() и a2=A() совершенно неотличимы: a1 === a2
struct A endединственный способ создать его значение - это вызвать A(), при этом a1=A() и a2=A() совершенно неотличимы: a1 === a2
AK
Неуверенно ощущаю себя без явной передачи ссылки вместо значения просто 😁 что вообще в Юли копирует переменную, а что все таки копирует? Знаю что если делать срез массива, то это вроде будет ссылка на диапазон массива, а если массив передавать как аргумент в функцию? А если отправлять TCPSocket либо IOStream (конкретно имею ввиду файл)
AP
про массив -
a[1:10] делает копию@view a[1:10] делает "ссылку" на диапазонAP
остальные вопросы не понял
АО
Ну, в нулевом приближении, mutable передаются по ссылке, immutable копируются.
АО
Это не совсем так, но в большинстве случаев позволяет правильно код писать.
АО
Если массив передавать как аргумент, то будет передаваться по ссылке, так как массив - mutable.
АО
IOStream будет по ссылке передаваться, в том смысле, что если внутри функции мутировать IOStream (например читать из него), то эти изменения останутся после выполнения функции.
AP
Ну, в нулевом приближении, mutable передаются по ссылке, immutable копируются.
с immutable для корректности не важно, как передаются - всё равно же не изменить значение :)
ради оптимизации, как я понимаю, особо они не копируются
ради оптимизации, как я понимаю, особо они не копируются
АО
Про массив
function f(x)
x[1] = 2
end
a = [1]
f(a)
a # [2]АО
Ну да, с ними сложно
АО
Там и так и сяк может быть.
A
Кор девы говорят, что immutable по семантике копируются, mutable по ссылке. Конкретная реализация - на усмотрение компилятора