Использование `opaque type` в качестве класса типов в Scala

Есть идеи, почему это не компилируется: https://scastie.scala-lang.org/iPmLyim4Q8aQ2aMNIfj2gA

opaque type Global[Value] = Unit
object Global:
  def derived[Value]: Global[Value] = ()

case class Yo() derives Global

❗Playground.Global не является типом класса.

Но это так: https://scastie.scala-lang.org/d148ISEcQ8Swu96lH6JMCw

case class Global[Value]()
object Global:
  def derived[Value]: Global[Value] = Global()

case class Yo() derives Global

Что касается минимизации примера: обратите внимание, что trait Dimensions здесь не имеет особого значения: если заменить Dimensions[Value] на Unit везде, это все равно приведет к тому же поведению; Кроме того, object Dimensions: кажется отвлекающим фактором, и его можно удалить, не теряя сути.

— 08.06.2024 03:18

Спасибо, отредактировал по вашему предложению @AndreyTyukin

— 08.06.2024 05:04

github.com/scala/scala3/issues/19945 - см. ответ Мартина Одерски там

— 08.06.2024 08:53

scala typeclass scala-3 opaque-types

08.06.2024 02:54

Стоит ли изучать PHP в 2026-2027 годах?

Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...

Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией

В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.

Приемы CSS-макетирования - floats и Flexbox

Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...

Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest

В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...

Концепция локализации и ее применение в приложениях React ⚡️

Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...