ЗП
Size: a a a
2020 May 09
IK
Может кто-то знает что можно почитать на тему описанного в этом ответе? https://stackoverflow.com/a/46807312/3001830 Может есть какие-то новые библотеки которые таким занимаются?
MP
В частности, мне хочется придти к чему-то где я могу работать с матрицами в type-safe манере, причем чтобы сами матрицы можно можно было определять в рантайме. Т е на момент компиляции матрицы переменной размерности, но операции проверены на корректность
а как понимать корректность тогда?
MP
a и b известны статически?
MP
я собственно спросил, не потому что знаю ответ, а уточнить, не хотите ли вы странного
MP
MP
то есть да, все будет корректно, но работать с этим наверное геморно
IK
что-то такое?
https://github.com/bolt12/laop
https://github.com/bolt12/laop
Это выглядит занимательно
AA
а как понимать корректность тогда?
че тут странного, проверяется, что размерности какие надо совпадают у перемножаемых матриц, зачем их статически знать?
MP
че тут странного, проверяется, что размерности какие надо совпадают у перемножаемых матриц, зачем их статически знать?
ну это не мой вопрос был
для всех реалистичных случаев либо матрицы будут динамических размерностей и тогда придется все делать динамически (и они тогда буду какие-нибудь разреженные и т.п.), либо заранее известной размерности, типа 3 тогда там нечего особо проверять
для всех реалистичных случаев либо матрицы будут динамических размерностей и тогда придется все делать динамически (и они тогда буду какие-нибудь разреженные и т.п.), либо заранее известной размерности, типа 3 тогда там нечего особо проверять
AA
чего?
AA
пишешь матрица умножить на матрицу, размерности тайпчекаются и проталкиваются наверх до того кода который их десериализует, например, вот при десериализации будет рантайм проверка по одной на матрицу что у них нужные размерности совпадают
AA
т.е. знать их статически не нужно
IK
ну это не мой вопрос был
для всех реалистичных случаев либо матрицы будут динамических размерностей и тогда придется все делать динамически (и они тогда буду какие-нибудь разреженные и т.п.), либо заранее известной размерности, типа 3 тогда там нечего особо проверять
для всех реалистичных случаев либо матрицы будут динамических размерностей и тогда придется все делать динамически (и они тогда буду какие-нибудь разреженные и т.п.), либо заранее известной размерности, типа 3 тогда там нечего особо проверять
ну офк будет какая-то проерка произвольных входных данных, которая зафейлится может. Хочется чтобы после этой первичной валидации выявлялись свойства матриц, которые позволяют гарантировать что применение обобщенных операций (умножение и т п) не будут фейлится.