Результаты поиска по запросу "type-inference"
Так что это не та же самая концепция, но это много тех композиционных вариантов использования, и добавляет еще несколько.
это определение не должно быть разрешено в ленивом языке, таком как Haskell, в котором функции каррируются? apply f [] = f apply f (x:xs) = apply (f x) xsЭто в основном функция, которая применяет данную функцию к заданному списку аргументов, и ...
Используйте другой тип возврата для
ьте на вопрос кпредыдущий вопрос [https://stackoverflow.com/questions/6390446/interface-inheritance-and-generic-interfaces-force-explicit-casts] это было идентифицировано как проблема совместного отклонения. Если сделать еще один шаг вперед, если ...
функция, то это ваш собственный взгляд! Вы могли бы поместить указатель на не вызываемую функцию в C printf так же беспорядочно.
ользую новыйauto ключевое слово, доступное в стандарте C ++ 11 для сложных шаблонных типов, для которого, как мне кажется, оно было разработано. Но я также использую его для таких вещей, как: auto foo = std::make_shared<Foo>();И более ...
Как показать предполагаемый тип TypeScript в WebStorm?
В VS2012 вы можете навести курсор на переменную машинописного текста, и она покажет вам предполагаемый тип. Есть ли подобная функция в веб-шторме?
@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) { ...
). Нечто подобное возможно в Scala с использованием неявных параметров.
ел бы понять ключевое различие между параметрическим полиморфизмом, таким как полиморфизм универсальных классов / функций в языках Java / Scala / C ++ и "специальным" полиморфизмом в системе типов Haskell. Я знаком с языками первого типа, но я ...
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]кроме неравенства а не равенства? Я ...
Либеральное условие покрытия, введенное в коде GHC 7.7, действует в GHC 7.6.
Идея Я пишуDSL [http://en.wikipedia.org/wiki/Domain-specific_language], который компилируется в Haskell. Пользователи этого языка могут определять собственные неизменяемые структуры данных и связанные с ними функции. Под ассоциированной ...
Почему этот код на Haskell вызывает ошибку «бесконечного типа»?
Я новичок в Haskell и сталкиваюсь с ошибкой «не могу создать бесконечный тип», которую не могу понять. На самом деле, помимо этого, я не смог найти хорошего объяснения того, что вообще означает эта ошибка, поэтому, если бы вы могли выйти за ...
Почему вывод типа Java так слаб?
Скажем, у меня есть метод: public static <T> Collection<T> addToCollection(T element, Collection<T> collection) { collection.add(element); return collection; }И затем при попытке скомпилировать этот код: Integer i = 42; Collection<Integer> ...