0
ответов
Влияние ограничения мономорфизма на ограничения класса типа
Этот код нарушается при добавлении объявления типа для baz: baz (x: y: _) = x == y
baz [_] = baz []
baz [] = False Обычное объяснение (см. Пример, почему я не могу объявить предполагаемый тип?) ...
вопрос задан: 23 May 2017 12:27
0
ответов
NoMonomorphismRestriction помогает сохранить общий доступ?
Я пытался ответить на другой вопрос о полиморфизме и совместном использовании, когда наткнулся на это странное поведение. В GHCi, когда я явно определяю полиморфную константу, она ничего не получает...
вопрос задан: 23 May 2017 11:51
0
ответов
Преобразование функции в безточечный стиль меняет ее тип
Я начинаю Haskell ... Я попытался написать следующую тривиальную функцию двумя разными способами, позволив Haskell определяют типы, и система типов делает что-то свое в каждом случае. Что такое ...
вопрос задан: 12 May 2015 05:06
0
ответов
Объясните мне ограничение мономорфизма, пожалуйста?
Я начал решать 99 задач на Haskell, и у меня была проблема 7, и мои юнит-тесты взрывались. Видимо, из-за этого:http://www.haskell.org/haskellwiki/Monomorphism_restriction Я просто хотел...
вопрос задан: 29 July 2012 21:36
0
ответов
Использование монады состояния для сокрытия явного состояния.
Я пытаюсь написать небольшую игру на Haskell, и мне нужно передать изрядное количество состояний. Я хочу попробовать скрыть состояние с помощью монады State. Теперь я столкнулся с проблемой: функции...
вопрос задан: 2 June 2012 21:08
0
ответов
Когда можно привязать функцию к другому имени?
При работе в интерпретаторе часто бывает удобно привязать функцию к имени, например: ghci> let f = (+1)
ghci> f 1
2 Это псевдоним имени f для функции (+1). Просто. Однако ...
вопрос задан: 29 December 2011 09:55
0
ответов
, Почему делают 3 и x (который был присвоен 3), имеют различные выведенные типы в Haskell? [дубликат]
Вывод типа в Haskell имеет определенную кривую обучения (по меньшей мере!). Хороший способ начать изучать это с простыми примерами. Так, следующее - что-то вроде "привет мир" для вывода типа....
вопрос задан: 17 August 2011 20:33
0
ответов
Необычность вывода типов в Haskell
Посмотрите на этот вывод ghci: Prelude>: t Data.Map.lookup
Data.Map.lookup :: Ord k => k -> Data.Map.Map k a -> Может быть
Prelude>: t flip Data.Map.lookup
flip Data.Map.lookup :: Ord a = & ...
вопрос задан: 17 August 2011 19:37
0
ответов
Почему в Haskell не выводятся полиморфные значения?
Числовые литералы имеют полиморфный тип: * Main>: t 3
3 :: (Num t) => t Но если я привяжу переменную к такому литералу, полиморфизм теряется: x = 3
...
* Главная>: tx
x :: Integer Если я ...
вопрос задан: 15 February 2011 04:32
0
ответов
Вывод определенного типа с использованием функции uncurry
Я играл с функцией uncurry в GHCi и нашел кое-что, что я совсем не мог понять. Когда я применяю uncurry к функции (+) и привязываю это к какой-либо переменной, как в приведенном ниже коде, ...
вопрос задан: 15 February 2011 04:32
0
ответов
Что такое XNoMonomorphismRestriction?
На этой странице используется $ ghci -XNoMonomorphismRestriction для запуска интерпретатора haskell. Что означает переключатель XNoMonomorphismRestriction?
вопрос задан: 15 February 2011 04:32