racket

1熱度

1回答

中的程序的循環工作機制。我很努力地理解這個程序是如何工作的。我自己寫了它，它做了它必須做的事但我不明白怎麼做。我定義而循環爲： (define (while test body) (if (test) (begin (body) (while test body)) (void))) 現在我需要編寫一個給定的程序適用於一個可變列表中

2熱度

1回答

無法訪問範圍內部定義

Can access to lexical variables be stripped for internal definitions? 也許這是一個沒有問題，但有時我希望我可以定義內部過程，而無需訪問範圍。考慮下面這個例子： (define (usual-racket n) (define (hi a) (displayln n)) (hi 'hi) n

0熱度

2回答

如何「承諾」，一個值將是某種類型

如果我在打字/球拍此功能： (: random-if-empty (-> (U Image-Color "empty") Image-Color)) (define (random-if-empty s) (cond [(equal? s "empty") (random-color)] [else s])) ，如果是輸入"empty"返回一個隨機顏色，否則返回

0熱度

2回答

空調在球拍

定義的類型我已經定義在球拍以下幾種類型： (define-type vname (Pairof String Integer)) (define-type term (U vname (Listof (Pairof String term)))) (define-type subst (Listof (Pairof vname term))) 我將如何定義與簽名(-> subst te

1熱度

2回答

球拍不能繪製表面

我要繪製該表面： Z =（3× - 8 + 11Y）/（6Y -11）下面是代碼 (plot3d (surface (lambda (x y) (/ (+ (* 3 x) -8 (* 11 y)) (- (* 6 y) 11)) 0 1 0 1)) #:x-min 0 #:x-max 1 #:y-min 0 #:y-max 1) 然而，球拍產生一個奇怪的（和錯誤的圖）。我

0熱度

1回答

強制在球拍

strurct-構造評價通過以下代碼： (struct int (num) #transparent) (list (int 3) (int 5)) ;; case-1 '((int 3) (int 5)) ;; case-2 的情況下，1打印(#(struct:int 3) #(struct:int 5))，但案件-2打印。我該如何處理第二個爲struct:int list？

0熱度

1回答

球拍FFI中_ptr，_pointer和_cpointer之間的區別

球拍FFI的文檔包含_ptr,_cpointer和_pointer的類型。但是，文檔（寫這個問題時）似乎沒有比較三種不同的類型。顯然，前兩項是產生ctype?的函數，其中最後一項是ctype?本身。但是，我什麼時候會用另一種類型？它也有其它類型的諸如_box，_list，_gcpointer，和_cpointer/null。這些都是這三種功能的變種。

2熱度

1回答

摺疊cstructs的偏移球拍FFI

我有一個在中間具有兩個字段描述列表的大小和一個指向列表中的大cstruct： (define-cstruct _context (... [size _uint] [lst _pointer] ...) 然而，要獲得這個名單，我總是首先需要抓取大小，然後將指針轉換爲給定大小的列表。顯然我可以做一個功能來做到這一點： (define (convert-to

2熱度

1回答

將函數映射到列表的列表上，並將結果連接到列表中

如何在列表（列表（列表1）（列表3））和列表同時連接結果。例如，結果將是（1 4 9 16）。我無法在網上找到任何詳細的解釋...感謝您的任何建議！此致尤妮斯

1熱度

2回答

謂詞爲真爲所有？

我一直試圖在「簡單方案」中理解這個練習8.10，但在球拍博士中卻無法把握它。這是一個：寫一個謂詞真正爲所有？這需要兩個參數，一個謂詞過程和一個句子。如果謂詞參數對句子中的每個單詞都返回true，它應該返回#t。（真換所有？甚至？ '（2 4 6 8）） Ť （真換所有？甚至？'（2 6 3 4）） ˚F 我試圖解決方案：（定義（真參加的所有PRED發送）（=（count sent）（cou