История изменений

C и C++ не функциональные языки, чтобы test(a) == test(a) всегда было true, поэтому gcc, должно быть, очень умный если умеет такое доказывать или опровергать для любого test(); Ну а про то как делать мемоизацию в C++ в обобщенном виде написано, например, на SO: http://stackoverflow.com/questions/17805969/writing-universal-memoization-fun... Вопрос - при чем тут компиляторы?

C и C++ не функциональные языки, чтобы test(a) == test(a) всегда юыло true, поэтому gcc, должно быть, очень умный если умеет такое доказывать или опровергать для любого test(); Ну а про то как делать мемоизацию в C++ в обобщенном виде написано, например, на SO: http://stackoverflow.com/questions/17805969/writing-universal-memoization-fun... Вопрос - при чем тут компиляторы?