Результаты поиска по запросу "haskell"
Каково влияние синонимов типов на экземпляры классов типов? Что делает прагма TypeSynonymInstances в GHC?
я читаюРеальный мир Haskell Стр. 151, и я более часа смотрел на следующий отрывок: Напомним, что String является синонимом [Char], который, в свою очередь, является типом [a], где Char заменяется параметром типа a. Согласно правилам Haskell 98, ...
Haskell - Является ли порядок эффектов детерминированным в случае Applicative?
При выполнении действия ввода-вывода, определенногоsomeFun <$> (a :: IO ()) <$> (b :: IO ()), является выполнениеa а такжеb действия заказаны? То есть могу ли я рассчитывать на этоa выполняется раньшеb является? Для GHC я вижу, что IO реализован ...
Как сделать так, чтобы Attoparsec-парсер успешно работал без использования (например, parsec lookAhead)
Я написал быстрый синтаксический анализатор attoparsec, чтобы просмотреть файл aspx и удалить все атрибуты стиля, и он работает нормально, за исключением одного фрагмента, где я не могу понять, как добиться успеха при сопоставлении> не потребляя ...
Чем 'seq' в Haskell отличается от других функций?
Я запутался в описании того, как Хаскелла
Как я могу опрашивать файлы, сокеты или дескрипторы, чтобы стать доступными для чтения / записи в Haskell?
Как я могу смотреть несколько файлов / сокетов из Haskell и ждать, пока они станут читаемыми / доступными для записи? Есть ли что-то вроде select / epoll / ...
Как я могу использовать противоречивые доказательства?
Пока пишуо том, как сделать подтип в Хаскелемне пришло в голову, что было бы очень удобно иметь возможность "использовать" противоречивые доказател...
@ Hammar: Спасибо, хороший улов! По какой-то причине мне не пришло в голову попробовать это, и я не был уверен, может ли GHCi иметь другое специальное поведение для привязок в REPL.
ая на вопрос о stackoverflow, я заметил, что GHCi (интерактивный) назначает слишком ограничительный тип впозволятьзаявление. А именно, учитывая код, import Control.Arrow f = maximum &&& id >>> fst &&& (\(m,l) -> length $ filter (==m) l)(как в ...
Какую XML-библиотеку Haskell использовать?
Я вижу, что в Haskell есть несколько библиотек обработки XML. HaXml [http://www.haskell.org/HaXml/]кажется самым популярным (согласнодоны [http://donsbot.wordpress.com/2009/08/29/haskell-popularity-rankings-september-2009/] )HXT ...
Почему сумма x y имеет тип (Num a) => a -> a -> a в Haskell?
Я читал о Haskell, и мне трудно понять, как определения функций обрабатываются на этом языке.Допустим, я определяю
Поскольку все эти эффекты объединены в Plan 9 / Inferno, я подозреваю, что «загон» Хаскелла не так произвольн, как кажется. Хотя это было бы потрясающим достижением в инженерной сфере, которое могло бы использовать ГСЧ для точного моделирования вывода файла. Обратное кажется простым.
птуально кажется, что вычисление, которое выполняет вывод, очень отличается от того, которое выполняет только ввод. Последнее в каком-то смысле намного чище. Я, например, хотел бы иметь способ отделить только входные части моей программы от тех, ...