racket

0熱度

1回答

我有一個程序，但實際上我不知道它做了什麼。有人會解釋嗎？ (define (stj fun listt) (if (null? listt) `() (cons (fun (car listt)) (stj fun (cdr listt)))))

1熱度

1回答

只關心返回值的函數契約？

假設以下瑣碎的功能： (define/contract (foo func) (-> (-> any/c ... any/c) #t) #t) 這是試圖（和失敗）表達的想法「富需要一個處理器功能我不在乎（這是調用程序作業）處理器需要什麼論點，但處理器必須返回一個單一的結果。「 foo的正確合同是什麼？我已經完成了關於職能合同的章節。以上是我第一次的猜測，但這種失敗： (fo

0熱度

1回答

如何爲非空哈希表製作合同

球拍有non-empty-listof合同，但沒有non-empty-hashof合同。有沒有辦法建立一個？

0熱度

1回答

喜歡類型化球拍的遞歸合同「建議」型

類型化球拍的Rec類型是一種簡單的方法來進行遞歸類型： #lang typed/racket/base (define (deep (n : Integer)) : (Rec T (U Integer (List T))) (if (zero? n) n (list (deep (- n 1))))) 有沒有類似的方法，使一個遞歸合同？球拍的recursiv

0熱度

2回答

爲什麼DrRacket在if if爲真後輸出我的參數

(define (fakultaet n) (if (= n 0) 1 (* n (fakultaet (- n 1))))) 爲什麼(fakultaet 3)給我解決方案（6）而不告訴它打印它？它是如何在DrRacket中工作的？

1熱度

1回答

Sxml與xexp有什麼區別，爲什麼我應該使用哪個？

球拍支持多種XML相關的格式，其中包括兩種不同的XEXP庫基於結構定義以及基於列表SEXP庫。我想定義和讀寫富文本一個簡單的基於XML的交換格式，沒有任何特殊的驗證或DTD的。目的是使格式與其他實現語言兼容，併爲我自己的工作提供未來證明。（這是關於爲了避免對專有和無證WXME格式，這可能在未來造成巨大的問題，如果我改變實現語言的依賴性導出文本％剪的內容。）哪個庫和格式應我用這個？ xexp或

1熱度

2回答

刪除球拍編程語言中的非空目錄

如何刪除球拍中的非空目錄？當我調用這個API （刪除目錄DIR），其中dir是「/用戶/蘋果/庫/ Application Support/AOI」。有人告訴我：exn found：＃（struct：exn：fail：filesystem：errno delete-directory：無法刪除目錄 path：/ Users/apple/Library/Application Support/ao

0熱度

1回答

球拍。從列表中創建一對列表

我想列出從列表開始的一組列表，cdr總是相同的。例如，(make-pair '(1 2 3 4 5))應返回'((1.a)(2.a)(3.a)(4.a)(5.a))。這是我正在開發的代碼，但它不工作，我不知道如何調試它。 (define (make-pair lst) (if (null? (car lst)) '() (cons ((car lst) ".a")

0熱度

1回答

如何獲得與邏輯編程和，而不是價值最高的工作和>

這是結構約邏輯編程和解釋計算機程序的這是理解如何獲得最高的一個簡單的問題值。這是一個示例數據庫： ((is-student Anna) (is-student Bart) (is-student Charlie) (is-student David) (is-student Eddy) (is-student Fanny) (has-points Anna 73) (has-p

1熱度

1回答

球拍。爲什麼它不加載數據「需要」的時候，數據anoter文件

我在一個文件中有這樣的定義（該文件的名稱是ExamplesFile.scm）： (define examples (with-input-from-file "examples.scm" read)) 我明白數據加載和存儲在變量examples 如果我執行： examples 在迭代窗它給出了在文件「examples.scm」的數據。這工作正常。後來，在位於同一目錄的另一個文件我寫：