Svante
2020-12-05 21:57:23
Common Lisp中的类型实际上只是一组值。任何值都可以是无限多个类型。
例如，数字1是类型bit（这是的别名(integer 0 1)）。它也是类型(integer 0 2)或(integer -47 234)。它甚至是这种类型(or string null (integer 0 277))。因此，当你询问时(type-of 1)，答案应该是什么？
Lisp实现了解某些内置类型。它们通常会返回它们所知道的包含值的那些类型中最受限制的类型。如果你的Lisp实现对以5为底的数字进行特殊处理，则它可能会返回2 (integer 0 5)（或该数字的别名）。
所以这就是为什么CLHS说，它返回一个类型说明符，而不是该类型。它还指定必须返回明智的内容（在此处查看）。
你的声明与名为的常量有关+c0+，但是type-of调用没有看到该常量，它仅看到从中得出的值（请考虑评估步骤）。因此，断言在这里不起作用。
如果你想即时限制值的类型，可以使用the或check-type。
热门帖子
热门github
1
2
3
5
6
7
8
11
13
14
15
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)