1
ответ
отношения между зависимыми от предшествующего пути развития внутренними типами в Scala
Предупреждение: я осуществляю кросспостинг от #scala, книжное Программирование в Scala указывает, что зависимые от предшествующего пути развития типы отличаются в зависимости от точного экземпляра рассматриваемого пути. Если так, я не понимаю...
вопрос задан: 22 June 2010 11:29
1
ответ
Что предназначено зависимыми от предшествующего пути развития типами Scala?
Я услышал, что у Scala есть зависимые от предшествующего пути развития типы. Это относится к чему-то внутренние классы, но что это на самом деле означает и почему я забочусь?
вопрос задан: 22 April 2010 17:32
0
ответов
Ограничение операции путем сопоставления параметра типа с тип, зависящий от пути аргумента
Я хотел бы использовать систему типов Scala для ограничения операций в системе, в которой есть ссылки на версии для некоторых значений. Все это происходит в некотором транзакционном контексте Ctx, который имеет ...
вопрос задан: 1 May 2014 09:12
0
ответов
Тип возвращаемого значения, зависящий от пути Scala, из параметра
В следующем коде используется 2.10.0M3 в подключаемом модуле Eclipse 2.1.0 для 2.10M3. Я использую настройку по умолчанию, которая нацелена на класс JVM 1.5 GeomBase[T <: DTypes] { abstract class NewObjs {
...
вопрос задан: 20 June 2012 15:04
0
ответов
Являются ли зависимые от пути типы проекциями типов?
Сейчас я внимательно изучаю Scala. Вот выдержка из книги: Все типы, зависящие от пути, являются проекциями типов. Зависимый от пути тип foo.Bar переписывается компилятором как foo.type#Bar... ...
вопрос задан: 11 May 2012 15:48
0
ответов
Как импортировать внутренние классы без зависимости пути в Scala?
TL&DR: Можно ли (локально?) Отключить типизацию, зависящую от пути? Я хотел бы выпустить один оператор импорта, аналогичный import x._, но чтобы C ссылался на X # C, а не на xC (X - это тип ...
вопрос задан: 23 January 2012 00:56
0
ответов
Переопределение функций с параметрами типа, зависящими от пути
Редактировать: Благодаря тому, что Дерек указал на критическую часть сообщения об ошибке, я смог извлечь критическую часть еще немного, и кажется быть об экзистенциальных типах. Если я понимаю §3.2.10 ...
вопрос задан: 12 August 2011 19:07
0
ответов
Как я могу гарантировать во время компиляции, что мой метод вернет тот же объект, что и в Scala?
В классе Scala я могу удобно объявить возврат тип метода, который должен быть this.type, чтобы гарантировать, что он вернет тот же объект, для которого он вызван: class Foo {def bar: this.type = this
} ...
вопрос задан: 31 July 2011 03:30
0
ответов
Разделение плагина scalac на несколько файлов
Я хотел бы разбить мой плагин scalac на несколько файлов. Звучит просто, но я не знаю t удалось это сделать из-за проблем с типом, зависящих от пути, проистекающих из строки import global._. Вот Лекс ...
вопрос задан: 12 April 2011 17:44
0
ответов
Почему в Scala есть типы, зависящие от пути?
Я провел некоторое исследование типов, зависящих от пути . Лучшее описание, которое я смог найти для этого, было: Если L - метка типа, то xL и yL - это один и тот же тип, если и только если можно показать, что x и y относятся к ...
вопрос задан: 7 April 2011 13:26
0
ответов
Как эмулировать зависимый тип в Scala
Я пытаюсь определить универсальное кольцо классов остатков в Scala. Кольцо классов вычетов определяется некоторым базовым кольцом (например, целыми числами) и модулем (например, двумя), который является значением из базового кольца. Оба ...
вопрос задан: 14 October 2010 10:20