tagged: programming-language-theory 2017-12-27 -- Shouldn’t I specify correct handling of return values to the compiler?