Результаты поиска по запросу "type-inference"
Как GHCi выбирает имена для переменных типа?
При использовании интерактивного интерпретатора GHC можно запросить предполагаемый тип выражения: Prelude> :t map map :: (a -> b) -> [a] -> [b]Кажется, что он берет имена переменных типа из сигнатуры, так какmap ...
stackoverflow.com/questions/38549174/...
ли наложить ограничение неравенства на переменные типа функции, а ляfoo :: (a ~ b) => a -> b как вСемейные документы типа GHC [http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/type-families.html]кроме неравенства а не равенства? Я ...
). Нечто подобное возможно в Scala с использованием неявных параметров.
ел бы понять ключевое различие между параметрическим полиморфизмом, таким как полиморфизм универсальных классов / функций в языках Java / Scala / C ++ и "специальным" полиморфизмом в системе типов Haskell. Я знаком с языками первого типа, но я ...
@scottm: не соответствует действительности - для методов расширения существует другая логика разрешения (см. мой ответ на этот вопрос)
я простойMoney тип с неявным приведением отdecimal: struct Money { decimal innerValue; public static implicit operator Money(decimal value) { return new Money { innerValue = value }; } public static explicit operator decimal(Money value) { ...
функция, то это ваш собственный взгляд! Вы могли бы поместить указатель на не вызываемую функцию в C printf так же беспорядочно.
ользую новыйauto ключевое слово, доступное в стандарте C ++ 11 для сложных шаблонных типов, для которого, как мне кажется, оно было разработано. Но я также использую его для таких вещей, как: auto foo = std::make_shared<Foo>();И более ...
Используйте другой тип возврата для
ьте на вопрос кпредыдущий вопрос [https://stackoverflow.com/questions/6390446/interface-inheritance-and-generic-interfaces-force-explicit-casts] это было идентифицировано как проблема совместного отклонения. Если сделать еще один шаг вперед, если ...
Так что это не та же самая концепция, но это много тех композиционных вариантов использования, и добавляет еще несколько.
это определение не должно быть разрешено в ленивом языке, таком как Haskell, в котором функции каррируются? apply f [] = f apply f (x:xs) = apply (f x) xsЭто в основном функция, которая применяет данную функцию к заданному списку аргументов, и ...
groups.google.com/d/msg/scala-user/dThOh07mZKo/VX8CeiWxAj4J
тформе Scala Collections я думаю, что есть некоторые поведения, которые противоречатmap(). Мы можем выделить два вида преобразований в (неизменных) коллекциях. Те, чья реализация призываетnewBuilder воссоздать итоговую коллекцию, и тех, кто ...
, поскольку даже не вариантный набор As может содержать только Bs, если
очень интересностатья об архитектуре коллекций Scala 2.8 [http://www.scala-lang.org/docu/files/collections-api/collections-impl.html]и я немного экспериментировал с этим. Для начала я просто скопировал окончательный кодRNA пример. Вот это для ...
А затем вызвать функцию как,
ак-то возможно? Я хочу, чтобы включить передачу аргументов во время компиляции. Предположим, это только для удобства пользователя, так как всегда можно набрать реальный тип с помощьюtemplate<class T, T X>, но для некоторых типов, то ...