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