AT
Михаил
Выше было обсуждение того, как бы оптимально умножать матрицы, не зная заранее их размеров. Multistaged компиляция может быть ответом
Как вариант. Но я помню вопрос про статическую типизацию размеров матриц, а не компиляцию.
Size: a a a
2020 December 04
М
Pavel Samolysov
Про матрицы я вчера спрашивал, речь о just for fun с целью понять что может компилятор. С julia не знаком.
Вот Julia и tickC любопытным образом решают эту проблему. Как бы JIT, но не JIT.
BD
Михаил
Зато практиковал utf-8 в лексере. Не знаю, почему, но почему-то вполне хватило обычного побайтового сравнения строк для составления разнообразных таблиц. Я, правда, вход ограничил только русским, латиницей и греческим.
Кажется это не совсем юникод, раз только три языка.
М
Как вариант. Но я помню вопрос про статическую типизацию размеров матриц, а не компиляцию.
А... Что-то такое было. В ATS, наверное?
PS
Михаил
Вот Julia и tickC любопытным образом решают эту проблему. Как бы JIT, но не JIT.
Звучит заманчиво. Слышал о Julia только в контексте что это такой новый питон для дата сатанистов
М
Кажется это не совсем юникод, раз только три языка.
Подмножество. Но, кажется, вполне разумно для ЯП ограничивать множества допустимых символов для идентификаторов.
С практической точки зрения, кажется, что уместно добавлять в парсер необходимые наборы символов, а не тащить весь Unicode, который монструозен до безобразия.
С практической точки зрения, кажется, что уместно добавлять в парсер необходимые наборы символов, а не тащить весь Unicode, который монструозен до безобразия.
AT
Михаил
А... Что-то такое было. В ATS, наверное?
Примерно во всех языках с зав. типами и refinement types так делают и ещё в нескольких, заточенных специально под матричные вычисления.
М
Давно не возвращался к этой теме. Интересно, есть ли прогресс в скорости работы систем проверки типов? Или там всё ещё стандартом де факто является символьная NbE?
AG
является, но реализовывать ее тоже можно по разному
AG
сейчас Андраш Ковач в этой области придумывает много трюков
AG
например glued elaborator
М
И насколько получается ускорить?
2020 December 05
CC
Pavel Samolysov
Звучит заманчиво. Слышал о Julia только в контексте что это такой новый питон для дата сатанистов
Скорее это питон для физиков, чем для датасатанистов
AT
Скорее это питон для физиков, чем для датасатанистов
Ну, там во всю фигачат либы для (Deep) Convolutional NNs, Automatic Differentiation и вот это всё. Хотя, строго говоря, это ML, а не DS.
М
Почему Python? Нисколько на Python не похоже.
CC
Михаил
Почему Python? Нисколько на Python не похоже.
Призван решать плюс-минус те же задачи
М
Призван решать плюс-минус те же задачи
Вовсе нет
PS
Ну, там во всю фигачат либы для (Deep) Convolutional NNs, Automatic Differentiation и вот это всё. Хотя, строго говоря, это ML, а не DS.
Всегда думал что сейчас ds в основном ml и занимаются. Всякая интеграция, очистка, витрины и прочее называется data engineering вроде.
PS
PS
Ну и картинка в тему хоть и оффтоп