Здравствуйте, подскажите пожалуйста как в Хаскеле выражается разница между Lazy и Strict версиями монады State?
Где проявляется ленивость/энергичность, где разница в реализации?
Я правильно понимаю, что энергичных языках можно реализовать только strict-версию?