原始帰納的関数のPythonでの表現 - 西尾泰和のはてなダイアリー

原始帰納的関数の定義がよくわからなかったので数学事典で調べてみた。数学語で書いてあるけど、Python語に翻訳してみると: def inc(x): return x + 1 def constant(*args): return CONSTANT def choice_K(*args): return args[K] という関数からスタートして(constantとchoiceは返す定数や選ぶ引数の位置によって無数に存在する) def apply_funcs(*args): return REDUCE_FUNC( MAP_FUNC_TABLE[0](*args), MAP_FUNC_TABLE[1](*args), ...) def recursive(*args): head = args[0] tail = args[1:] if head == 0: return WHEN_ZERO_