ZZ
вопрос решится если я сравню построчно сгенерированный код внутри цикла, но тк там инлайн всякого мусора, это займет много времени чтобы понять
Size: a a a
2019 August 08
KT
Кстати Array String это не конкретный тип 😳
ZZ
вот, это правильное направление.
KT
Vector String или Array String 1
ZZ
Между прочим, это и есть ответ.
ZZ
Я аннотировал переменную не тем типом, т.к. был не в курсе этого нюанса (недосмотрел)
ZZ
Теперь цикл работает верно.
ZZ
У меня это было в очереди на копание, но Кирилл, благодарю, я теперь раньше узнал это.
ZZ
wtf2 (barrier function) делала диспатч не по декларируемому типу (который не достаточно конкретный) а по рантайм, поэтому с ней все нормально и работало.
ZZ
слава богу, все стало на место. Необходимо почитать про систему типов еще глубже.
ZZ
на слаке ответили час назад именно так, а я не заметил
ZZ
» Array{String} is a UnionAll type (i.e. there is an unspecified type parameter), if you use Array{String, 1}, it has the same speed
KT
Да уж, я тоже на такие грабли наступал, но вот опять забыл
AL
Вот алгоритмику все учат как отдельную дисциплину (и часто computer science определяют именно через неё), а работа с типами не имеет своего названия, её особо не учат, а в Julia это оказывается ключевым. То есть как из базовых операторов писать алгоритм учат, а как из системы типов что-то внятное делать для этих самых алгоритмов — нет такой дисциплины, нет своего Кнута.
ZZ
хаскель бьет по рукам, джулия молча глотает-с.
AB
а я вот из доклада про rust что-то похожее слышал, про теорию типов
KT
Просто разные всякие теории типов есть, есть как книга у Пирса, что-то среднее между матлогикой и программированием, но не очень прикладное; есть совсем экзотика типа HoTT , есть какие-то практики из software engineering
AL
ну вот представьте, что вам нужно учебник писать по "программированию вообще". Вы там напишете про сортировку пузырьком и бинарную сортировку, оценку алгоритмической сложности и т.д. — независимо от языка программирования. А про типы что напишете? Что "тщательно изучайте документацию каждого отдельного языка"?!
ВФ
Ну да. Обычно говорят, что типы бывают простые, составные, пользовательские. Но в каждом языке есть свои особенности реализации всего этого