Один из аргументов, которые я услышал против функциональных языков, - то, что кодирование однократного присвоения слишком трудно, или по крайней мере значительно тяжелее, чем "нормальное" программирование. Но просматривая мой код, меня...

Я работаю над компилятором для стековой машины (конкретно CIL), и я проанализировал код в график базисных блоков. Отсюда я надеюсь применять SSA к методам, но он не идет слишком хорошо...