что мешает использовать для этого боксированные замыкания?
Совершенно не важно, какие замыкания использовать, если ты не можешь замкнуться на любой терм. Любая полноценная система замыканий предполагает, что оба фунарга решены
Совершенно не важно, какие замыкания использовать, если ты не можешь замкнуться на любой терм. Любая полноценная система замыканий предполагает, что оба фунарга решены
В каких случаях ты не можешь замкнуться на терм в расте, когда это нужно для формальной системы замыканий?
потому что мы хаскелист может написать ReaderT, а разработчику из индустрии придётся изъёбываться с диаем, тредлокалами, рантайм рефлекшном и всей вот этой вот хуйнёй
Потому что без типов легко написать хуйню, и нужно слишком активно следить, чтобы хуйню не написать Чем больше разрабов над проектом работает, тем более безопасный язык нужен для того, чтобы общаться