Я читал о Dotty, так как похоже, что он скоро станет scala 3, и заметил, что проекции типов считаются "несостоятельными" и удаляются из языка ... Это кажется обломом, поскольку я видел несколько вариантов использования, в которых они были...

Я создал базовый проект Scala Dotty, используя шаблон Dotty, и импортирую его в IntelliJ IDE. Когда я использую sbt командную строку, все работает нормально. Когда я пытаюсь собрать или запустить его внутри IntelliJ IDE, я получил следующие...

Я клонировал dotty и добавил его в свой PATH (я пользователь Linux) после этого я создал проект HelloWorld с помощью dotty и попытался скомпилировать и запустить его с помощью команд dotc и dotr , как показано ниже: dotc HelloWorld.scala...

Я просматривал документацию по Scala 3. Они ввели ключевое слово given , которое считается альтернативой Scala 2 implicit . Код здесь trait Ord[T] { def compare(x: T, y: T): Int def (x: T) < (y: T) = compare(x, y) < 0 def (x: T)...

Какие изменения в выводе типов принесет Scala 3? В настоящее время в документации просто указано TODO . Например, Слабое соответствие Скала 2.13 scala> val i: Int = 42 val i: Int = 42 scala> val c: Char = 'a' val c: Char = a...

Расширение типов союзов обсуждалось здесь , но мне кажется, что найти ответ на следующий случай Начнем со следующего val x = List(1, 2, "a") Этот разнородный список выводится как List[Any] Так же, как в Scala 2. Однако...

Я не могу найти эквивалент SLS для Scala 3. Я пытаюсь постепенно привыкнуть к мышлению Scala 3 и писать новый код — и рефакторить старый при следующем изменении — так, чтобы его перевод на Scala 3 был простым. Некоторые текущие варианты использования...

В машинописном тексте это выглядит так type Option<T> = {some: T} | 'none' type Optional<T> = { [P in keyof T]: Option<T[P]> }; type Foo = {x: string, y: number} type OptionalFoo = Optional<Foo> const foo: OptionalFoo =...