如何用任意arity函数组合`not`？
在编程中，我们经常需要使用逻辑运算符（如AND、OR、NOT）来构建复杂的条件判断。在这个问题中，我们要讨论如何使用任意函数组合来表示逻辑NOT运算。
在许多编程语言中，逻辑NOT运算符通常表示为!或not。然而，在某些情况下，我们可能需要使用其他方法来表示NOT运算。例如，在某些编程语言中，我们可能需要使用函数来表示NOT运算。
以下是一些使用任意函数组合来表示逻辑NOT运算的方法：
- 使用三元运算符：
def not_func(x):
return 1 if x == 0 else 0- 使用布尔运算符：
def not_func(x):
return not x- 使用位运算符：
def not_func(x):
return x ^ 1- 使用乘法运算符：
def not_func(x):
return -x- 使用加法运算符：
def not_func(x):
return -x - 1这些方法可以帮助我们在不使用not或!运算符的情况下表示逻辑NOT运算。请注意，这些方法可能在不同的编程语言中有所不同，因此在使用时需要根据具体情况进行调整。
相关·内容
2回答
泛化函数指针
、、
昨天晚上，我写了下面这段代码来执行一些算术运算(和、乘、减、除)。
data operation(int oper, data e1, data e2){
data res;
basic b;
//pointer to a funcion that takes two int input and return an int
int (*funIntPtr)(int,int);
float (*funFloatPtr)(float,float);
funIntPtr = NULL;
funFloatPtr= NULL;
//I look for
浏览 2提问于2015-11-19得票数 0
我想用未定义的参数来定义一个函数，所以我使用省略号，但它不起作用：
(define (f x ...) (printf x ...))
(f "~a ~a" "foo" "bar")
错误：
Arity mismatch
如何在带有省略号的球拍中定义函数？
浏览 4提问于2020-02-09得票数 1
回答已采纳
在执行完全相同的代码时，请查看下面的偏差：
Ruby3.0.2：
3.0.2 :001 > id =：ID3.0.2 :002 > puts id.to_proc.arity.abs 2
Ruby2.7.4：
2.7.4 :001 > id = :id => :id 2.7.4 :002 > puts id.to_proc.arity.abs 1
执行证据截图：
我用了2.7.4。但是，任何2.X.X都返回“1”。
这是某种BWD的可兼容性问题，还是一个记录在案的更改？谢谢
浏览 0提问于2021-11-24得票数 3
2回答
关于如何用元组的元素调用变量函数，有很多问题。例句：，我的问题有点不同：
我有一个家族的职能：
void f(int arg1);
void f(int arg1, int arg2);
...
我想要一个模板：
template<size_t Arity>
void call(std::vector<int> args) {
???
}
，它用args[0], args[1]...调用适当的args[0], args[1]...
浏览 0提问于2013-07-31得票数 2
回答已采纳
2回答
我现在使用的是以下代码：
size_t argc(std::function<Foo()>)
{ return 0; }
size_t argc(std::function<Foo(Bar)>)
{ return 1; }
size_t argc(std::function<Foo(Bar, Bar)>)
{ return 2; }
size_t argc(std::function<Foo(Bar, Bar, Bar)>)
{ return 3; }
// ...
浏览 4提问于2011-12-27得票数 8
回答已采纳
2回答
我想要计算某一类数据类型的“正态性”。即具有单个构造器和一些字段的数据类型。例如，data T a = T Int () String a。然后，“数量”将是字段的数量。对于T a，这将是4。我设想了一个带有如下签名的函数：
forall a . C a => Int
以获得适当的C选择。我知道如果对某个类型的a使用Generic a，我会得到from :: a -> Rep a x，但请注意，这将需要a的具体值，我对静态计算它很感兴趣。这是不是有可能呢？我也考虑过Typeable，但我并不是很了解它。
浏览 56提问于2019-05-29得票数 1
回答已采纳
我已经使用Common完成了一种语言的实现，并且我试图优化它，因为它需要使用Lisp而不是Java中的72。(代码在这里)。
我启动了剖析器，找到了一个罪魁祸首：
seconds | gc | consed | calls | sec/call | name
------------------------------------------------------------------
32.879 | 0.000 | 0 | 104,512,464 | 0.000000 | LOX
浏览 4提问于2020-06-14得票数 0
回答已采纳
3回答
我是编程新手，但最近我一直在尝试一种算法。我需要使用一个方程来执行计算，该方程使用坐标平面中结构部件中的所有角度作为变量。集合变量，所以我需要这个函数来遍历数据，并将集合中每两个点的各个方程组合成用于计算的方程。我感到困惑的部分是如何组合这些功能。如果有这样的事情，我想以一种几乎“类似追加”的方式来做这件事。
假设我正在浏览数据，此时我有一个函数
a = lambda (x1,x2,x3,x4): (x1*x2)+(x3*x4)
之前是从前两个集合生成的，现在我想添加一个eq。来自第三个集合
b = lambda (x5,x6): (x5/x6)
def new_lambda(a,b):
浏览 2提问于2013-12-30得票数 2
有没有可能编写一个函数arity :: a -> Integer来确定任意函数的数量，使得
> arity map
2
> arity foldr
3
> arity id
1
> arity "hello"
0
浏览 4提问于2011-12-04得票数 21
回答已采纳
2回答
我想编写一个函数f，它接受n个参数，其中n是在运行时确定的，并且在对该函数的每次调用中可能会有所不同，例如
假设我们的函数f接受一个整数n，它是args的数目，以及n个相同类型的args，并将它们转换为一个列表：
# f 3 'a' 'b' 'c';;
- : char list = ['a'; 'b'; 'c']
# f 2 1 2;;
- : int list = [1; 2]
我觉得有点像
let f acc n x =
if n = 0
then List.rev (x::acc)
浏览 2提问于2021-04-07得票数 3
回答已采纳
可以使用反射来确定函数接受多少个参数。
我希望能够定义一个执行函数组合的函数compose。也就是说，compose($f, $g)应该生成一个返回$f($g($x))的新函数。
我在这里有一个示例实现：
function compose()
{
$fns = func_get_args();
$prev = array_shift($fns);
foreach ($fns as $fn) {
$prev = function ($x) use ($fn, $prev) {
$args = func_get_args();
浏览 0提问于2013-11-17得票数 3
我想找出Python中方法的可用性(它接收的参数数量)。现在我要做的是：
def arity(obj, method):
return getattr(obj.__class__, method).func_code.co_argcount - 1 # remove self
class Foo:
def bar(self, bla):
pass
arity(Foo(), "bar") # => 1
我希望能够做到这一点：
Foo().bar.arity() # => 1
Update：现在，上面的函数在内置类型中失败了，如果对此提供任何
浏览 2提问于2009-06-13得票数 33
回答已采纳
我有一个函数，它给出了一个函数的Name，它增强了它，产生了另一个应用于其他东西的函数(细节不太相关)：
mkSimple :: Name -> Int -> Q [Dec]
mkSimple adapteeName argsNum = do
adapterName <- newName ("sfml" ++ (capitalize . nameBase $ adapteeName))
adapteeFn <- varE adapteeName
let args = mkArgs argsNum
let wrapper = mkApply
浏览 2提问于2013-12-07得票数 9
回答已采纳
有一个来自的咖喱函数。
const curry = (fn, arity = fn.length, ...args) => {
if (args.length >= arity) {
return fn(...args)
} else {
return curry.bind(null, fn, arity, ...args) // line(*)
}
}
console.log(curry(Math.pow)(2)(10)) // 1024
console.log(curry(Math.min, 3)(10)(50)(2)) // 2
为什么在行(*)中
浏览 1提问于2021-05-13得票数 1
回答已采纳
4回答
我目前正在尝试扩展sqrat (squirrel binding utility)来满足将lambda绑定到squirrel的需求。
我遇到的问题是，尽管存储和调用代码可以知道lambda的签名(这里是设置将执行lambda的函数的代码)
// Arg Count 0
template <class R, class Args, class Arity>
SQFUNCTION SqMemberLambdaFuncDetail(R result,
Args args,
浏览 4提问于2016-06-18得票数 3
1回答
有没有办法在运行时找出一个函数有多少个输入(参数，参数)？
比如说，我想：
(define (my-function unknown-function)
...
(number-of-necessary-arguments unknown-function)
...)
浏览 4提问于2011-09-08得票数 6
回答已采纳
3回答
您可以使用${FUNCNAME[1]} ()访问父函数名。是否有一种方法也可以访问父函数的参数长度(数据长度)？
所以，不是这样的：
get() {
[ "$#" != 2 ] && exit 1
}
你可以这样做：
get() {
assert_arity 2
}
assert_arity() {
local arity=${parent_function_arity}
local value=$1
[ "${arity}" != "${value}" ] && exit 1
}
这有可能吗
浏览 5提问于2015-09-12得票数 3
回答已采纳
我可以做max(s)来找出序列的最大值。但是假设我想根据我自己的函数来计算max，如下所示：
currmax = 0
def mymax(s):
for i in s :
#assume arity() attribute is present
currmax = i.arity() if i.arity() > currmax else currmax
有没有一种干净的蟒蛇方式来做这件事？
浏览 0提问于2010-05-29得票数 17
通过定义一个函子来检查谓词函子(术语，F，A)是否成功
我试过的代码是
喜欢(玛丽，披萨)
这是正确的吗？
浏览 3提问于2022-10-07得票数 1
回答已采纳
给定一个函数对象或名称，我如何确定它的一致性？就像(arity func-name)一样。
我希望有一种方法，因为在Clojure中，a是非常重要的
浏览 2提问于2009-11-08得票数 55
回答已采纳
为什么proc和lambda返回的参数值不同？
例如：
proc { |x = 0| }.arity #=> 0
lambda { |a = 0| }.arity #=> -1
proc { |x=0, y| }.arity #=> 1
lambda { |x=0, y| }.arity #=> -2
请参阅：
浏览 5提问于2013-06-07得票数 14
回答已采纳
例如，为什么不能像map、mapv那样将reduce与多个输入序列一起用作其参数
这一决定背后的实施者/Rich Hickey原因是什么？
它是否会影响性能，如果是的话，是如何影响的？是不是简单的语言设计想要把我们引向“正确”的方向，如果是的话，为什么？
编辑:正如在讨论中发现的(在@Alex的帮助下)，下面是一个可变reduce的重载
([f coll])
([f val & colls]) (因为在可变场景中需要初始累加器)。
因此，即使它现在变成了可变的，它当前的行为也不会改变。
浏览 0提问于2014-02-06得票数 2
当我运行下面的代码时，我得到了以下错误(boost版本1.46.1-7ubuntu3在kubuntu 12.04上运行)：
test_param_bug.cpp:34:1: error: wrong number of template arguments (6, should be 5)
/usr/include/boost/parameter/parameters.hpp:714:8: error: provided for ‘template<class PS0, class PS1, class PS2, class PS3, class PS4> struct boost
浏览 2提问于2012-12-30得票数 2
回答已采纳
我试图在java中创建一个泛型类，如下所示
public class Cache <K,V> {
private Entry<K,V>[][] cache;
public Cache(int setCount, int arity){
this.cache = new Entry<K,V>[setCount][arity];
}
现在java告诉我我不能声明一个泛型数组？我知道，在C语言里，我可以把它写在记忆中。有人知道如何用java来完成这个任务吗？
浏览 0提问于2015-10-26得票数 0
回答已采纳
3回答
我需要在BOOST_PP_IF语句中根据boost::function对象的数量(参数数量)做出决定。这个是可能的吗？
boost::function_types::function_arity做了我想要做的事情，但是在运行时；我在编译时需要它。
浏览 0提问于2010-09-15得票数 0
回答已采纳
4回答
我正在尝试创建一个函数，可以使用lambda调用该函数，该函数可以接受0、1或2个参数。因为我需要代码在g++ 4.5和vs2010上工作(它不支持可变模板或到函数指针的λ转换)，所以我想出的唯一想法就是根据arity选择要调用的实现。下面是我对它应该是什么样子的非工作猜测。有没有办法修复我的代码，或者有没有更好的方法来解决这个问题？
#include <iostream>
#include <functional>
using namespace std;
template <class Func> struct arity;
template <
浏览 2提问于2010-11-13得票数 8
回答已采纳
2回答
我正在编写一个C库，我希望它可以同时从C和C++中使用。有一次，它应该从用户那里接受一个带有0-3参数的回调，这些参数稍后会在某个指针上被调用。就像这样(代码的副本也可以作为获得)：
// app_c.c
#include <stdio.h>
#include "lib.h"
double f0(void) {
return 123;
}
double f2(double a, double b) {
return a + b;
}
int main() {
cb_arity = 0;
cb_func = f0;
pri
浏览 2提问于2021-04-11得票数 4
回答已采纳
当移位量(sham)为1时，验证步骤失败。我真的不明白为什么会这样。我已经多次阅读约束和见证生成器，但都没有发现bug/差异。 该代码“证明”的是，可以通过从0开始并在末尾移位来获得特定的数字。 // The following code file is mainly cobbled together from bits of
// libsnark. It is hereby released under the MIT license, but it is
// not itself part of libsnark as some of the copy-pasted file hea
浏览 13提问于2021-10-09得票数 0
我想要这个函数
(defn ret-lowest-str-len
"Computes the lengths of two strings. Returns default length -- len --
if len is <= the length of str-1 and len is <= length of str-2.
Else, returns smaller of length of str-1 and str-2."
[str-1 str-2 len]
(let [l1 (count str-1
浏览 1提问于2012-06-22得票数 2
回答已采纳
1回答
从模板参数中获取函数性
、、、、
如何获得用作模板参数的任意函数类型的一致性？
该函数可以是正规函数、lambda函数或函子函数。示例：
template<typename TFunc>
std::size_t getArity()
{
// ...?
}
template<typename TFunc>
void printArity(TFunc mFunc)
{
std::cout << "arity: " << getArity<TFunc>() << std::endl;
}
void testFunc(in
浏览 2提问于2015-01-09得票数 15
回答已采纳
2回答
如果“应用”将给定的函数应用于列表中的所有元素，为什么以下内容不能工作：
> (apply println (list "a" "b" "c"))
. . println: contract violation
expected: output-port?
given: "b"
argument position: 2nd
other arguments...:
>
和中给出的示例与add (+)函数有关。有人能提供其他应用的例子并解释它是如何工作的吗？谢谢。
浏览 5提问于2016-08-19得票数 1
回答已采纳
我有一个Powerapp从SQL数据库中提取数据。浏览器库上的函数如下所示，以返回所有条目：
SortByColumns(Search([@'[dbo].[orders]'], TextSearchBox1.Text, "name_last","contact_email","contact_sms","name_first"), "check_in", If(SortDescending1, Descending, Ascending))
我需要根据以下内容筛选输入/输出条目：
check_i
浏览 0提问于2020-09-01得票数 0
回答已采纳
1回答
我应该这样做一个咖喱函数，还是最好避免函数构造函数的任何方式？我想知道的是，这是否是“糟糕的做法”，以及如何才能进行其他的赛跑。例如，可以使用Function.bind将参数绑定到函数，但它更像是部分应用程序。递归会对性能产生影响吗？
var curry = function(fn) {
var fnString = fn.toString();
var arity = fn.length;
var paramList = fnString.substring(
fnString.indexOf("(") + 1, fnStrin
浏览 0提问于2015-08-27得票数 5
2回答
在以下方面有何不同：
(transduce (comp fn-1 fn-2 fn-3) conj vector-collection)
和
(eduction fn-1 fn-2 fn-3 vector-collection)
我读过，但不明白教育的目的。
浏览 1提问于2015-09-28得票数 5
回答已采纳
5回答
我正在尝试使用Erlang重做我所有的Haskell作业问题，其中一件让我感到困惑的事情是如何使用没有所有参数的函数列表。
示例:我正在尝试使用这个fold，但我不知道如何传递函数，以便它在累加器上操作
%%inside my module)
add(X,Y) -> X + Y.
multiply(X,Y) -> X*Y.
然后在命令行中使用以下命令：
lists:foldl(fun(Function,Accumulator) -> Function(Accumulator) end, 3, [add(3),multiply(5)]).
浏览 1提问于2013-04-24得票数 10
回答已采纳
我希望使用Amazon为我的网络应用程序运行一些后台任务。这些特定的任务只需要为应用程序运行一次(而不是每个用户一次)，所以如果某个任务已经在运行，我希望任何用户都能在UI中看到，并且我希望禁用允许他们再次启动该任务的UI。
Lambda是否提供了一种检查函数状态以查看其是否正在运行的方法？如果不是，什么是最好的方式来持久化这些信息到我的网络应用？我是不是完全走错路了？
浏览 3提问于2015-11-06得票数 1
回答已采纳
1回答
浏览一下Ruby代码，它有以下针对proc_arity的代码：
static VALUE
proc_arity(VALUE self)
{
int arity = rb_proc_arity(self);
return INT2FIX(arity);
}
更像是一个C代码风格的问题，但是为什么static VALUE是在单独的一行，而不是像这样：
static VALUE proc_arity(VALUE self)
浏览 0提问于2013-06-14得票数 5
回答已采纳
我正在浏览网页，但我找不到如何用同情来生成随机的数学表达式。有可能吗？
我想通过随机选择函数(积、和、余弦.)来构建表达式树。以及来自一组预定义函数和符号的符号。例如，给定集合+，。在求和与乘积以及符号x，y中生成x+y、(x+y).x、y+(x.x+y)+x等表达式，控制参数如树的深度、宽度和节点数。
有什么暗示吗？
浏览 2提问于2022-02-24得票数 0
回答已采纳
5回答
一个属λ的性质
、、
可以通过访问非泛型lambda的operator()来推断它的可用性。
template <typename F>
struct fInfo : fInfo<decltype(&F::operator())> { };
template <typename F, typename Ret, typename... Args>
struct fInfo<Ret(F::*)(Args...)const> { static const int arity = sizeof...(Args); };
对于像[](int x){ return x
浏览 10提问于2014-09-06得票数 11
回答已采纳
使用
{-# LANGUAGE FlexibleInstances, OverlappingInstances #-}
class Arity f where
arity :: f -> Int
instance Arity x where
arity _ = 0
instance Arity f => Arity ((->) a f) where
arity f = 1 + arity (f undefined)
不使用IncoherentInstances
ghci> arity foldr
blah blah ambiguous blah bla
浏览 1提问于2011-12-04得票数 37
回答已采纳
最近，我遇到了创建一个函数数组的需求。不幸的是，Swift语言没有为函数提供顶级类型，而是必须通过其特定的签名(...)->(...)来声明它们。因此，我尝试编写一个可以保存任何函数的包装器，然后专门化它只保存具有Void返回类型和任意数量的参数的闭包。
struct AnyFunction {
let function: Any
init?(_ object: Any){
switch String(describing: object){
case let function where function == "(Fun
浏览 2提问于2019-10-20得票数 1
回答已采纳
我尝试使用两种方法在Oz中打印出Fibonacci序列:使用Emac作为编辑器的函数和过程。步骤如下：
declare
fun {Fibo N}
case N of
1 then 1
[] 2 then 1
[] M then {Fibo (M-1)} + {Fibo (M-2)}
end
end
declare
proc {Loop K}
if K ==1 then {Browse K}
else
{Loop K-1}
{Browse {Fibo K}}
end
end
{Loop 10}
and函数：
浏览 29提问于2011-04-29得票数 8
回答已采纳
我试着用Prolog编写内置的functor。这是我的版本：
lenlist(L,N) :- lenlist(L,0,N).
lenlist([],N,N).
lenlist([_|T],P,N) :- P1 is P+1 , lenlist(T,P1,N).
functor1(Term,F,N) :- Term =.. [F|Args] , lenlist(Args,N).
下面是Prolog内置函数器的执行示例
?- functor(Term,f,6).
Term = f(_G247, _G248, _G249, _G250, _G251, _G252)
现在，如果我使用functo
浏览 1提问于2009-12-05得票数 3
回答已采纳
2回答
因此，Racket (6.5)文档指出，您可以同时绑定多个ids：
(for ([(i j) #hash(("a" . 1) ("b" . 20))])
(display (list i j)))
但是，我找不到如何用人工构造的数据来完成这个任务的例子：
(define a '(1 2 3 4 5))
(define b '(10 20 30 40 50))
(for ([(i j) (map list a b)])
(display (list i j)))
爆用
result arity mismatch;
expected
浏览 4提问于2016-05-26得票数 4
回答已采纳
我最近一直在玩MySQL--很简单。试着想出一些关于那个图书馆的综合例子。我想把I和我想要存储的实际记录分开。要为该实体数据类型实现QueryResults的错误情况，我需要该数据类型实际消耗的字段数量。因此，我引入了一个Arity Typeclass (这很容易出错，尤其是当数据发生变化时)。我还在这里使用undefined来调用arity方法的正确实例。
我在几个例子中看到了类似的情况，但是我对undefined的使用感到不安。有更好的方法吗？
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE BangPatterns #-}
module M
浏览 3提问于2015-02-12得票数 3
回答已采纳
我刚接触Scala (使用2.10)和Slick (使用2.0-M2)。我发现，在Slick中绕过表的22列限制的方法之一是使用嵌套元组。尽管找到了，我还是想不出该怎么做。
当前的开发分支Scala (2.11-M5)支持超过22个元素的case类，但不支持arity > 22的元组。Scala 2.11预发行版还没有发布Slick。如何定义一个包含33列的表(并让它与Slick的语法糖一起工作)？
注意，我正在尝试支持现有的模式，但无法更改表的规范化。
浏览 3提问于2013-10-28得票数 21
2回答
我能写一个特征元功能来判断一个类型是否是函子吗？例如，有大量的代码可以使用decltype(&T::operator())的SFINAE检查函子，
template<class T>
struct is_functor {
template<class F>
static auto test(decltype(&F::operator())) -> std::true_type;
template<class F>
static auto test(...) -> std::false_type;
浏览 5提问于2017-02-17得票数 2
回答已采纳
2回答
我已经阅读了我在这里可以找到的关于函数数组的所有文章--很好，您可以这样做。我猜到了。但这些帖子中没有一篇实际上展示了如何使用它们(至少不是我想要做的)。这是我想要的--它们都可以使用相同的args，但这不是必要条件。
本文结束了，并允许我循环执行每个函数(这符合第一个目标)。
但是..。如果我想通过引用来执行单个函数，该怎么办？换句话说，如何只调用引用的Arity2函数-例如：
// None of these work (with or without the parameter labels)
funcs.Arity2(n: 2, S: "Fred) // value o
浏览 4提问于2020-09-03得票数 2
回答已采纳
2回答
我不确定标题是否正确，但我的问题是：
我希望使用元编程来为特定表达式创建函数。例如，让我们说我们有以下代码：
template<typename T1, typename T2>
struct plus{
T1 func(T1 in1, T2 in2){ return in1 + in2; }
};
template<typename T1, typename T2, typename T3, typename expr>
struct wrap{
/* contain a func that can evaluate the expr */
};
浏览 2提问于2014-10-31得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
