6
ответов
Утиный ввод, это должно быть динамично?
Википедия раньше говорила* о вводе утки: В программировании с языками объектно-ориентированного программирования утиный ввод является стилем динамического контроля типов в который текущий набор объекта...
вопрос задан: 14 March 2014 21:42
3
ответа
C# имеет эквивалент структурному вводу Scala?
В Scala я могу определить структурные типы следующим образом: введите Pressable = {нажатие определения (): Единица} Это означает, что я могу определить функцию или метод, который берет в качестве аргумента что-то, что является Pressable...
вопрос задан: 14 May 2010 01:12
2
ответа
Пространство имен определило объем псевдонимов для универсальных типов в C#
Давайте иметь следующий пример: общедоступный класс X {} общедоступный класс Y {} общедоступный класс Z {} общедоступный делегат IDictionary <Y, IList <Z>> Панель (IList <X> x, интервал i); открытый интерфейс IFoo {...
вопрос задан: 23 May 2017 12:23
2
ответа
Scala - как определить структурный тип, который относится к себе?
Я пытаюсь записать, что дженерик интерполирует метод, который работает над любым типом, который имеет два метода, * и +, как это: Контейнер черты {тип V = {определение * (t: Дважды): V определений + (v: V): V}...
вопрос задан: 8 July 2010 07:48
2
ответа
Сопоставление с образцом структурные типы в Scala
Почему это печатает wtf? Разве сопоставление с образцом не работает над структурными типами? "привет" соответствие {случай s: {определение doesNotExist (я: Интервал, x: Список [_]): Дважды} => println ("wtf?") случай _ =>...
вопрос задан: 1 January 2010 08:26
1
ответ
Используя Scala структурные типы с абстрактными типами
Я пытаюсь определить структурный тип, определяющий любой набор, который имеет "добавить" метод (например, набор Java). Используя это, я хочу определить несколько функций высшего порядка, которые воздействуют на...
вопрос задан: 28 April 2010 03:36
0
ответов
Почему на Хаскеле нет записей со структурной типизацией?
Я слышал, что Хаскелл описал как структурную типизацию. Записи являются исключением из этого, хотя, как я понимаю. Например, foo не может быть вызван с чем-то типа HRec2, хотя HRec и ...
вопрос задан: 12 January 2014 05:39
0
ответов
Scala: разница между классом типов и ADT?
Каковы различия между классами типов и абстрактными типами данных? Я понимаю, что это базовая вещь для программистов на Haskell, но я из среды Scala и буду интересоваться примерами ...
вопрос задан: 29 September 2013 18:55
0
ответов
Почему интерфейсы должны быть объявлены в Java?
Иногда у нас есть несколько классов, которые имеют некоторые методы с одинаковой сигнатурой, но не соответствуют объявленному интерфейсу Java . Например, как JTextField, так и JButton (среди нескольких других ...
вопрос задан: 13 September 2012 18:07
0
ответов
Можно ли реализовать `??` (нулевой оператор объединения из C#) в Scala, который не использует отражение?
Я где-то нашел реализацию оператора объединения нулей C# '??': implicit def coalescingOperator[T](pred: T) = new { def ??[A >: T](alt: =>A) = if (pred == null) alt else pred
} ...
вопрос задан: 28 May 2012 16:05
0
ответов
Структурные типы и примитивы
Я играл со структурными типами Scala, когда обнаружил то, что мне кажется ошибкой. Вот мой код: введите toD = { def toDouble: Double }
def foo(t: toD) = t.toDouble
foo(5) И я получил...
вопрос задан: 6 April 2012 11:07
0
ответов
допускать несколько типов для параметра в scala
У меня есть два объекта, ObjectA и ObjectB, оба с методом update(). Я хочу написать функцию, которая принимает либо ObjectA, либо ObjectB (но не другие типы). Концептуально, это то, что я пытаюсь...
вопрос задан: 7 March 2012 23:54
0
ответов
Почему scala использует отражение для вызова метода на структурном типе?
Если функция принимает структурный тип, она может быть определена как: def doTheThings(duck: { def walk; def quack }) { duck.quack } или type DuckType = { def walk; def quack }
def doTheThings(duck: DuckType) {...
вопрос задан: 16 December 2011 19:55
0
ответов
Протоколы Clojure против структурных типов Scala
После просмотра интервью с Ричем Хики о протоколах в Clojure 1.2 и очень мало зная о Clojure, у меня есть несколько вопросов по протоколам Clojure: предназначены ли они для выполнения то же самое ...
вопрос задан: 30 January 2011 13:29
0
ответов
Why cannot this case of implicit conversions be optimized?
Why cannot Scala optimize the following: a. implicit def whatever[A](a: A) = new { ... } to: b. class some$generated$name(a: A) { ...
}
implicit def whatever[A](a: A) = new some$generated$name(...
вопрос задан: 6 October 2010 02:42
0
ответов
Funny observation about (recursive) structural types in Scala
I needed some recursive structural type in some piece of code using with traits and the structural type as type parameter constraint. It worked fine, but later I learned Scala does not support ...
вопрос задан: 4 September 2010 19:29