腾讯云

文章/答案/技术大牛

发布

社区首页 >问答首页 >类型检查器:提供了“%n”的声明，但“%n”中没有定义：%n

问类型检查器:提供了“%n”的声明，但“%n”中没有定义：%n
EN

Stack Overflow用户

提问于 2020-05-21 18:27:41

回答 1查看 68关注 0票数 0

我试着在Lisp/drRacket中做阶乘计算器函数，但我遇到了问题，弄不明白。

#lang typed/racket
(: n Number)
(define (faktoriyel n)
    (cond
        ((< n 0) (error "eksi sayıların faktoriyeli olmaz"))
        ((and (>= n 0) (<= n 1)) 1)
        (else (* n (faktoriyel (- n 1))))))

scheme

racket

typed-racket

回答 1

Stack Overflow用户

回答已采纳

发布于 2020-05-21 18:54:11

您应该声明函数的类型，而不是变量n

(: faktoriyel (-> Number Number))

(-> Number Number)是指以Number作为参数并返回Number的函数。

请参阅文档中的Function Types。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/61941318

复制

python中时间的加n和减n运算

python

好多朋友都遇到过python推算时间的问题，有些把时间转换成整数做推算，这样遇到特殊的时间和日期就会出现错误，在python中时间的推算很简单，主要就是用到datetime.timedelta方法，进行时间的加n减n运算：

py3study

2020/01/08

1.6K0

MapReduce：N keys，N files

mapreduce hadoop java hashmap

MapReduce中，不管是map阶段还是reduce阶段，二者的输入和输出都是key，value类型的值。现在有个需求是根据map阶段返回值key的个数，生成相应个数的文件。也就说一个key写到一个文件中，每个文件只能包含一个key。

2018/12/14

8240

没有忍住，还是用Python爬了N多个女神

api html https 微信网络安全

不是知道有多少人知道“懂球帝”这个 APP（网站），又有多少人关注过它的一个栏目“女神大会”，在这里，没有足球，只有女神哦。画风是这样的

周萝卜

2019/08/08

5660

计算机中的数学【费马大定理】数学史上最著名的定理： x^n + y^n = z^n（n >2时，没有正整数解）

其他

德国佛尔夫斯克曾宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。

一个会写诗的程序员

2018/08/17

1.3K0

MapReduce：N keys，N files（二）

其他

如果你看了MapReduce：N keys，N files（一）这篇文章，并按其介绍的方法尝试去将N个key映射到N的文件中，你会发现分割后数据量比分割前的要多，并且有些文件不能正常读取。用presto读取的话，可能会报这种错：

2018/12/14

8060

Android N 中的ART

打包编程算法 android java

我们知道在Android N 中对其 ART做了比较大的变化。主要是同一程序的代码可能同时运行在本地机器码（编译）、解释和JIT（Just In Time）的混合运行模式，并且不同的用户，同一应用程序的代码，可能运行不同的编译代码。因为有了Profile-guided JIT/AOT Compilation，那么不同的用户行为对同一app可能会有不同的编译结果。N 上做此变化的其目的是为了在安装时间、内存占用、电池消耗和性能之间获得最好的折衷。

用户9732312

2022/05/13

1K0

常见算法的时间复杂度 Ο(1)＜Ο(log2n)＜Ο(n)＜Ο(nlog2n)＜Ο(n2)＜Ο(n3)＜…

编程算法

说实话，我是真的不懂算法。但是，我知道一个算法的好坏，通常时间复杂度是一个评价的指标之一。

业余草

2019/06/20

8.6K0

O(n)的算法居然超时了，此时的n究竟是多大？

编程算法

一些同学可能对计算机运行的速度还没有概念，就是感觉计算机运行速度应该会很快，那么在leetcode上做算法题目的时候为什么会超时呢？

代码随想录

2020/12/14

1.3K0

关于char/varchar(n)中n的探究：字符数or字节数

其他

很多时候我们不确定某个字段的长度，会使用varchar类型，比如某个字段定义为varchar(100)，那这100的长度能存多少个中文？

Tayloryu

2018/07/17

2.7K0

2022-07-17：1、2、3...n-1、n、n、n+1、n+2... 在这个序列中，只有一个数字有重复(n)。这个序列是无序的，找到重复数字n。这个序

java rust 指针

2022-07-17：1、2、3...n-1、n、n、n+1、n+2...在这个序列中，只有一个数字有重复(n)。这个序列是无序的，找到重复数字n。这个序列是有序的，找到重复数字n。答案2022-07-17：不能用哈希表。第一问，两种方法，快慢指针找环问题和异或法。第二问，二分法。代码用rust编写。代码如下：use rand::Rng;use std::collections::HashSet;fn main() { let nn: i32 = 10; let test_time: i32 =

福大大架构师每日一题

2022/07/17

8350

你知道 varchar(N) 或 varchar2(N) 中的 N 是字符数还是字节数？

云数据库 SQL Server sql 数据库 oracle 编程算法

其中 book_name 是 varchar(20) 类型。插入 sql 语句如下：

IT技术小咖

2020/02/13

4.3K0

你知道 varchar(N) 或 varchar2(N) 中的 N 是字符数还是字节数？

N皇后

编程算法

说明： N皇后问题是一个以国际象棋为背景的问题：如何能够在N×N的国际象棋棋盘上放置N个皇后，使得任何一个皇后都无法直接吃掉其他的皇后。为了达到此目的，任两个皇后都不能处于同一条横行、纵行或斜线上。解法： N个皇后中任意两个不能处在同一行，所以每个皇后必须占据一行，及一列。我们采用回溯法的思想去解。首先摆放好第0行皇后的位置，然后在不冲突的情况下摆放第1行皇后的位置。到第j行时，如果没有一个位置可以无冲突的摆放皇后，则回溯到第j-1行，寻找第j-1行皇后的下一个可以摆放的位置。总结一下，用回溯法解

mathor

2018/06/22

7370

i18n、g11n、l10n

globalization i18n internationalization localization

I18N －－是“Internationalization” 的缩写，通常缩写为“I18N” 。中间的 18 代表在首字母“I” 和尾字母“N” 之间省略了 18 个字母。单词“Internationalization” 翻译成中文是“ 国际化” 的意思－是使产品或软件具有不同国际市场的普遍适应性，从而无需重新设计就可适应多种语言和文化习俗的过程。真正的国际化要在软件设计和文档开发过程中，使产品或软件的功能和代码设计能处理多种语言和文化习俗，具有良好的本地化能力。

Yiiven

2022/12/15

1.4K0

git版本超前了N个版本且落后了N个版本的解决办法

git

当遇到该问题的时候，一般情况下我们会首先拉取，紧接着就出现了一系列问题………… 其实当输入命令，git pull的时候，会报错，这时瞬间就感到凌乱了&……*%%*%………… 莫慌…… 这时输入任何命令：git merge 、git checkout 、git rebase……等等都报错，看英文提示，报错原因为，有未合并的文件，看右边分支名旁边写着 MERGING，这时就要查看是否有文件冲突没有解决了。解决完冲突之后，按正常步骤提交： git add 文件名 git commit -m "合并" 这时

蓓蕾心晴

2018/04/12

1.8K0

PHP 画图形 N行N列

函数

写一个函数需要一个参数，根据这个参数输出一个图形 <?php /* 算法二、写一个函数需要一个参数，根据这个参数输出一个图形，比如：输入4： 4 5 6 7 15

Marco爱吃红烧肉

2021/12/24

9280

Linux O(n)调度器

linux 编程算法

本节我们先来学习Linux早期的调度算法的设计，先从最早的调度器算法开始，此调度器时间复杂度是O(n)，所以也可以称为O(n)调度算法。我们选择的内核版本是linux-2.4.19。

DragonKingZhu

2020/03/24

3.4K0

关于Python中No module n

http python

错误信息：ModuleNotFoundError: No module named 'requests'

py3study

2020/01/06

7950

N皇后

其他

N皇后问题是计算机科学中最为经典的问题之一，该问题可追溯到1848年，由国际西洋棋棋手马克斯·贝瑟尔于提出了8皇后问题。将N个皇后放摆放在N*N的棋盘中，互相不可攻击，有多少种摆放方式，每种摆放

小飞侠xp

2018/08/29

4340

n! 进制

c++

该文介绍了如何将一个10进制数转换为n!进制数。首先介绍了n!进制数的概念，即从数的最低位开始，第i位的权值是(i+1)!，第i位取值范围为0~i+1，i从0开始。然后介绍了如何将一个10进制数转换为n!进制数的方法，包括使用递归和迭代两种方法。在示例中，输入了5个问题，并给出了对应的输出结果。

Kindear

2017/12/29

9030

N皇后！

编程算法 ide

力扣题目链接：https://leetcode-cn.com/problems/n-queens

代码随想录

2021/11/05

7780

相似问题

在VBA中为计算提供了#N/A #N/A的类型不匹配错误消息

在这种类型中，N扩展了N做了什么？

是否定义了"a=(b+n)/++n“的行为？

声明N乘N元素矩阵和N元素列向量乘法的类型类

如何定义R^n中任意n个点的类型？

110

添加站长进交流群

领取专属 10元无门槛券

AI混元助手 在线答疑

关注 腾讯云开发者公众号

洞察 腾讯核心技术

剖析业界实践案例

问类型检查器:提供了“%n”的声明，但“%n”中没有定义：%n
EN