Описание тега ascription
Приписывание типов - это аннотации, ограничивающие механизм вывода типа.
5
ответов
Какова цель типовых надписей в Scala?
В спецификации не так много информации о том, что такое начертание типа, и, конечно же, там нет ничего о его назначении. За исключением того, что "заставляю прохождение varargs работать", для чего я буду использовать типовое обозначение? Ниже привед…
18 янв '10 в 15:51
2
ответа
Расширение структуры функторов и множественное присвоение в SML
Есть ли способ в Standard ML, чтобы заставить функтор выводить структуру, которая имеет все функциональные возможности переданной в структуре, плюс любые новые функциональные возможности. Подобным образом, возможно ли сделать множественную приписку?…
13 авг '11 в 17:32
3
ответа
Принудительная группировка начертания на подчеркивании в скале
Я пытаюсь сделать: MyObject.myMethod(_:MyType.myAttribute) Это не с type myAttribute is not a member of object MyObject что правильно. Проблема в том, что я хочу позвонить myMethod на myAttribute из _:MyTypeне приписывай MyType:myAttribute в _, Можн…
12 дек '12 в 01:23
3
ответа
Почему тип идентификатора не может быть специализированным для (для a. A -> a) -> (для b. B -> b)?
Возьмите скромную функцию идентичности в Haskell, id :: forall a. a -> a Учитывая, что Haskell якобы поддерживает непредсказуемый полиморфизм, кажется разумным, что я должен быть в состоянии "ограничить" id к типу (forall a. a -> a) -> (for…
05 окт '11 в 07:09
1
ответ
Автопоказ типов с использованием синтаксиса "значение: тип"
Когда я читаю учебник по отражению Scala. Я нашел синтаксис, очень похожий на следующий. import scala.reflect.runtime.universe._ typeOf[List[_]].member("map": TermName) Так что member функция занимает Name введите параметр, а затем "map": TermName п…
27 июл '19 в 01:01
2
ответа
Почему Flatten на вложенном Iterator не компилируется и зачем мне присвоение типа?
(new Iterator[List[Int]] { def hasNext: Boolean = ??? def next(): List[Int] = ??? }).flatten дает ошибку: value flatten is not a member of Iterator[List[Int]] [error] possible cause: maybe a semicolon is missing before `value flatten'? [error] }.fla…
02 июн '20 в 16:49