3
ответа

Что такое “контекстно-зависимое” в Scala?

Одной из новых возможностей Scala 2.8 являются границы контекста. Что такое контекстно-зависимое и где это полезно? Конечно, я искал сначала (и нашел, например, это), но я не мог найти, что любой действительно очищается...
вопрос задан: 23 May 2017 12:32
0
ответов

How do I get an instance of the type class associated with a context bound?

Note: I'm posing this question to answer it myself, but other answers are welcome. Consider the following simple method: def add[T](x: T, y: T)(implicit num: Numeric[T]) = num.plus(x,y) I can ...
вопрос задан: 23 May 2017 12:15
0
ответов

Сокращение контекстных границ с более высокими родственными типами

Можно ли использовать сокращение синтаксиса контекстных границ с более высокими родственными типами? trait One {def test [W: ClassManifest]: Unit} // нормально первого порядка trait Two {def test [W [_]: ClassManifest]: Unit} ...
вопрос задан: 27 September 2013 19:54
0
ответов

Ситуации, когда манифест недоступен

def bar [T: Manifest] (a: Array [T]) = Array.ofDim [T] (3) class Foo bar (Array (new Foo)) // Array [Foo] = Array (null, null, null) Кажется, что манифесты неявно существуют для произвольных типов, как показано выше. ...
вопрос задан: 16 January 2013 19:49
0
ответов

Какова причина ограничения на комбинирование неявных параметров и границ представления / контекста?

Одна из недавних фиксаций в мастере Scala снимает ограничение на комбинирование контекста / границы просмотра с неявными параметрами. Это большое улучшение, которое сокращает количество шаблонов, но что было ...
вопрос задан: 8 October 2011 17:01
0
ответов

«:» в параметре типа

В проекте scala-arm я вижу такой код: def managed [A: Resource: Manifest ] (открыватель: => A): ManagedResource [A] = new DefaultManagedResource (открыватель) Может кто-нибудь объяснить значение [A: ...
вопрос задан: 26 September 2010 21:02