racket

0熱度

1回答

我是新來的計劃，很難與汽車和司機使用。我在AST中有一個AST字符串字面值。 (define ast '(program ((assign (var i int) (call (func getint void int)())) (assign (var j int) (call (func getint void int)())) (while (neq (var

0熱度

1回答

在球拍中定義單精度變量

我必須在球拍中運行一些我從未使用過的運算。我該如何強制它計算一個或一半（如果有的話）精度浮點數？我想通了，如何使它在大彩車計算： (bf/ (bf 1) (bf 7)) 我知道，浮動的縮寫（雙精度）是FL。儘管如此，我無法弄清楚單個花車的正確縮寫。

1熱度

1回答

爲什麼在（匹配）中沒有（dict（k v）...）模式？

初學者問題在這裏，我只花了幾個小時的語言。球拍dictionaries，通過哈希表來實現，對列表等的(match)功能識別(hash-table (pat pat)...)，(list-no-order pat...)等，但不(dict (pat pat)...)。我認爲這對於dict接口上的模式匹配會有幫助，因爲有相同的理由，它有用的接口。其疏忽表明情況並非如此。誰能告訴我我錯過了什麼？如果

1熱度

1回答

Racket布爾參數的正確命名約定是什麼？

如果我們有一個布爾值來定義是否自動接受，我們將其稱爲auto-accept?。如果我們有一個定義某種顏色的參數，我們將其稱爲color-param。我們將如何調用定義布爾值的參數？ auto-accept?-param，因爲它是'參數化'布爾值？ auto-accept-param?甚至只是auto-accept-param，因爲參數是一個參數，而不是一個布爾值？

2熱度

1回答

帶謂詞函數的圖搜索，跟蹤跳數限制

以下代碼搜索圖並根據作爲參數傳遞的謂詞函數返回true或false。該圖以鄰接表的形式表示。假設圖形不包含循環。代碼： (define (search predicate? key) (define value-list (lookup key)) (if (not (empty? value-list)) (if (findf predicate? valu

1熱度

1回答

元數不匹配構建子記錄類型

我有一個point記錄類型定義如下時： (define-record-type point (make-point x y) point? (x point-x) (y point-y) ) 現在，我想擴展point記錄類型，定義了一個新的記錄類型如下： (define-record-type cpoint (make-cpoint col

0熱度

1回答

geiser-eval-buffer切換到不同的幀

我正在嘗試geiser，並在評估它總是切換到與我的源代碼不同的緩衝區不同的幀。這可以防止嗎？在我當前的緩衝區中按C-c C-b後可以保留嗎？

1熱度

1回答

試圖用redex定義一種小語言

我正在關注Redex的amb tutorial，並且同時爲皮爾斯類型和編程語言中的類型化算術表達式構建了一個模型。我已經定義了這種小語言的語法和類型系統，但我很難定義它的小步語義。在我解決問題之前，讓我介紹一下迄今爲止的定義。首先，我定義了語言的語法。 (define-language ty-exp [E (ttrue) (ffalse) (zero)

3熱度

1回答

如何使用自定義＃％module-begin來維護定義功能？

我想對我的自定義語言生成的字符串進行操作，例如顯示它們。我已經創建了一個模塊，像這樣開始： (define-syntax (module-begin stx) (syntax-case stx() [(_ EXPR ...) #'(display (apply string-append (filter string? (list EXPR ...))))]))

0熱度

1回答

球拍

我的新球拍郎和處理原始二進制數據之前，我寫幾千行代碼在C++，Java和C.我試圖找出如何做到以下任務：給定一個數組（如C uint8_t數組）以下格式：第一個字節是用來表示「格式」，讓我們說，這可能是0X0A，0x0B中等等。剩餘數據可能包含沒有空終止符和整數的C字符串。編寫一個函數來解析數組並將值放入一些變量中。之前詢問這裏，我讀：https://docs.racket-lang.o