Question

给出一般函数f:a->b->c

我想创建一个函数来执行与f相同的事情/计算，但是交换了两个输入参数（或currying命令）的顺序。

所以寻找g:b->a->c g与f完全相同的计算

==

let transform1 (f:a->b->c) : (b->a->c) = 
?

Answer 1

您可以定义swap功能：

let swap f a b = f b a

Answer 2

您实际上可以从函数类型中了解如何执行此操作。

transform1的类型为(a -> b -> c) -> (b -> a -> c)，或等效地为(a -> b -> c) -> b -> a -> c。

所以你正在寻找的是一个需要

的功能

我们称之为a -> b -> c，

f

和b，
和a，
然后＆＃34;使用＆＃34;使用f和a b生成c。

因为只有一种方法可以使用＆＃34; f a和产生b c flip f b a = f a b的{{1}}就是这样写的：

zone "domain1.com" {
        type slave;
        masters {10.10.10.1;};
        allow-notify{10.10.10.1;};
        allow-transfer {trusted;};
        key-directory "/usr/local/etc/namedb/";
        file "/usr/local/etc/namedb/domain1.com.external.signed";
};
zone "domain2.com" {
        type slave;
        masters {10.10.10.1;};
        allow-notify{10.10.10.1;};
        allow-transfer {trusted;};
        key-directory "/usr/local/etc/namedb/";
        file "/usr/local/etc/namedb/domain2.com.external.signed";
};

那就是它。

Answer 3

在Haskell你会这样做：

g b a = f a b -- or using lambda expressions: (\b a -> f a b)

所以在let声明中：let g = (\b a -> f a b) in ...

如何在定义的F＃函数中交换应用程序的顺序？

3 个答案: