文件開頭無用的種類相等錯誤
[英]Unhelpful Kind equality error at the start of file
我收到一個錯誤 我不知道為什么b和約束(Set b, Set s)被匹配？ 我希望約束能夠存在性地量化 b 類型，但為什么它會匹配它們呢？ 我相信在收到錯誤之前我更改的最后一件事是將 OpOutcome 添加到 class。 這是代碼 編輯：更小的版本，感謝 Krzysztof Gogolewski ...
類型級別集的傳遞“子集”類
[英]Transitive 'Subset` class for type-level-sets
賞金將在 2 天后到期。 這個問題的答案有資格獲得+50聲望獎勵。 ShapeOfMatter想引起更多人對這個問 ...
如何在 Nim 中為 kind 變體編寫輔助符
[英]How to write accesors for kind Variants in Nim
嘗試編寫訪問器以獲取具有 kind 成員的對象的值，我在宏中收到無效的縮進錯誤我不知道為什么 我想我可能會錯誤地構建宏，但是如果有更好的方法來抽象對象中的類型，那么知道它會很棒。 這是我正在工作的實現： 變量對象“Value”的宏訪問器 這是我得到的輸出：是否不可能在另一個宏中調用宏？ ...
接受任何類型的參數（如：boolean、字符串、浮點數..等）
[英]An argument that accepts any kind of Types (like: boolean, string, float.. etc)
我在這里有這個代碼： 我在這里需要的是創建一個帶有通用嬰兒車的單一程序，該程序接受任何類型的輸入類型並將它們保存到注冊表.. 這是訣竅： 我應該為參數AValue做什么？ 有沒有一種聰明的方法可以告訴我的 Delphi IDE 接受我在上面的TRegistryKindResult記錄中定義的 5 ...
什么是“用於種類的系統 FC2 語法”？
[英]What is a "System FC2 grammar for Kinds"?
我正試圖圍繞這篇關於ConstraintKinds擴展的博客文章。 評論區有一個帖子，我完全不明白。 這里是： 亞當 M 說： 2011 年 9 月 14 日 19:53 UTC 哇，這聽起來很棒。 它是否計划成為官方GHC 7.4的一部分？ 另外，這是否意味着您在系統 FC2 語法中為 Kind ...
如何正確訪問“約束”類型？
[英]How do I access the `Constraint` kind properly?
我正在玩 GHCi 中的ConstraintKinds 。 在鏈接的帖子中，我發現了一個很好的例子： 但我無法讓它工作。 GHCi 自由輸出Constraint類型，不允許我同時使用它。 IE。 這是我完整的 GHCi session （我不太確定我知道正確的詞；如果有合適的術語，我會感謝讀者 ...
如何在 Haskell 中使元組成為此 class 的實例？
[英]How can I make tuples an instance of this class in Haskell?
我一直在閱讀“我希望在學習 Haskell 時知道的內容”這本書，我在這個例子上停了下來： 我的問題是：如何創建 class 的實例？ 這個想法是將 function 稱為： 我最接近做到這一點的是： 但它不起作用，它會引發錯誤： ...
使用新的 gfortran 版本具有不同種類參數的 iand
[英]iand with different kind parameters using new gfortran version
我目前正在使用舊代碼，該代碼使用不同類型的整數作為參數調用iand函數。 下面是代碼包含的一個小例子： gfortran 8 及更早版本作為擴展能夠使用不同類型的整數調用 iand（例如，請參見此處），而此選項在 gfortran 9 中已刪除（請參見本站點）。 例如，使用 gfortran ...
Haskell 類型系統與類型系列和多參數類型類
[英]Haskell kind system vs type families and multi param type classes
在 Haskell 中，我發現很難完全掌握類系統的目的，以及它真正為語言添加了什么。 我知道有種類會增加安全性。 例如，考慮fmap :: (a -> b) -> fa -> fb與它的單一版本fmap2 :: (a -> b) -> p -> q 。 我的理 ...
什么 GHC/Haskell 規范說自由類型構造函數匹配最右邊的類型？
[英]What GHC/Haskell specification says that free type constructors match rightmost types?
最近，當我試圖將帶有一個綁定類型 var 的類型* -> * -> *的構造函數傳遞給期望* -> *的構造函數的 function 時，我措手不及。 具體來說，它是沿着將(\x -> (x, 42)):: (forall a. a -> (a, Int))傳遞到fo ...
為什么Option [Try [_]]不符合F [_]？
[英]Why does Option[Try[_]] not conform to F[_]?
所以有這樣的事情： 我現在想做這樣的事情： （如果我在class TryOptWrapper extends IntWrapper[Try[Option[_]]]聲明了特征擴展，則與此相同） 現在，也許最有趣的是，這可行： 現在，是否可以做同樣的事情-即使用類型參數 ...
了解數據類型，類型類的簽名，並使數據類型成為類型類的實例
[英]Understanding signature of data type, typeclass, and making a data type an instance of a typeclass
正在閱讀學習Haskell為您帶來偉大的成就！ 並且在理解實例和種類方面遇到了很大的麻煩。 問題1：因此， Tofu t的類型t充當具有類型簽名(* -> (* -> *)) -> *的函數？ tofu的整體特征是* -> * ，不是嗎？ 因為(* -> ...
表達無限種類
[英]Expressing infinite kinds
在Haskell中表達無限類型時： 可以使用newtype來執行此操作： 是否有newtype等效種，允許一個表達無限種？ 我已經發現我可以使用類型族來獲得類似的東西： 但我對這個解決方案並不滿意 - 與同等類型的產品不同， Inf不會創造一種新類型（ Inf x有 ...
用GHC類型級別的文字替換自建的自然
[英]Replacing self built Naturals with GHC type level literals
我寫了一些代碼，它采用異構列表並對其進行索引。 為此，我實現了自己的Nat和Natural類型。 Nat存在僅僅是為了提升到種類水平而Natural存在以實現Nat -> Type 。 現在，我寧願用GHC.TypeLits “ Nat樣的，而不是我自己的。然而，當我嘗試了 ...
未找到 Kind 編譯器插件 λ
[英]Kind compiler plugin λ not found
我已經啟用了 kind 編譯器插件addCompilerPlugin("org.spire-math" % "kind-projector" % "0.9.6")我現在可以使用? 符號例如Map[String, ?]但是 Lambda 和 λ 沒有被解析。 val f: Id ~> Futu ...
應用Type以外的類型級參數
[英]Application of type-level arguments of Kind other than Type
我希望能夠明確地將類型以外的Type的參數應用於虛擬構造函數，僅用於文檔目的。 但是TypeApplications似乎不支持這種情況： {-# LANGUAGE GADTs, PolyKinds, ScopedTypeVariables, TypeApplications #-} dat ...
類型族強制參數具有種類*
[英]Type family forcing parameter to have the kind *
這個簡單的代碼無法編譯 錯誤消息是 從某種意義上說，我實際上定義了“類型家庭”，但我並不真正理解為什么會存在這種限制。 確實可以，但是它沒有相同的語義，因此不能使用相同的語義。 ...
將類型參數限制為Monoid
[英]Restricting type parameter to Monoid
我之前已經定義了一個函數，它接受了一個Maybe s列表並將其轉換為Maybe的列表，如下所示： 現在我想重新定義它與更大類的容器兼容，而不僅僅是列表，我發現它需要實現foldr ， mappend ， mempty ， fmap和pure函數; 所以我認為以下類型行是合適的： ...
*（星號）或其他種類在黑線鱈的實例列表中是什么意思
[英]What does * (star) or other kinds mean in an instance list of haddock
瀏覽各種軟件包的平台時，我經常會看到類似以下示例文檔（ Control.Category ）： 或此（ Control.Monad.Trans.Identity ）： 善意簽名在這里到底是什么意思？ 它沒有顯示在源代碼中，但是我已經注意到它似乎發生在使用PolyKinds擴展的 ...