0
ответов

Несвязанная ошибка наследования по умолчанию для переменных типа: почему?

Отказ от ответственности: это не об этом случае (хотя ошибка звучит так же): класс наследует несвязанные значения по умолчанию для spliterator () от типов java.util.Set и java.util.List, и вот почему: рассмотрим два ...
вопрос задан: 23 May 2017 11:54
0
ответов

Как GHCi выбирает имена для переменных типа?

При использовании интерактивного интерпретатора GHC можно запросить предполагаемый тип выражения: Prelude>: t map map :: (a -> b) -> [a] -> [b] Похоже, что он принимает имена ...
вопрос задан: 4 January 2012 20:00
0
ответов

Haskell: реализовать «случайные» (также известные как переменная неоднозначного типа)

Я читал LYAH и в главе 9 обнаружил любопытную проблему. Автор приводит пример реализации функции "random": randoms ':: (RandomGen g, Random a) => g -> [a] ...
вопрос задан: 26 December 2011 20:29
0
ответов

Переменная неоднозначного типа 'blah' в ограничении… как исправить?

I ' Я пытаюсь написать на Haskell простой трассировщик лучей. Я хотел определить класс типов, представляющий различные типы доступных поверхностей, с функцией, определяющей, где луч пересекает их: {- # ...
вопрос задан: 15 February 2011 14:24