typed-racket

1熱度

1回答

據official docs，這是非常方便的通過 (require db) (define pgc (postgresql-connect #:user "example" #:database "exampledb" #:password "password")) 連接PostgreSQL的。然而，這並不在類型化的球拍工作（我有(requi

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熱度

1回答

一些關於打字球拍的項目

我在打字球拍上做了一些研究。爲了更好地理解打字球拍，我需要一些打字球拍項目。任何人都可以請給我一些鏈接，我可以找到一些類型的球拍源代碼。謝謝

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]

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

2熱度

1回答

類型化的球拍優化

我學習一些類型化的球拍的那一刻，我有幾分哲學的兩難境地：球拍宣稱自己是語言發展的框架和類型化的球拍是在它的基礎上實現的一個這樣的語言。該文檔提到，由於正在使用類型，編譯器現在可以做更多/更好的優化。的具體問題：在哪裏這些優化發生？ 1）在編譯/擴大部分（其是「可編程」作爲語言建築物框架的一部分） - 或 - 2）進一步向下的（字節碼）優化器的線（這是用C編寫的，不能通過框架直接修改）。如果

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）有人可以幫忙嗎？謝謝！