Я начал играть с синтаксическими и семантическими API Рослина. До сих пор не очень усердно копали, но есть ли какая-либо оптимизация кода, предоставляемая семантическим API, например:
устранение мертвого кода,
подъем или
какой-то анализ указателей?
или другие анализы?
Я знаю, что Рослин предоставляет методы для DFA и CFA, но что-нибудь, что может быть бонусом к этому?