racket

0熱度

1回答

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

0熱度

1回答

濾除字段值出defiined類型（列表具有未知長度）

圖像I定義的這種類型的： (define-type Example [E1(salary number?)] [E2(salary number?) (age number?)] [E3(salary number?) (name string?)] [E4(random number?)]) 現在我得到與某些實施例類型的列表，像 (define e1(

2熱度

2回答

在列表球拍中計數數字

我有疑問，我使用的是球拍，我想列出一個列表的數字，但我不能。我試着用長，但我想，因爲（countDigits「（4 5 6 78））> 5 的答案是5這是行不通的，但我不知道怎麼樣，我有一個數字計數的代碼，但我不知道如何在列表中執行。 ¿我該怎麼做？

4熱度

2回答

如何設置語言HTDP/BSL在REPL

我有以下htdp/bsl程序保存爲example.rkt： #lang htdp/bsl (+ 1 1) 當上述使用racket example.rkt運行時，輸出爲預期（即2）。然而，當我嘗試使用htdp/bsl作爲語言（racket -I htdp/bsl）啓動REPL，出現以下錯誤： Welcome to Racket v6.3. default-load-handler: can

0熱度

1回答

Datalog代碼在Racket中不起作用

我想將this Prolog code移植到Racket中的Datalog，使用this page底部的示例。 #lang datalog edge(a, b). edge(b, c). edge(c, d). edge(d, a). path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Z), path(Z, Y). path(X, Y)?

0熱度

1回答

壞語法錯誤使用#lang普拉伊

我對這段代碼 deleted ，更具體地說，這個錯誤得到一個不好的語法錯誤定義類型： xxx:22.0: define-type: bad syntax in: xxx #(739 316) 我新的語言，所以任何人都會友善地告訴我我的代碼有什麼問題，以及如何擺脫錯誤？

1熱度

1回答

GUI組件佈局/方案

我使用下面的代碼爲一個小的GUI程序： #lang racket/gui (define ff (new frame% [label "Adjust widths"] [height 100] [width 300])) (new message% [parent ff][label "testing"]) (new text-field%

0熱度

1回答

如何在不以根用戶身份運行的程序中以root身份寫入文件？

我有一個程序，不應該作爲根運行，因爲它根據用戶的名字和其他東西做事情。但是，我可能需要編寫一個（並且應該）只能以root身份寫入的文件。我可以做什麼，但寧可不寫，將文件寫入一些臨時文件，然後(system "sudo mv /tmp/myfile /destination/myfile")。這將sudo要求輸入密碼，以root身份移動文件，然後該程序將繼續以普通用戶身份運行。如果用戶不能使用su

1熱度

1回答

試圖用redex定義一種小語言

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

0熱度

1回答

測試使用PLT-歸約

我是新來的球拍，我在使用REDEX特別感興趣的語義時只生成以及類型的條款。我已經爲皮爾斯的類型和編程語言書中的類型化算術表達式做了一個小模型。該代碼是在以下要點：https://gist.github.com/rodrigogribeiro/e0fd3e1e3ff017b614dcfeee9f9154e0 當我試圖測試屬性，如進展和保存，我想檢查測試覆蓋了多少代碼，所以我運行以下，如在教程中： (