https://developer.apple.com/videos/play/wwdc2014/404/ これを思い出した。 38:40 くらいから

見てきた。メモ化高階関数も対象の関数が自己再帰を含むから同じ形になるんですね。