Ссылка на тип аргумента, зависящий от пути, в типе другого аргумента для конструктора

У меня есть автоматы, у которых есть зависимые типы (я бы назвал их ассоциированными) для состояний и меток их переходов.

trait Automaton {
  type State
  type Label
  type Transition = (State, Label, State)
}

Теперь я хочу написать класс, который принимает в качестве аргумента автомат и функцию, выполняющую некоторый подсчет переходов на этом конкретном автомате. я бы написал:

class AutomataMagic(val aut: Automaton, val h: aut.Transition => Int) {

...
}

Однако это не компилируется. Могу ли я каким-либо образом указать, что я хочу, чтобы моя функция выполняла определенные действия с типом перехода этого автомата?

Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
1
0
83
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Я идиот. По-видимому, вы можете просто сделать это:

class AutomataMagic[A <: Automaton](val aut: Automaton, val h: A#Transition => Int) {}

Не делайте этого, это не означает, что вы думаете, и проекции типов устарели. Первый скомпилируется, если вы переместите функцию в другую группу параметров.

Luis Miguel Mejía Suárez 11.12.2020 15:02
Ответ принят как подходящий

В сообщении об ошибке все сказано:

illegal dependent method type: parameter may only be referenced in a subsequent parameter section

Как сказал Луис Мигель Мехия Суарес , вам нужно переместить h в другую группу параметров.

class AutomataMagic(val aut: Automaton)(val h: aut.Transition => Int) {}

Как ни странно, тот не работает (наверное из-за этого бага).

(Очень наивным) обходным решением будет это. Это не очень приятно, но, похоже, работает.

class AutomataMagic private(_h: Automaton#Transition => Int, val aut: Automaton) {
  val h: aut.Transition => Int = _h.asInstanceOf[aut.Transition => Int]
  def this(aut: Automaton)(h: aut.Transition => Int) =
    this(h.asInstanceOf[Automaton#Transition => Int], aut)
}

Обновлено: Луис Мигель Мехия Суарес предложил использовать черту с сопутствующим объектом. Вот моя интерпретация этого:

trait AutomataMagic[A <: Automaton] {
  val aut: A
  val h: aut.Transition => Int
}
object AutomataMagic {
  def apply[A <: Automaton](_aut: A)(_h: _aut.Transition => Int) = new AutomataMagic[A] {
    val aut: _aut.type = _aut
    val h = _h
  }
}

Кстати, первый фрагмент компилируется на Scala 3.


Кроме того, вы действительно не должны использовать это:

class AutomataMagic[A <: Automaton](val aut: Automaton, val h: A#Transition => Int) {}

Мало того, что A#Transition не имеет отношения к aut.Transition (по крайней мере, сделайте это aut: A), проекции типов несостоятельны и будут отброшены в Scala 3. Возможно, в данном конкретном случае для вас это не имеет значения, потому что Transition инвариантно, но это не безопасно.

Чтобы заставить это работать, мне, вероятно, потребуется выполнить какой-то другой рефакторинг, но это к лучшему и, вероятно, улучшит качество моего кода. Спасибо!

amandasystems 16.12.2020 10:02

Другие вопросы по теме