在 Scala 3/Dotty 中，是否可以編寫一個以具有唯一路徑的值作為參數的種類/類型構造函數？

[英]In Scala 3/Dotty, is it possible to write a kind/type constructor that takes a value with a unique path as an argument?

這是我的意圖的一個簡單示例： 這是另一種（更簡單和更通用的）寫作方式： 但是編譯器不會讓我： 那么那種WOf的正確寫法是什么呢？ 更新 1 ：我可以推測 Scala 3 可以使用此類型構造函數來表示以下定義的 Eta 擴展多態 function： 我只是不知道它是什么，是否有任何理由 Scala ...

將通用函數參數轉換為具有通用特征的“Arc”

[英]Converting a generic function argument to an `Arc` with a generic trait

是否有可能擁有一個帶有通用參數的函數，該函數將該參數轉換為具有通用特征的Arc ？ 像這樣：struct Foo<TypeOrTrait> { arc: Option<Arc<TypeOrTrait>>, } impl<TypeOrTrait&g ...

類型 Arguments 和邊界 Scala

[英]Type Arguments and Bounds in Scala

我有以下示例： 導入 scala.concurrent.Future 由於以下原因導致編譯失敗： 我將測試 function 上的泛型類型綁定到 Option，並將特征綁定到 Future。 那么這里的問題是什么？ https://scastie.scala-lang.org/35pqGtqnQ ...

Scala 特征和方法參數的高級類型

[英]Scala Higher Kinded Types for Traits and Method Parameters

我有一個特征定義，它在像這樣實例化時包含副作用： 我的 Param 是 case class，它本身采用如下類型參數： 現在我的問題是，如果我將特征方法簽名更改為以下內容，這意味着什么： 如您所見，我在引用 Param 案例 class 的所有地方都有通配符。這是一個好方法嗎？ 我不想將我的接口與方 ...

這個類型定義中的冒號是什么意思？

[英]What does the colon in this type definition mean?

當我找到術語equality witness時，我正在閱讀有關 higher-kinded-types 的文章，我查找了一個示例並找到了這個類型定義：type ('a, 'b) eq = | Eq : ('a, 'a) eq 這里到底發生了什么？ 我認為該類型與以下相同：type ('a, 'b ...

如何在 scala 中對更高種類的類型執行等效的 T[Any]

[英]How to do the equivalent of T[Any] for higher kinded types in scala

上下文：這是使用 scala-3final case class TableSchema[T[_[_]] <: Table]( /* ... */ ) ...

編寫參數化方法，其中參數必須再次參數化

[英]Writing a parametrized method where parameter has to be parametrized again

我正在使用 java 中的 Websockets。 我必須實現一個接受通用消息處理程序的方法。 所以我這樣寫，它編譯。 但是當我嘗試更具體時，它會引發編譯時錯誤。 我得到的錯誤： 無法解析符號“T” '>' 預期。 我該如何解決這個問題？ MessageHandler 接口看起來像這樣，這 ...

使用 kind-projector 聲明用於批處理的自然變換

[英]Declare natural transform for batching with kind-projector

我有以下特點： 我嘗試對它應用所謂的批處理轉換，如下所示： 問題是它沒有編譯並出現以下錯誤： 有沒有辦法用種類的投影儀聲明像F[List[*]]這樣的東西？ UPD ：我發現了一些使用類型別名type ListT[F[_], A] = F[List[A]]的解決方法，這似乎可行，但有更自然的方法嗎 ...

在生命周期內具有輸出類型多態性的特征

[英]Function as trait with output type polymorphic in lifetime

我如何表達一個約束，比如 （上面的表達式不起作用，因為約束中不能有impl ） 如果這是不可能的，我能做些什么呢？ ...

Java 通用方法的通用

[英]Java Generic of Generic method

我想知道是否可以編寫一個方法來處理未定義類型的轉換，例如： 前提： 方法調用： 轉換方法本身： 但是語句 C< V > 沒有編譯並給我一個錯誤：Type 'C' doesn't have type parameters。 有任何想法嗎？ ...

如何將 Const 仿函數的 HList 轉換為 Seq？

[英]How to turn an HList of Const functors into a Seq?

我有一個像這樣的高級數據類型 和一個用某種字符串標記每個成員的值（例如 CSV 列的名稱）： 現在我需要以某種方式將colNames轉換為Seq[String] 。 當然有標准的 scala 方法productIterator ，但它只返回Iterator[Any] 。 使用 shapeless ...

scala - 特征成員中更高種類的類型：_$1 沒有類型參數，預期：1

[英]scala - Higher kinded type in trait member: _$1 takes no type parameters, expected: 1

當我有以下代碼時，我認為有些東西我不太明白： 類的名稱幾乎沒有意義，一般目標是在不定義參數類型的情況下在特征中擁有一個成員，以便將選擇延遲到實現（實際上是在DefaultLogging類中）。 ...

Java中函子的不動點如何實現

[英]How to implement fixed points of functors in Java

我最近發現了如何在 Java 中以某種迂回的方式模擬更高種類的類型 這里H編碼了一個更高種類的類型，它接受一個類型參數F ，它本身接受參數T 。 現在這讓我想知道，我們可以用它來實現一些更高級的結構嗎？ 例如，像Haskell 中的 Fix之類的函子的固定點及其相應的變態？ ...

OCaml 中的高階模塊

[英]higher order modules in OCaml

OCaml 仿函數將 OCaml 仿函數作為 arguments 或返回 OCaml 仿函數在手冊中從未提及。 是否存在阻止 OCaml 擁有高階模塊的技術原因？ ...

處理由仿函數參數化的數據類型

[英]Working with data types parameterized by a functor

我最近定義了一個類型，我可能無法計算其字段： 現在，我可能會做的一件顯而易見的事情就是使用liftA3 ： 這很好用，但我認為將Foo推廣到也持有Maybe s 可能會很有趣，然后將一種類型的Foo轉換為另一種類型。 在一些類似的情況下，我可以給Foo類型一個類型參數並派生 Traversable。 ...

使用復雜類型參數強制記錄的問題

[英]Problem coercing a record with complex type parameters

我有這個記錄： 而這個強制函數 這適用於記錄值沒有問題： 但是，如果我定義唯一稍微復雜的記錄 並嘗試像我以前那樣插入IdentityT包裝器 我收到錯誤： 在我看來， Env'采用的額外Identity參數不應該阻止coerce工作。 為什么在這種情況下coerce會失敗？ ...

類型級別集的傳遞“子集”類

[英]Transitive 'Subset` class for type-level-sets

賞金將在 2 天后到期。 這個問題的答案有資格獲得+50聲望獎勵。 ShapeOfMatter想引起更多人對這個問 ...

如何在 Scala 3 / Dotty 中實現 MapK 等類型？

[英]How to implement types like MapK in Scala 3 / Dotty?

我正在嘗試並未能在 Scala 3 中得到這樣的東西：type TupleK[K[*], V[*], A] = (K[A], V[A]) final class MapK[K[*], V[*]] private (val rawMap: Map[K[?], V[?]]) { de ...

使用 RIO 提供 Servant NoContent 響應

[英]Serving a Servant NoContent response with RIO

在我嘗試編寫一個經過身份驗證的 Servant API 時，處理程序使用RIO monad 而不是 Servant 自己的Handler monad，我被困在不返回任何內容的經過身份驗證的路由上； 即，Servant 的NoContent類型。 當我嘗試使用提升服務器hoistServerWithC ...

等效於 Functor 或 Foldable 用於更高種類的類型

[英]Equivalent to Functor or Foldable for higher-kinded types

考慮這段代碼，使用Functor和Foldable類型類： 是否有一些類似的類型類可以對更高種類的類型參數進行操作？ 例如： ...