the question is which parts of Haskell would help in programming OOP. If in Java or C# you have a String variable, there's not even a guarantee it does hold a string... and I've seen where, by using Java generics, the type system was subverted in its entirety. So studying those guarantees would not really benefit OOP programming

sleepy_drago

сколько не видел предложений по развитию языков — ни разу не видел предложений, направленных на управляемость трансляции+оптимизации. Все больше нагромождают этот plug&pray что мол компилятор умнее и если делает ошибку — то исправлять её не надо