#lang racket (require data/queue) (require racket/control) (define tasks (make-queue)) (define (addTask t) (enqueue! tasks t)) (define run (lambda () (if (queue-empty? tasks) (void) (begin (reset ((dequeue! tasks))) (run))))) (define sched (lambda () (shift k (addTask k)))) (define sum (lambda (n) (sched) ;; (println "here") (if (= n 0) 0 (+ n (sum (- n 1)))))) (addTask (lambda () (println (sum 7)))) (addTask (lambda () (println (sum 3)))) (addTask (lambda () (println (sum 5)))) (run)

时间: 2023-06-17 19:04:08 浏览: 40
这段代码实现了一个简单的任务调度器。它使用了 Racket 语言的 continuation 和队列数据结构。首先,它创建了一个队列 tasks,用于存储待执行的任务。然后定义了一个 addTask 函数,用于将任务添加到队列中。接着定义了一个 run 函数,用于递归地从队列中取出任务并执行。如果队列为空,则什么也不做;否则,取出队首的任务,并使用 reset 函数将当前 continuation 设置为任务的 continuation,然后执行任务。执行完任务后,再次调用 run 函数递归地取出队列中的下一个任务并执行。最后,定义了一个 sched 函数,用于将当前 continuation 添加到任务队列中。它使用了 shift 函数,在执行 addTask 函数时将当前 continuation 保存到队列中,并等待后续的执行。最后,定义了一个 sum 函数,用于计算从 n 到 0 的整数和。它先调用 sched 函数将当前 continuation 添加到任务队列中,然后递归地计算 n-1 到 0 的整数和,并将结果加上 n。当 n=0 时,返回 0。最后,将三个 sum 函数添加到任务队列中,调用 run 函数开始执行任务。
相关问题

racket tracing higher order function

Racket 的追踪高阶函数是指对高阶函数进行调试或追踪时使用的技术。高阶函数是指接受一个或多个函数作为参数,或者返回一个函数的函数。追踪高阶函数可以帮助我们了解函数在程序执行过程中的具体行为,对于调试和理解代码非常有帮助。 在 Racket 中,我们可以使用 `trace` 这个内建函数来追踪高阶函数。`trace` 函数接受一个函数作为参数,并返回一个新的函数,该新函数会在调用原函数时打印相关信息,如函数名、参数和返回值等。通过使用 `trace` 函数,我们可以追踪任意的高阶函数,了解其在程序执行中的行为。 例如,我们有一个高阶函数 `map`,接受一个函数 `f` 和一个列表 `lst`,并将函数 `f` 应用到 `lst` 中的每一个元素上。我们可以使用 `trace` 函数追踪 `map` 函数的执行过程: ``` racket (define traced-map (trace map)) (traced-map add1 '(1 2 3)) ``` 运行上述代码后,会输出类似于以下的追踪信息: ``` '((map) add1 (1) (2 3)) '((map) add1 (2) (3)) '((map) add1 (3) ()) ``` 这样,我们就可以看到 `map` 函数在执行过程中,对于每一个元素都会调用 `add1` 函数,同时打印出了相应的参数和返回值。 通过追踪高阶函数,我们能够更好地理解函数的执行过程,找到潜在的问题或错误,并便于调试和修复。这对于提高代码质量和开发效率非常重要。

racket中的map如何使用

在 Racket 中,`map` 是一个高阶函数,用于对一个列表中的每个元素应用同一个函数,并返回一个新的列表,其中包含函数应用后的结果。 `map` 的基本语法如下: ```racket (map function list) ``` 其中,`function` 是要应用的函数,`list` 是要处理的列表。 下面是一个简单的例子,演示了如何使用 `map` 将一个列表中的所有元素加倍: ```racket (define (double x) (* x 2)) (define lst '(1 2 3 4 5)) (define result (map double lst)) (display result) ; 输出:(2 4 6 8 10) ``` 在上面的例子中,我们首先定义了一个函数 `double`,它将一个数字加倍。然后我们定义了一个列表 `lst`,其中包含数字 1 到 5。最后,我们使用 `map` 函数将 `double` 应用于列表 `lst` 中的每个元素,并将结果存储在变量 `result` 中。最终,我们输出了 `result`,它包含了 `lst` 中的每个元素加倍后的结果。 需要注意的是,在 Racket 中,`map` 函数返回一个新的列表,而不是修改原始列表。如果您想要修改原始列表,可以使用 `map!` 函数。

相关推荐

import java.awt.*; import java.awt.event.*; import java.util.Timer; import javax.swing.*; public class gameone { Frame frame = new Frame(); //桌面宽高 private final int table_width = 300; private final int table_hight = 400; //球拍宽高 private final int racket_width = 300; private final int racket_hight = 400; //小球大小 private final int ball_size = 16; //小球位置 private int ballX = 120; private int ballY = 20; //小球速度 private int speedX = 10; private int speedY = 5; //球拍位置 private int racketX = 120; private final int racketY = 340; private boolean isOver = false; private Timer timer; private class MyCanvas extends Canvas{ @Override public void paint(Graphics g) { if(isOver){ g.setColor(Color.BLUE); g.setFont(new Font("Times",Font.BOLD,30)); g.drawString("Game Over!",50,200); } else{ g.setColor(Color.RED); g.fillOval(ballX,ballY,ball_size,ball_size); g.setColor(Color.PINK); g.fillRect(racketX,racketY,racket_width,racket_hight); } } } MyCanvas drawArea = new MyCanvas(); public void init(){ KeyListener listener = new KeyAdapter() { @Override public void keyPressed(KeyEvent e) { int keyCode = e.getKeyCode(); if(keyCode == KeyEvent.VK_LEFT){ if(racketX > 0){ racketX -= 10; } } if(keyCode == KeyEvent.VK_RIGHT){ if(racketX < (table_width - racket_width)) racketX += 10; } } }; frame.addKeyListener(listener); drawArea.addKeyListener(listener); ActionListener task = new ActionListener() { @Override public void actionPerformed(ActionEvent e) { if(ballX <= 0 || ballX >= (table_width - ball_size)) speedX = -speedX; if(ballY <= 0 || ballY >= racketY - ball_size && ballX > racketX && ballX <racketX +racket_width){ speedY = -speedY; } if(ballY > racketY - ball_size && (ballX < racketX || ballX > racketX + racket_width)) { timer.stop(); isOver = true; drawArea.repaint(); } ballX += speedX; ballY += speedY; drawArea.repaint(); } }; timer = new Timer(100,task); timer.start(); drawArea.setPreferredSize(new Dimension(table_width,table_hight)); frame.add(drawArea); frame.pack(); frame.setVisible(true); } public static void main(String[] args){ new gameone().init(); } }哪里错了

最新推荐

recommend-type

波士顿房价数据集Boston House Price

波士顿房价数据集Boston House Price 全网最便宜
recommend-type

FPGA实现UDP协议(包括ARP、ICMP)

三种实现FPGA实现UDP协议的代码工程(包括ARP、ICMP),包含使用设计文档。 第一种,米联客的DCP封装包 第二种,正点原子的源码工程 第三种,基于正点原子的赛灵思MAC核的代码工程。
recommend-type

Red-Hat-Enterprise-Linux-7-RPM-Packaging-Guide-en-US

Red_Hat_Enterprise_Linux-7-RPM_Packaging_Guide-en-US
recommend-type

Matlab 三维人脸识别系统 V 4.3.zip

Matlab 三维人脸识别系统 V 4.3.zip
recommend-type

zigbee-cluster-library-specification

最新的zigbee-cluster-library-specification说明文档。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

实现实时数据湖架构:Kafka与Hive集成

![实现实时数据湖架构:Kafka与Hive集成](https://img-blog.csdnimg.cn/img_convert/10eb2e6972b3b6086286fc64c0b3ee41.jpeg) # 1. 实时数据湖架构概述** 实时数据湖是一种现代数据管理架构,它允许企业以低延迟的方式收集、存储和处理大量数据。与传统数据仓库不同,实时数据湖不依赖于预先定义的模式,而是采用灵活的架构,可以处理各种数据类型和格式。这种架构为企业提供了以下优势: - **实时洞察:**实时数据湖允许企业访问最新的数据,从而做出更明智的决策。 - **数据民主化:**实时数据湖使各种利益相关者都可
recommend-type

解答下列问题:S—>S;T|T;T—>a 构造任意项目集规范族,构造LR(0)分析表,并分析a;a

对于这个文法,我们可以构造以下项目集规范族: I0: S -> .S S -> .T T -> .a I1: S -> S. [$ T -> T. [$ I2: S -> T. I3: S -> S.;S S -> S.;T T -> T.;a 其中,点(.)表示已经被扫描过的符号,;$表示输入串的结束符号。 根据项目集规范族,我们可以构造出LR(0)分析表: 状态 | a | $ ---- | - | - I0 | s3| I1 | |acc I2 | | 其中s3表示移进到状态3,acc表示接受。在分析字符串a;a时,我们可以按照以下步骤进行
recommend-type

JSBSim Reference Manual

JSBSim参考手册,其中包含JSBSim简介,JSBSim配置文件xml的编写语法,编程手册以及一些应用实例等。其中有部分内容还没有写完,估计有生之年很难看到完整版了,但是内容还是很有参考价值的。
recommend-type

"互动学习:行动中的多样性与论文攻读经历"

多样性她- 事实上SCI NCES你的时间表ECOLEDO C Tora SC和NCESPOUR l’Ingén学习互动,互动学习以行动为中心的强化学习学会互动,互动学习,以行动为中心的强化学习计算机科学博士论文于2021年9月28日在Villeneuve d'Asq公开支持马修·瑟林评审团主席法布里斯·勒菲弗尔阿维尼翁大学教授论文指导奥利维尔·皮耶昆谷歌研究教授:智囊团论文联合主任菲利普·普雷教授,大学。里尔/CRISTAL/因里亚报告员奥利维耶·西格德索邦大学报告员卢多维奇·德诺耶教授,Facebook /索邦大学审查员越南圣迈IMT Atlantic高级讲师邀请弗洛里安·斯特鲁布博士,Deepmind对于那些及时看到自己错误的人...3谢谢你首先,我要感谢我的两位博士生导师Olivier和Philippe。奥利维尔,"站在巨人的肩膀上"这句话对你来说完全有意义了。从科学上讲,你知道在这篇论文的(许多)错误中,你是我可以依