This code does not compile in Scala 3 since type projection on an abstract type is now invalid: trait Entity: type Key type Dictionary[T <: Ent ...
This code does not compile in Scala 3 since type projection on an abstract type is now invalid: trait Entity: type Key type Dictionary[T <: Ent ...
Scala3 has dropped general type projection because it was unsound: It was possible to compile code which was failing at runtime. (question edited to ...
I've scala - java polyglot project with scala version 2.13 Below is the standard project structure Below is the Collector.java Below is the Fun ...
Consider the following example: now I want to write a function the roughly speaking looks as which unfortunately is not a valid syntax. It is pe ...
Consider the following traits: Now I need to get a ClassSymbol of Test referring to it as Base#Action. Here is my attempt: In my case Base#Acti ...
I always thought that context bounds and implicit parameter lists behaved exactly the same, but apparently not. In the example below, I expect summon ...
I have a trait Location that I don't want to change. O can be a String or Seq[String] Here is what I want to achieve : And the expected result : ...
A simple value hierarchy Imagine this simple trait Value where every implementing class has a value of some type T. We have two different implemen ...
In my application, I have a closed set of operations that return a corresponding set responses as shown below. As far as my understanding of typ ...
I'm trying to write some validatable form interface in Kotlin. In the validation part I'm using https://github.com/kamedon/Validation. Here is the ve ...
EDIT: Added in information about F[_] Here's the setup. We have a parent class which contains a type, and a method which processes a type projection ...
I have been reading about Dotty, since it looks like it is about to become scala 3, and noticed that type projections are deemed "unsound" and removed ...
I am reading and trying to understand Kotlin type projections, sometimes I come up with confusing things like this: For contravariant type paramet ...
I had problem with writing proxy that could take and pass abstract type members from its originator. I got the error: Is that a fundamental scal ...
I am trying to write a Functor for Either for academic purposes in Scala. With help of higher-kinded types and type-projections, I managed to write an ...
I have a difficulty with restrictions on type projections in Scala. Assume I have the following code: What I actually want to achieve is to be able ...
I have a path-dependent trait declaring several modules. That is fine. However, I write a macro and I need to access those inner types and I am unable ...
Consider the following: seq2 doesn't compile since for some reason, type information of wrapped type String is lost when using type projection F#FA ...
I'd like to pass an object to a function that accepts an argument with a projected type, and get Scala to deduce that the object's type comes from the ...