Имея опыт работы с Haskell, я сейчас пытаюсь познакомиться со Scala. Я столкнулся с некоторыми проблемами, пытаясь перевести небольшой расширяемый язык выражений из Haskell в Scala. Основная проблема написания типа данных, который может быть...

Предположим, я хочу предложить метод foo для существующего типа A вне моего контроля. Насколько я знаю, канонический способ сделать это в Scala — реализовать неявное преобразование из A в некоторый тип, реализующий foo . Сейчас я в основном...

Рассмотрим следующее: def f(implicit a: String, y: Int = 0) = a + ": " + y implicit val s = "size" println(f(y = 2)) Последнее выражение вызывает следующую ошибку: not enough arguments for method f: (implicit a: String, implicit y:...

Я использую библиотеку Spray JSON для сериализации наших классов case в JSON. Проблема в том, что у нас есть некоторые взаимно рекурсивные определения. Я работаю по примеру сериализации запечатанных признаков здесь:...

С таким типом, как trait A[T] , найти неявное в области видимости просто implicitly[A[SomeType]] Можно ли это сделать, и если да, то как это сделать, если параметр типа заменяется членом абстрактного типа, как в trait A { type T } ?

Учитывая этот (по общему признанию надуманный) фрагмент кода в Scala: object Main extends App { class X { def foo = 1 } def f[A](value: A)(implicit ev: A <:< X) = { value.foo } println(f(new X())) } Что делает компилятор...

Мне нужно преобразовать из Any в базовые числовые типы, такие как Int или Double. Я реализовал эти преобразования с помощью имплицитов Scala. Мой код похож на этот: def convertAny[T](any: Any)(implicit run: Any => Option[T]) =...

Вопросов по теме много, но после часа чтения так и не могу понять, что я делаю не так. Вот минимальный пример кода, который у меня есть (Scala 2.11): object Anomalies { sealed abstract class AnomalyType(val priority: Int)...