堆棧內存溢出
cost 109 ms
在 typed/racket 中鍵入注釋變量 arity function

[英]Type annotating variable arity function in typed/racket

我正在嘗試在 typed/racket 中鍵入注釋以下 function。 由於 add 是一個變量 arity function，我將輸入類型指定為 Any *。 由於 map function 返回結果列表，因此它的類型可能為 (Listof Any)。 所以我嘗試用(: add (-> ...

Racket/TypedRacket 中的求和類型

[英]Sum types in Racket/TypedRacket

與 Haskell 的求和類型對應的 Racket/TypedRacket 是什么？ 例如： data MusicGenre = HeavyMetal | Pop | HardRock data MusicGenre = HeavyMetal | Pop | HardRock ...

應用於 Typed Racket 中可能為空的列表

[英]Applying to potentially empty lists in Typed Racket

以下在untyped racket中是沒有問題的： 結果是pict包含三個不同顏色方塊的圖片。 但這在 Typed Racket 中是不可能的。 首先， for/list需要一個類型注解： 但是， (curry apply hc-append)的類型和(for/list …)形式的結果不一致： 這個 ...

如何在打字球拍中使用`eval`？

[英]How to use `eval` in typed racket?

我在 repl 中以(time (eval......))的形式評估了一個表達式（在啟動時使用-I typed/racket ），並且出現了一個錯誤： 如何指定eval結果的數量和類型？ 我試過使用cast和assert ，它們產生了新的錯誤。 ...

在 Typed Racket 中創建新的數字類型

[英]Creating a new numeric type in Typed Racket

Noob Racket/Typed Racket 用戶在這里。 我想定義一個自定義類型，它表示從 0 到 1 的任何浮點數。 有誰知道如何創建這樣的類型？ 感謝您的幫助！ 搜索了 Typed Racket 文檔，但找不到某些類型的源代碼，例如 Positive-Real。 ...

Typed Racket 命題的奇怪類型不匹配錯誤

[英]Strange type mismatch error with Typed Racket propositions

我在 Typed Racket 中試驗命題，遇到了一個我以前從未見過的類型錯誤，並且無法做出正面或反面的判斷。 示例代碼：#lang typed/racket/base (require racket/fixnum) ; Version of fx= that takes two or more ...

球拍（lisp）錯誤：預期可以應用於 arguments 的程序

[英]racket (lisp) error: expected a procedure that can be applied to arguments

有誰知道為什么即使計算正確也會導致 LISP 錯誤？ print_pascal 例程確實返回一個#f ，它可以返回一些東西。#!/usr/bin/racket #lang racket/base (define (pascal_value row column) (cond ((< r ...

如何鍵入注釋 function 可以將任何內容作為參數，並且 output 可以將任何內容作為值（參數多態性）？

[英]How to type annotate a function that can take anything as argument, and can output anything as value (parametric polymorphism)?

我需要將 function 綁定到結構的屬性。 我使用的是typed racket ，所以這意味着我還需要輸入注釋說 function。 這個 function 可以是任何function。 arguments 或它們的類型無關緊要。 它返回的值是什么或它的類型並不重要。 我正在尋找一種方法來注 ...

在類型化球拍中使用哈希聯合

[英]Using hash-union in typed racket

我正在使用 Typed Racket 中的 hash 表，並嘗試使用來自racket/hash的（無類型） hash-union function 。 使用require/typed將其導入我的模塊並調用它將通過類型檢查器並編譯。#lang typed/racket/base (require/t ...

多態函數“汽車”不能應用於參數

[英]Polymorphic function `car' could not be applied to arguments

我想在eopl中使用typed/racket實現“LET”語言，但遇到問題：我嘗試實現三個函數（empty-env、extend-env、apply-env），但不知道怎么做標注類型信息，racket 無法自動推斷出這三個函數的類型。 我嘗試使用any，但還是遇到了問題： 球拍提示的錯誤是： ...

將球拍源代碼字符串轉換為球拍代碼

[英]Convert String of Racket Source Code into Racket Code

我正在編寫一個系統，客戶端將代碼發送到服務器（在球拍中實現）以執行。 代碼作為字符串接收。 我需要將該字符串轉換為它所代表的球拍代碼並執行它。 提取代碼后，代碼內的任何定義都需要可用。 當我運行以下命令時，我按預期返回1 。 但是，如果我嘗試將字符串保存在變量source中，我會返回source: ...

如何在 Typed Racket 中斷言（listof？string？）謂詞

[英]How to assert (listof? string?) predicate in Typed Racket

我有一個類型化球拍程序中的可選字符串列表，即 statements : (Listof (Option String)) 我有另一個接受(Listof String)函數，我知道除非引發異常，否則語句中的所有字符串都存在。 我想斷言這個事實，但我不知道如何斷言像(listof? string?) ...

“n”在Typed Racket中是什么意思？

[英]What does `n` mean in Typed Racket?

n出現在錯誤消息的類型級別，它是什么？ 例子： (: trick (All (t u) ((U t (Listof u)) -> (Listof u)))) (define (trick x) (cond [(list? x) x] ) ) ...

是否可以通過映射函數和 lambdas 使 Typed Racket 推斷類型？

[英]Is it possible to make Typed Racket infer types through mapping functions and lambdas?

在我對這個問題的回答中，我發現您似乎經常需要將類型注釋添加到 arguments 到用作 arguments 的匿名函數到映射函數： map 、 foldl等。 這是兩個簡單的例子（所有這些都假設#lang typed/racket ，我使用的是 Racket 8.0）。 我希望這個工作： 但它沒 ...

在 Typed Racket 中轉換為任意類型折疊樹

[英]Casting to arbitrary type in Typed Racket folding a Tree

我正在嘗試生成一個類型化的 Racket 過程，對於某些類型A ，它需要一個Tree和一個 function 從兩個A到一個A ，另一個A類型的參數，並返回一個A類型的值。 我對(All)語法不是很熟悉，但我嘗試使用它。 不幸的是，我的代碼在構建時產生以下錯誤消息： 我的代碼： 我試圖簡化 func ...

有沒有一種在打字球拍中表達 Null 的慣用方式？

[英]Is there an idiomatic way of expressing Null in typed racket?

我想在 typed/racket 中使用 struct 定義一個類型。 例如： 假設我想用一些 ('()|void|#f|...) 值初始化一些字段（比如line ），然后稍后更新字段（ a-node-line ）。 我一直在尋找一種慣用的方式，一般是在搜索引擎上，同樣，在這里，我還沒有找到令人滿 ...

向球拍中的類添加類型注釋

[英]Adding type annotations to classes in racket

試圖完成康威在球拍中的生命游戲的實現，我正在為所有內容添加類型。 我無法弄清楚我需要做什么才能從正確鍵入的 gui lib 中獲取類。 我在下面收到此錯誤 我認為這是因為 canvas 通常沒有 grd 字段，但每次我嘗試給我的 canvas 類型聲明(: cv (Instance new-canv ...


排序:
質量:
 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM