MiniZinc中的高阶函数

Question

我正在尝试在MiniZinc中实现higher-order functions。我不确定是否可以将一个函数直接传递给另一个函数，所以我使用了一个带有函数名列表的枚举：

var int : a;

enum functions = {add,sub}; 

function var int:sub(var int:a,var int:b) = 
    a+b;

function var int:add(var int:a,var int:b) = 
    a+b;

function var int:higher_order(var functions:func,var int:a,var int:b) = 
    if func==add then 
        add(a,b) 
    else 
        0
    endif;

constraint a == higher_order(add,3,4);
solve satisfy;
output [show(a)];

这个方法是有效的，尽管它不是一个真正的高阶函数。有没有其他方法可以在MiniZinc中实现高阶函数？

Answer 1

尽管在一篇论文(https://www.semanticscholar.org/paper/MiniZinc-with-Functions-Stuckey-Tack/4f7a420b9ddce7fea682768fa35d2cf436683b28)中已经为MiniZinc提出了更高级别函数的使用。MiniZinc编译器本身还没有提供对高级函数的支持。

虽然我不能为您提供一个完美的解决方法，但通常可以使用普通函数、可选类型或递归函数替换高阶函数