scala-2.10

1зной

1ответ

Возможно ли создать экземпляр класса, переданного как параметр в общий признак в Scala?

У меня есть следующий код, написанный на Scala 2.10.0: trait A[T <: B] { self : { def foo() } => val action :()=>Unit = this.foo _ //wanna make default for this val construction :

0зной

1ответ

Сужение с помощью ClassTag

Я пытаюсь сузить общий тип. Он компилируется, но результат не является предполагаемым (Контейнер (A), Контейнер (B) ..) вместо (Контейнер (A), Контейнер (A)). Что я делаю неправильно? sealed trait Bas

1зной

1ответ

Uncurrying/tupling многомерный массив в Scala?

Скажем, у меня есть, например, двумерный массив, и я храню некоторые индексы в кортежах: val testArray = Array.ofDim[Double](3, 4) val ixs = (1,2) Я хотел бы использовать эти кортежи непосредственн

3зной

3ответ

Запуск Scala^Z3 с помощью Scala 2.10

Я установил Scala^Z3 на свой Mac OSX (Mountain Lion, JDK 7, Scala 2.10, Z3 4.3) успешно (после этого: http://lara.epfl.ch/w/ScalaZ3). Все шло хорошо, за исключением, что я не могу запустить ни одного

6зной

1ответ

Странная ошибка с более-kinded типов в Скале 2.10.0 (работает с Скале 2.9.2)

Этот код компилируется с Scala 2.9.2: trait HK { type Rep[A] def unzip1[A, B, C[_]](ps: Rep[C[(A, B)]]): (Rep[C[A]], Rep[C[B]]) def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1(ps) }

3зной

1ответ

Почему неявный класс Scala работает, когда одним из параметров типа должно быть Nothing?

Обновление: Я изменил пример, чтобы его можно было скомпилировать и протестировать. У меня есть неявный класс, который определяет способ обогащения: case class Pipe[-I,+O,+R](f: I => (O, R)); object

13зной

1ответ

Строковая интерполяция и макрос: как получить расположение StringContext и выражения

Я пытаюсь реализовать собственный метод интерполяции строк с помощью макроса, и мне нужно некоторое руководство по использованию API. Вот что я хочу сделать: /** expected * LocatedPieces(List(("\