我试着在Lisp/drRacket中做阶乘计算器函数，但我遇到了问题，弄不明白。#lang typed/racket(define (faktoriyel n) ((< n 0) (error "eksi sayılarınfaktoriyeli olmaz"))
((and (>= n 0) (<= n</em
浏览 17提问于2020-05-22得票数 0
回答已采纳
2回答
在Haskell中，有两种为类型提供别名的方法：type和newtype。type提供了一个类型同义词，这意味着类型检查器认为同义词与原始类型完全相同：hasAccess :: UserId -> Boolnewtype类似，但类型检查</em
浏览 0提问于2015-04-27得票数 12
回答已采纳
3回答
我使用ghcs扩展GADTs、TypeOperators和DataKinds对固定长度向量的定义如下： T :: Vec VZero a为了让我的整个意图库有意义，我需要对一个较长的向量Vec (n:+k) b的初始部分应用一个(Vec n b)->(Vec m b)类型的固定长度的</
浏览 46提问于2012-09-01得票数 16
回答已采纳
假设我有一个编译单元file1.c，它声明了如下所示的文件范围变量：然后，在另一个编译单元file2.c中，为该变量创建一个extern声明，但将其声明为const但是，C89标准规定，两种合格类型要兼容，两者必须具有兼容类型的相同限定版本。将const添加到声明中会添加限制，而不是避免限制。这是安全有效的C吗？用头文件设置这个文件的最
浏览 0提问于2014-12-29得票数 5
回答已采纳
我一直在读我一个班的这段代码。对析构函数中的一个变量感到困惑。这是代码，BTW，这是一个链接的列表头文件。我认为没有定义而是使用的变量是n；
{ count = 0;
浏览 3提问于2015-09-30得票数 2
回答已采纳
我不理解需要在初始化时指定extern/静态变量的类型。例如： static int i; Test::i = 2; //error编译器难道不知道我是int类型的吗？这仅仅是编译器的特殊性，还是为什么需要指定类型，int“？
浏览 3提问于2015-04-17得票数 7
回答已采纳
我需要帮助找出正确的数据类型的分配从一个函数调用请。N_Vector u；t胡枝子结构_generic_N_Vector *N_Vector；struct _generic_<
浏览 0提问于2012-09-03得票数 1
回答已采纳
1回答
文字类型推断-类型记录
、、、、
考虑到这一定义： name: Name;}
M extends { [key: string]: any } = {},>(name: N): Domain<M, <
浏览 1提问于2017-12-28得票数 4
4回答
这应该是一个递归函数，当i小于'h‘时，它会不断向'h’添加1/i的值，但我在函数声明中不断收到冲突类型错误，我做错了什么？float就是这样发生的。#include <stdio.h>
{ float h; return 0;
float division(int i, int n</em
浏览 0提问于2020-03-12得票数 0
它是有效的，但我不完全理解那里发生了什么。我已经从下面的链接中复制了代码：class Vector;
{ }例如，我们尝试以下面的方式使用它：
Vector<3>
浏览 0提问于2017-06-18得票数 3
我有一个列表(高度简化)：20 1040 #N/A#N/A10 30For i = 1 to 5Next i
当我
浏览 4提问于2018-10-23得票数 0
3回答
我可以写声明或声明的定义。declaration and definitionclass X {}; // declaration and definition
因此，我们可以看到，这是可能的，只写声明和声明的定义。但我怎么能只写定义呢？我听说这是可能的。
浏览 8提问于2021-10-11得票数 0
回答已采纳
我在用Idris 2编写的一些代码中遇到了问题，我想解决这个问题，但更重要的是，我希望更深入地理解它，并发展一些诊断这类问题的一般技能。n
f (V n) = show n
t = f . dError: While p
浏览 5提问于2022-04-01得票数 2
回答已采纳
我刚接触类型级编程，即使是非常简单的类型级编程，我也无法进行推理。我有这样的代码： Zero + m = m -- This is the base case现在，我有两种关于递归情况的变体，其中只有一种不带UndecidableInstances的类型检查
Succ n + m = n<
浏览 0提问于2018-02-15得票数 4
2回答
这个问题是“写一个函数，它获取整数数组和元素数作为参数，用C语言计算和显示数组所有整数的和平均值”，
下面是我所做的代码，它正在运行，但由错误提供错误的答案组成。
浏览 4提问于2020-04-03得票数 1
回答已采纳
我想构造一个名为Oct的新数据类型，它应该返回1、2或3，所以我的代码如下所示:数据Oct =1\x 2\3
但是Haskell显示了这样的错误:无法在data/newtype声明中解析数据构造函数:1
浏览 5提问于2017-08-22得票数 4
回答已采纳
1回答
我一直在使用矢量和矩阵，其中的大小是使用新的DataKinds扩展在其类型中编码的。(pure a)但是，即使此实例适用于所有向量，类型检查器也不知道这一点，因此我们每次使用该实例时都必须携带现在，如果这只适用于Applicative实例，那就不成问题了，但事实证明，在使用这样的<em
浏览 1提问于2012-05-10得票数 13
回答已采纳
3回答
我正在尝试在Haskell中实现教堂数字，但我遇到了一个小问题。Haskell抱怨无限类型当我尝试做减法的时候。我99%肯定我的lambda演算是有效的(如果不是，请告诉我)。我想知道的是，我是否可以做些什么来让haskell使用我的函数。= \exp -> \n -> exp (mul
浏览 6提问于2011-07-06得票数 20
2回答
假设我有一个数据类型 Go :: Interval m n -> Interval m (S n)intervalLength :: Interval n (Plus len n) -> SNat lenintervalLengt
浏览 0提问于2012-11-26得票数 5
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
