Символические производные и переписывание RE# на Rust symbolic derivatives and the rust rewrite of RE#

Разработчик переписал свой высокопроизводительный движок регулярных выражений RE# с F# на Rust, сделав его кроссплатформенной библиотекой без зависимостей от .NET. Новая версия использует символические производные вместо классических производных Бжозовского, что позволило снять ограничения на использование опережающих проверок и добавить поддержку операторов пересечения и дополнения. Хотя движок пока уступает в скорости на шаблонах с литералами из-за отсутствия SIMD-оптимизаций, он демонстрирует значительное превосходство в сложных сценариях, таких как регистронезависимый поиск, что важно для создания эффективных текстовых процессоров и систем анализа данных.

The developer has rewritten their high-performance regex engine RE# from F# to Rust, making it a cross-platform, dependency-free native library. The new version employs symbolic derivatives instead of classical Brzozowski derivatives, lifting restrictions on lookaheads and adding support for intersection and complement operators. While it currently lags in literal-heavy patterns due to a lack of SIMD optimizations, it shows significant performance advantages in complex scenarios like case-insensitive matching, which is crucial for building efficient text processors and data analysis systems.