Результаты поиска по запросу "type-inference"
Особенность вывода типов исключений в Java 8
При написании кода для другого ответа на этом сайте я столкнулся с этой особенностью:
А затем вызвать функцию как,
ак-то возможно? Я хочу, чтобы включить передачу аргументов во время компиляции. Предположим, это только для удобства пользователя, так как всегда можно набрать реальный тип с помощьюtemplate<class T, T X>, но для некоторых типов, то ...
Как GHCi выбирает имена для переменных типа?
При использовании интерактивного интерпретатора GHC можно запросить предполагаемый тип выражения: Prelude> :t map map :: (a -> b) -> [a] -> [b]Кажется, что он берет имена переменных типа из сигнатуры, так какmap ...
`auto` тип удержания для ссылок
Давайте рассмотрим следующий фрагмент кода
функция, то это ваш собственный взгляд! Вы могли бы поместить указатель на не вызываемую функцию в C printf так же беспорядочно.
ользую новыйauto ключевое слово, доступное в стандарте C ++ 11 для сложных шаблонных типов, для которого, как мне кажется, оно было разработано. Но я также использую его для таких вещей, как: auto foo = std::make_shared<Foo>();И более ...
Либеральное условие покрытия, введенное в коде GHC 7.7, действует в GHC 7.6.
Идея Я пишуDSL [http://en.wikipedia.org/wiki/Domain-specific_language], который компилируется в Haskell. Пользователи этого языка могут определять собственные неизменяемые структуры данных и связанные с ними функции. Под ассоциированной ...
Может ли GHCi сказать мне тип локальной функции на Haskell?
Можно ли запросить ghci для типа, который он вывел для функции внутри другой функции?