Описание тега dotty
Dotty - это платформа для опробования новых языковых концепций и технологий компиляции для Scala. Теория, лежащая в основе этих конструкторов, исследуется в DOT, исчислении для зависимых типов объектов. Ожидается, что со временем некоторые из новых технологий, исследуемых в этом проекте, найдут свое применение в будущих версиях Scala.
1
ответ
Скала Дотти Юнион Тип?
Используя плагин sbt dotty: addSbtPlugin("com.felixmulder" % "sbt-dotty" % "0.1.9") И работает sbt console, Я опробую новую функцию объединения типа: Starting dotty interpreter... Welcome to Scala.next (pre-alpha, git-hash: 606e36b) (Java HotSpot(TM…
08 мар '17 в 05:16
2
ответа
Как работает Дотти Десугар полиморфными методами?
Сообщается, что Дотти десагирует классы с параметрами типа в классы с членами типа, например: class C[T, U] { } // <=> class C { type C$T type C$U } Как Dotty desugar полиморфные методы, как в следующем примере? def m[T, U](x: T, u: U): T = x …
26 авг '16 в 16:45
1
ответ
Могу ли я кодировать в Dotty на немецком (или вообще) в IntelliJ?
Подозревая, что, по крайней мере, часть этого поста может быть шуткой, я решил установить Dotty на свой ноутбук с Linux и был удивлен и удивлен, обнаружив, что он кажется совершенно прямым - я смог получить функцию Фибоначчи, как указано на немецком…
11 апр '17 в 14:07
1
ответ
Тип аргумента конструктора класса Case в зависимости от предыдущего значения аргумента
Я пытаюсь сделать следующее trait Stateful { type State } case class SystemState(system: Stateful, state: system.State) // does not compile То есть тип stateзависит от (значение) system, Это, однако, не поддерживается: недопустимый тип зависимого ме…
13 мар '15 в 23:24
1
ответ
Исключение регистратора времени выполнения с dotty
Мой проект зависит от библиотеки логов scala, и я пытаюсь обновить свой проект, чтобы использовать dotty. Для этого я клонировал образец проекта dotty с https://github.com/lampepfl/dotty-example-project и обновил его, включая библиотеки журналов. По…
02 сен '18 в 06:50
4
ответа
Что именно Дотти?
Я читаю о Scala 3 и обнаружил дотти. Я пытаюсь понять, что это такое. Где-то я читал "Это новый компилятор", где-то я читал "Это часть Scala 3", а где-то я читал "Дотти - это новая Scala 3". Может кто-нибудь объяснить мне, что именно Дотти? В непроф…
26 июл '18 в 04:08
2
ответа
Ошибка компиляции Scala в IntelliJ: не удалось найти выходной каталог
IntelliJ IDEA (последняя версия сообщества) не может скомпилировать компилятор dotty с ошибкой: scala.reflect.internal.FatalError: Could not find an output directory for /src/contrib/dotty/scala-backend/src/compiler/scala/tools/nsc/backend/ScalaPrim…
27 янв '18 в 23:36
1
ответ
Запустите проект Scala Dotty, используя Intellij IDE
Я создал базовый проект Scala Dotty, используя шаблон Dotty, и импортировал проект в Intellij IDE. Все отлично работает, когда я использую sbt командная строка. Когда я пытаюсь собрать или запустить его в Intellij IDE, я получил следующие ошибки: Er…
11 июл '18 в 14:38
1
ответ
Как использовать dotty в проекте scala?
Я работаю над проектом Scala, который я использую sbt, Я хочу использовать типы соединений, которые предоставляются dotty, У меня проблемы с использованием dotty в моем проекте. Я сделал это: добавленной ./projects/plugins.sbt а также ./projects/bui…
09 апр '17 в 21:26
0
ответов
Что предлагает Дотти для замены проекций типа?
Я читал о Дотти, так как похоже, что она собирается стать scala 3, и заметил, что проекции типа считаются "несостоятельными" и удалены из языка... Это кажется обломом, так как я видел несколько случаев, когда они были действительно полезны. Например…
26 апр '18 в 12:58
1
ответ
Подтип типа Union в Scala
С Dotty я могу легко выполнять следующие действия: trait Ex {type T <: Int | Seq[Int]; def f:T} trait Ex2 extends Ex {override type T = Seq[Int]; override def f = Seq(2)} trait Ex3 extends Ex {override type T = Int; override def f = 2} Как я могу…
06 июл '16 в 13:07
1
ответ
Как Дотти изменит чисто функциональное программирование в Scala?
В этом вопросе 2013 года г-н Одерский отмечает, что "еще слишком рано говорить", смогут ли такие библиотеки, как Scalaz, существовать (по крайней мере, в их текущем состоянии) под Dotty из-за кастрации типов более высокого уровня и экзистенциальных.…
07 дек '16 в 02:15
1
ответ
Как полностью избежать отражения во время выполнения в Scala?
Обратите внимание, что это должен быть пост сообщества, и при необходимости следует добавлять примеры. Если вы не можете напрямую отредактировать ответ, чтобы добавить примеры (примеры проблем или решения), оставьте комментарий в виде ссылки на суть…
02 май '18 в 15:41
2
ответа
Разве Scala 3 не будет завершена по Тьюрингу?
Я присутствовал на следующем выступлении Мартина Одерского о будущем Scala: https://skillsmatter.com/skillscasts/8866-from-dot-to-dotty В 1:01:00 ответ на вопрос аудитории говорит о том, что будущая Scala не будет завершена по Тьюрингу. Я правильно …
31 окт '17 в 01:55
2
ответа
Оптимизация использования класса case в качестве символов
Я работаю с Java API, который передает идентификаторы в виде строк. Мне кажется, немного лучше использовать для этого печатные символы, поэтому я написал это: object Helpers { implicit def actionToString(action: Action): String = action.getClass.get…
19 июн '17 в 20:03
1
ответ
Есть ли связь между компилятором Scala Dotty и проектом Нада Амина Dependent Objects?
Мы видели, как Мартин Одерски объявил о Dotty Compiler - возможном будущем компиляторе для Scala без всего багажа. Мы также видели, как Нада Амин выпустил исчисление зависимых типов объектов (Dot Calculus), которое было реализовано в Scala. Мой вопр…
22 фев '14 в 23:30
3
ответа
Scala Неявное преобразование для Lambdas
Я пытаюсь понять неявные типы функций по ссылке - http://www.scala-lang.org/blog/2016/12/07/implicit-function-types.html Ниже приведен пример кода в качестве примера. В приведенном ниже коде мы сначала создаем класс Transaction. class Transaction { …
06 апр '18 в 10:53
0
ответов
Скала Играть с Дотти
Я смотрел, как заставить существующие проекты использовать компилятор Dotty. Это было просто для небольших проектов после этого. https://github.com/lampepfl/dotty-example-project Это устанавливает версию Scala на 0,2.x. Что означало бы, что SBT не м…
27 июл '17 в 06:24
0
ответов
Использовать синтаксические деревья Scala из внешнего инструмента
Я хотел бы разработать инструмент, который будет использовать синтаксические деревья скала (как следует из названия). Точнее, было бы здорово, если бы я мог потреблять деревья после каждой фазы компиляции. Мои исследования привели меня к формату обм…
04 дек '17 в 23:33
0
ответов
Запутался, как использовать Dotty для настройки Scala на VSCode
Кто-нибудь знает, как использовать Dotty для настройки Scala на VSCode? Я посмотрел на этом сайте http://dotty.epfl.ch/, но я все еще не понимаю, как использовать Dotty для настройки Scala на VSCode. Кстати, я на компьютере с Windows. Любая помощь с…
08 фев '19 в 21:13