AK
а как-то посмотреть сколько переменная весит можно?
Size: a a a
2020 November 06
АО
Компилироваться будет долго правда :-))
AK
точно, сайзоф
V
Ну это страшный абьюз системы типов, разумеется
Тут мне разъяснили, что так делать нехорошо и что с 4х таких функций наступает предел и всё, баста... Сплошные тебе инвалидации и всё такое... https://discourse.julialang.org/t/unstable-type-with-dispatch-by-val-x-with-5-functions/48072
АО
Это очень плохой способ, конечно.
yuyichao - ну это тебе не повезло конечно 😊
yuyichao - ну это тебе не повезло конечно 😊
УМ
fibonacci (Val{n}) = fibonacci(Val{n-1}) + fibonacci(Val{n-2})
так это ж замкнутая штука, разве нет?
АО
В смысле замкнутая?
Кстати, я по памяти писал, немного неправильно.
Корректный вариант выглядит так:
ну и собственно вызов
Кстати, я по памяти писал, немного неправильно.
Корректный вариант выглядит так:
fibonacci(::Val{0}) = 0
fibonacci(::Val{1}) = 1
fibonacci(::Val{n}) where n = fibonacci(Val{n-1}()) + fibonacci(Val{n-2}())ну и собственно вызов
julia> fibonacci(Val{10}())
55АО
Ну, то есть по факту, когда вызывается
fibonacci(Val{10}()), то несчастный компилятор рекурсивно компилирует все промежуточные функции. При этом он догадывается, что функции - константы, и последующие вызовы будут занимать ровно то время, сколько компилятору потребуется на то, чтобы в таблице функций найти подходящую.АО
Поэтому время вызова любой функции - O(1), но компиляция растёт линейно.
АО
Ну и в какой-то момент наверное можно упереться во внутренние ограничения на количество возможных функций.
АО
julia> @btime fibonacci(Val{100}())
0.017 ns (0 allocations: 0 bytes)
3736710778780434371УМ
В смысле замкнутая?
Кстати, я по памяти писал, немного неправильно.
Корректный вариант выглядит так:
ну и собственно вызов
Кстати, я по памяти писал, немного неправильно.
Корректный вариант выглядит так:
fibonacci(::Val{0}) = 0
fibonacci(::Val{1}) = 1
fibonacci(::Val{n}) where n = fibonacci(Val{n-1}()) + fibonacci(Val{n-2}())ну и собственно вызов
julia> fibonacci(Val{10}())
55ну вот теперь не замкнутая
УМ
но это дебилизм какой-то
АО
Обычный абьюз системы типов 😊
Просто такое вот своеобразное использование multiple dispatch.
Просто такое вот своеобразное использование multiple dispatch.
АО
Но так конечно делать не надо.
2020 November 07
AZ
я думаю, если жулия станет чем-то реально хайповым, то поддержка на андроиде себя долго ждать не заставит (субъективное мнение)
М.б. на линуксовых телефонах зайдёт, решил следующий брать себе именно такой
УМ
Aleksey Zhdanov
М.б. на линуксовых телефонах зайдёт, решил следующий брать себе именно такой
а ты точно уверен? по-моему это немножко садомазо
AZ
а ты точно уверен? по-моему это немножко садомазо
Я думаю справлюсь
УМ
тип я всеми членами за фосс и всё такое, но они пока ещё не готовы к повседневной эксплуатации