typed-racket

-1热度

1回答

我在打字球拍上做了一些研究。为了更好地理解打字球拍，我需要一些打字球拍项目。任何人都可以请给我一些链接，我可以找到一些类型的球拍源代码。谢谢

1热度

1回答

最近我正在学习球拍，和我在与理解“定义 - ”语法一些困难。我试过下面的代码： #lang racket (define-type Num Number) 但它输出以下错误信息： define-type: unbound identifier in module in: define-type 五月谁能帮我处理这个错误？我已经阅读了所有可能的文档，看起来应该可以工作。

0热度

1回答

将节点插入树 - 球拍

我正在尝试将新节点添加到树中。以下是我的定义和功能类型： (define-struct (Some T) ([value : T])) (define-type (Option T) (U 'None (Some T))) (define-type BST (U 'E Nd)) (define-struct Nd ([root : Integer]

0热度

1回答

列表树typederacket

我想将整数列表转换为树。以下是我的函数定义： (define-struct (Some T) ([value : T])) (define-type (Option T) (U 'None (Some T))) (define-type BST (U 'E Nd)) (define-struct Nd ([root : Integer] [ls

0热度

1回答

从树

我试图找到一个给定的树的最大数量查找最大（Nd 3'E'E）（Nd 9'E'E））（Nd 5'E'E））（Nd 3（Nd 6'E'E））））0）有人可以帮忙吗？谢谢！

2热度

2回答

类型球拍的优化...这是远吗？

关于打字/球拍的简短提问。我目前正在努力通过Euler Project problems来更好地学习球拍。一些my solutions真的很慢，尤其是在处理素数和因素时。所以对于一些问题，我试图制作一个打字/球拍版本，我发现速度没有改善，恰恰相反。（我试图通过使用真正的大数字来减少开销的影响，计算时间大约为10秒。）我从Racket文档中得知最佳优化发生在when using Floats/F

3热度

5回答

带有所有中间值的列表的总和

我正试图计算列表中所有中间值的总和。我的代码如下，但它不起作用。 (: sums : (Listof Integer) -> (Listof Integer)) ;; compute the sum of a list, ;; produce all the intermediate sums along the way ;; start with 0 ;; (sums (list 1 2

0热度

2回答

需要帮助的球拍

我写了下面的功能find-index在列表中搜索：现在 (: finind : (Listof Integer) Integer -> (Option Integer)) ;; helper function for find-index (define (finind a b) (let loop ((a a) (c 0)) (cond ((empty? a

1热度

1回答

即使有FORALL

未绑定类型有人可以让我知道什么是错的FORALL确定指标： > (define #:forall (A) (kmp-search [pattern : (Vectorof A)] [text : (Vectorof A)] [next-offset : Integer 0]) : Integer 3) . Type Checker: parse erro

0热度

1回答

键入球拍，更改列表中的单个组件

有没有办法将list-ref调用的列表的单个值更改为键入Racket中的不同值？像：（更换（名单-REF（表1 2 2）O）4）会输出：（表4 2 2） (: duck : (Listof Integer) -> (Listof Integer)) (define (duck n) (match n ['() '()] [(cons x r) (con