Python сильно типизированный язык, правда динамически.
Очень интересно почитать когда система типов покрывает 90 и особенно 100% тестов.
Типы могут помочь найти некоторые ошибки, хорошим примером был бы Mars Climate Orbiter когда накосячили с единицами измерения. Система типов не очень поможет с ошибками в логике (написал < вместо > ) либо расчетах (неправильный знак, константа, логика) кроме случаев неправильной размерности единиц.
Система типов может дать ложное чувство что раз собралось то правильно работает, в итоге код на питоне но покрытый тестами (без них в питоне никак) может быть надежнее.
не совсем понятно какую проблему такой подход пытается решить и как. если необходимо реализовать выбор сразу нескольких одновременно выполняемых действий — почему просто не использовать несколько групп выходов с своими софтмаксами?
Могу ошибаться так как с ним не работал, но там дополнительно к 2м DSP ядрам добавили 2 блока «Deep learning accelerator». DSP ядра были и в предыдущих чипах линейки а NPU только добавили в 5749:
AM574x IDK- Highest performance evaluation with dedicated deep learning accelerators and 2x C66x DSPs.
Explicit is better than implicit.
Очень интересно почитать когда система типов покрывает 90 и особенно 100% тестов.
Типы могут помочь найти некоторые ошибки, хорошим примером был бы Mars Climate Orbiter когда накосячили с единицами измерения. Система типов не очень поможет с ошибками в логике (написал < вместо > ) либо расчетах (неправильный знак, константа, логика) кроме случаев неправильной размерности единиц.
Система типов может дать ложное чувство что раз собралось то правильно работает, в итоге код на питоне но покрытый тестами (без них в питоне никак) может быть надежнее.
AM574x IDK- Highest performance evaluation with dedicated deep learning accelerators and 2x C66x DSPs.
за 6к например получится уже с 2мя 14-ядерными:
Dual Intel Xeon Gold 5120 2.2GHz, 3.7GHz Turbo, 14C,
and Their Implications