Дела давно минувших дней
На осознание всей мощи митиного курса под условным названием "Модели программ" у меня ушло, ни много ни мало, полтора года. Официально заявляю - это очень крутой и правильный курс, который должен быть сделан обязательным. А Соловьёва с его целым семестром доказываения теорем о непрерывности в семантике неподвижной точки - выкинуть нафиг.
Как можно выпуститься с матобеса и не знать отличия семантики большого и малого шага, не иметь хотя бы общего представления о денотационной семантике в CPS-форме и основах метапрограммирования, лично мне теперь непонятно. Единственное, чего не хватало курсу - вразумительных примеров. Скажем, приложения абстрактной интерпретации в задаче CFA в Higher-Order Languages. Без этого - не совсем понятно, на кой оно нужно.
Как можно выпуститься с матобеса и не знать отличия семантики большого и малого шага, не иметь хотя бы общего представления о денотационной семантике в CPS-форме и основах метапрограммирования, лично мне теперь непонятно. Единственное, чего не хватало курсу - вразумительных примеров. Скажем, приложения абстрактной интерпретации в задаче CFA в Higher-Order Languages. Без этого - не совсем понятно, на кой оно нужно.