A
А в хаскеле есть какой-нибудь инструмент, который бы показал все возможные синхронные исключения которые могут вылететь из функции?
Size: a a a
2021 March 04
IK
А в хаскеле есть какой-нибудь инструмент, который бы показал все возможные синхронные исключения которые могут вылететь из функции?
Что такое синхронные исключения?
YS
throw прям из тела
YS
Я так понимаю
A
Что такое синхронные исключения?
Которые мы кидаем сами в рамках потока выполнения.
Д
не подскажете, мб есть что-то для математики, работы с матрицами (в стиле numpy)?
Д
нашел пакет matrix на хакедже
A
Хм, а мне показалось, что мне на вопрос ответили ссылкой на гитхаб и потом это сообщение удалили?
YS
Я не видел
IK
Хм, а мне показалось, что мне на вопрос ответили ссылкой на гитхаб и потом это сообщение удалили?
Я не так вопрос понял
JS
А в хаскеле есть какой-нибудь инструмент, который бы показал все возможные синхронные исключения которые могут вылететь из функции?
кажется, это невозможно. почти всего внутри вашего кода может работать чужой код и выбрасывать произвольные исключения
JS
теоретически можно было бы посмотреть все инстансы Exception в программе, но я не слышал про такой инструмент
JS
не подскажете, мб есть что-то для математики, работы с матрицами (в стиле numpy)?
в стиле numpy врядли найдётся что-то. а просто для матриц есть massiv, linear
A
теоретически можно было бы посмотреть все инстансы Exception в программе, но я не слышал про такой инструмент
А если такая логика: код функции преобразуется в аст и дальше в нем смотрятся вызовы других функций/вызов функции throwIO/throw/catch и на основании этого определяется какие исключения могут вылететь.
Д
в стиле numpy врядли найдётся что-то. а просто для матриц есть massiv, linear
спс
JS
А если такая логика: код функции преобразуется в аст и дальше в нем смотрятся вызовы других функций/вызов функции throwIO/throw/catch и на основании этого определяется какие исключения могут вылететь.
вы описываете статический анализ
JS
А если такая логика: код функции преобразуется в аст и дальше в нем смотрятся вызовы других функций/вызов функции throwIO/throw/catch и на основании этого определяется какие исключения могут вылететь.
из-за лени исключение может вылететь далеко от того места, где оно брошено
JS
в том числе может вылететь исключение, которого нет в коде данного действия
A
из-за лени исключение может вылететь далеко от того места, где оно брошено
Исключение вылетит, когда вычисление будет зафоршено до места, где происходит throw.
A
в том числе может вылететь исключение, которого нет в коде данного действия
Каким образом?