あまりにネタを思い付かないのでa24zのコンパイラをocamlで書き直してる次第。自分車輪再発明。 let rec fold_binary iop fop l r = match (fold_const(l),fold_const(r)) with (Int(l),Int(r)) -> Int( iop l r ) | (Float(l),Float(r)) -> Float( fop l r …