CONS形式化（第一次尝试）

最新推荐文章于 2025-08-15 10:14:10 发布

chenbingchenbing

最新推荐文章于 2025-08-15 10:14:10 发布

阅读量255

点赞数

CC 4.0 BY-SA版权

文章标签： list c

本文链接：https://blog.youkuaiyun.com/chenbingchenbing/article/details/6290862

本文介绍了一组使用Lisp编写的自定义函数，包括mycons、mycar和mycdr，并通过实例展示了这些函数如何操作列表数据结构。通过对这些函数的定义和调用过程的展示，帮助读者理解Lisp语言的基本概念及其独特的数据操作方式。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

(defun mycons (x y)

(list (list x) y)

)

(defun mycar (n)

(car (car n))

)

(defun mycdr (n)

(car (cdr n) )

)

(setq a (mycons 4 nil) )

(setq b (mycons 5 a) )

(setq c (mycons 6 b) )

(mycar c)

(mycdr c)

(mycar (mycdr c) )

(mycar (mycdr (mycdr c) ) )

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

chenbingchenbing

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

18、模拟世界与文本格式化编程探索

nft7creator的博客

06-29

本文探讨了一个基于Lisp的模拟世界构建过程，展示了动物基因、行为与生态平衡之间的关系，并介绍了Common Lisp中format函数的强大文本格式化功能。文章还分析了模拟世界与文本格式化的关联，并提出了生态系统优化、性能改进及物种进化深入研究等拓展方向。

80、一致性正则化助力缓解对抗训练中的鲁棒过拟合问题

mm9012的博客

07-15

本文研究了对抗训练（AT）中的鲁棒过拟合问题，并提出了一种基于一致性正则化的新方法来缓解该问题。通过引入半监督学习中的“Mean Teacher”（MT）策略，构建一个基于学生模型指数移动平均权重的教师模型，使学生模型对对抗样本的预测分布与教师模型对干净样本的预测分布一致。实验表明，该方法能够有效减少鲁棒泛化差距，提高深度神经网络（DNN）模型在面对对抗攻击时的鲁棒性和泛化能力。

参与评论您还未登录，请先登录后发表或查看评论

CONS形式化 （一般化）

chenbingchenbing的专栏

03-31

323

(defun mycons (x y) (lambda ( s z) (funcall (funcall s x y ) z) ) ) (defun wrapcar (s) (lambda (a b) (lambda (z) (funcall a s z) ) ) ) (defun mycar (n) (lambda (s z) (funcal

Programming in Emacs Lisp笔记（七）基础函数:car, cdr, cons

Jamsa

06-29

906

基础函数:car, cdr, cons Lisp中car，cdr和cons都是基础函数。cons用于构造lists，car和cdr用于分割lisp。奇怪的命名 cons函数的名称并非没有含意：它是单词'construct'的缩写。car是短语'Contents of the Address part of the Register'；cdr（'could-er'）是短语'Contents o...

C++基础第一遍学习

YORKonlyfang的博客

03-08

634

1 编译器选择首选vs2008 另外有c-Free Dev-C++ Eclipse C++ CodeBlocks 2

AutoCAD软件二次开发：AutoLISP编程入门_

kkchenjj的博客

07-16

2211

在AutoLISP中，使用defun来定义函数。"在指定点绘制一个指定半径的圆。这个函数接受一个点和一个半径作为参数，使用AutoCAD的command函数来绘制一个圆。使用command函数可以执行AutoCAD命令，通过定义函数并将其绑定到特定的命令名，可以创建自定义命令。(command "_.line" (getpoint "\n选择起点: ") (getpoint "\n选择终点: "))

dpdk对虚拟化支持研究

潜心修行，独立思考

09-27

3391

目录：虚拟化 dpdk的实现研究 virtio vhost SR-IOV 热迁移相关研究拓展本文记录近期对dpdk在虚拟化和云计算领域应用的研究成果，内容梳理如下。虚拟化虚拟化，抽象来说，就是将物理资源逻辑化。具体来说，虚拟技术的实现是在系统中加入一个虚拟化层（也就是hypervisor）,将下层的物理资源（如disk,nic,cpu,memory等）抽象成另一种形式的资源，提供给上层应用，

python - 啃书第十一章数据库访问

jhsxy2005的博客

12-01

468

概述与使用文件存储数据相比，使用数据库存储和管理数据更容易实现数据共享、降低数据冗余、保持数据独立性，以及增强数据的一致性和可维护性。现在数据库技术已经广泛应用于电子邮件、金融业、网站、办公自动化等方面，极大的方便和改变人们的生活方式。按照使用的是否为关系数据模型，数据库可分为关系数据库和非关系数据库 1、常用关系数据库（1）Oracle是甲骨文公司的一款关系数据库管理系统(Relational Database Management System, RDBMS)是目前世界上最流行的关系数据库管理系

Hotspot 类文件加载、链接和初始化

菜鸟进阶之路

09-01

1883

目录一、运行时常量池二、加载 1、启动类 2、类加载器 3、类加载器与类 4、格式检查 5、从class文件得到类三、链接 1、验证 2、准备 3、解析四、初始化上一篇《Hotspot class文件和字节码解析》讲解了类文件的构成及其二进制表示机制，那么类文件是如何变成Hotspot中的Klass了？整体上分为三步，第一步类加载器加载，加...

机械化形式推理理论概述

### 机械化形式推理理论概述在人工智能和逻辑推理的领域中，有一个名为FOL的计算机程序，它在推理机制方面有着独特的设计和强大的功能。下面将详细介绍FOL的相关特性和应用。 #### 1. 引言 FOL相关的理念不仅对...

差分进化算法（Differential Evolution）是一种模拟退火算法，可以用来求解其他一些优化问题，如求解整数规划问题、约束最优化问题等

AI天才研究院

08-08

1361

差分进化法”（Differential Evolution）是一种模拟退火算法。每次迭代都选择多个候选解（或称为“粒子”），并对这些粒子按照一定规则进行更新，使其逐渐向目标靠拢；更新的方法是随机选取两个个体，然后通过一个随机扰动来产生一个新的解，这个新解与旧解之间的差别由一定的概率决定，这样可以降低搜索空间，提高搜索效率。更为复杂的是，“差分进化法”还支持多峰值（multimodal）函数优化。所谓多峰值函数就是指函数具有多个局部最小值或极小值点。

33 C++ STL模板库2-initializer_list

17208955的博客

08-13

720

本文介绍了C++11引入的std::initializer_list模板类，它支持大括号初始化语法，用于封装一组值作为临时只读序列。文章详细讲解了其基本概念、声明方式、生命周期管理，并通过示例代码展示了在构造函数参数、函数重载和模板函数中的典型应用。还介绍了initializer_list的遍历操作方法（迭代器、范围for循环、size()），并强调了其只读性和临时性的注意事项。最后指出该特性在容器初始化、多维数组和可变参数传递等场景中的实用价值。

【C++ STL】list详解和模拟

2403_88316985的博客

08-13

723

本文摘要：本文主要探讨了C++ STL中list容器的实现原理和关键特性。首先介绍了list的数据结构，指出它是一个带头节点的双向循环链表，其节点包含prev、next指针和数据域。其次详细分析了list迭代器的设计，强调其封装性和双向移动能力。文章还重点讲解了list的几个特殊接口：clear用于清空内容，remove删除特定值元素，unique对有序列表去重（可自定义比较方法），以及splice用于在不同list间转移元素。通过多个代码示例展示了这些接口的实际应用场景和使用方法。

HarmonyOS 实战：用 List 与 AlphabetIndexer 打造高效城市选择功能

最新发布

不懂先生的博客

08-15

834

本文介绍了如何在HarmonyOS平台上实现高效城市选择功能，重点利用List和AlphabetIndexer组件的联动机制。通过分析功能需求，设计了包含历史城市、热门城市和字母分组城市的数据结构，并详细阐述了实现步骤：包括数据结构定义、索引数组构建、列表UI和索引器UI的搭建。针对开发中常见的索引器与列表位置不匹配问题，提出了通过映射数组建立精确的索引对应关系，并提供了优化后的完整代码方案。该实现不仅提升了城市选择效率，其技术方案也可应用于通讯录、词典等需要快速定位的场景。

C++ list模拟实现

chj_1206的博客

08-13

809

我们list的实现依旧先从源代码入手，我们需要搞清楚部分的逻辑，这样方便我们去模拟实现。link_type是节点的指针。接着我们去观察一下无参的初始化。这里弄得是哨兵位的节点。get_node是在内存池申请内存，类似malloc申请空间不初始化。接着我们来浅浅的观察一下push_back。某个位置前面插入。所以其实我们明白链表的结构，很多都能够大概猜测出来。

手写MyBatis第16弹：泛型魔法应用：MyBatis如何破解List的运行时类型

源码获取 | 运行部署 | 定制二开修改，如果回复不及时请耐心等待，请见谅。

08-14

803

MyBatis结果映射机制深度解析：从方法签名到ORM转换摘要：MyBatis通过精密的类型系统实现ORM转换，其核心在于对Mapper方法返回类型的智能解析。文章揭示了MyBatis获取返回类型的双重机制：基础类型反射获取和泛型参数解析，重点剖析了六类返回类型的处理策略（包括void、POJO、集合等）。技术亮点包括泛型嵌套解析的三层技巧、ResultSet元数据的三重价值（列名匹配/类型转换/结果验证），以及ResultHandler的流式处理能力。企业级实践建议强调类型安全检查、智能推导和缓存优化，

java中list的api详细使用

qq_45089709的博客

08-13

1081

Java中的List接口代表有序可重复集合，核心实现类包括ArrayList（数组实现）和LinkedList（链表实现）。主要API功能包括：添加元素（add/addAll）、删除元素（remove/removeAll/clear）、获取修改元素（get/set）、查找判断（contains/indexOf）以及迭代遍历（iterator）。支持按索引操作和批量处理，是Java集合框架中最常用的接口之一。使用时需注意索引范围及元素判等规则。

java中数组和list的区别是什么?

qq_45089709的博客

08-13

344

Java数组与List核心区别本质差异：数组是固定长度的基础数据结构，支持基本类型和对象；List是动态扩容的集合接口（如ArrayList），仅存储对象（需包装类）。关键对比：长度：数组固定，需手动扩容；List自动扩展。功能：数组仅支持索引访问；List提供add()/remove()等方法。类型：数组编译时严格检查；List需泛型保障类型安全。性能：数组连续内存，随机访问快；ArrayList基于数组，LinkedList适合频繁增删。适用场景：数组：固定长度、基本类型、高性能计算。

【入门级-C++程序设计：13、STL 模板：栈(stack)、队列(queue)、链表(list)、向量(vector) 等容器】

papership的博客

08-14

398

std::cout << "栈顶元素: " << myStack.top() << std::endl;std::cout << "栈的大小: " << myStack.size() << std::endl;std::cout << "队头元素: " << myQueue.front() << std::endl;std::cout << "队尾元素: " << myQueue.back() << std::endl;是一种先进先出 (FIFO) 的容器适配器，只能从队尾插入元素，从队头删除元素。

cons

06-15

- **Car**：指向列表的第一个元素。 - **Cdr**：指向其余部分的指针，可以是另一个 `cons` 或者空值 `nil`。例如，以下代码展示了如何使用 `cons` 构建一个简单的列表： ```lisp (cons 1 (cons 2 (cons 3 nil))) `...

CONS形式化 （第一次尝试）

CONS形式化（第一次尝试）