Вопросы с тегом «haskell»

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 2 года назад . Улучшить этот вопрос Я читаю Learn You a Haskell для большого блага , …

204 haskell  operators 

Я знаю, что вы можете конвертировать Stringв число с read: Prelude> read "3" :: Int 3 Prelude> read "3" :: Double 3.0 Но как вы Stringполучаете представление Intзначения?

199 string  haskell  int  casting 

Ядро является промежуточным языком GHC. Чтение Core может помочь вам лучше понять производительность вашей программы. Кто-то попросил у меня документацию или учебные пособия по чтению Core, но я не мог найти много. Какая документация доступна для чтения GHC Core? Вот что я нашел до сих пор: Пишите на Haskell так …

193 performance  compiler-construction  haskell  ghc 

Какая разница, когда я это пишу? data Book = Book Int Int против newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

193 haskell  types  type-systems  newtype 

У GHC есть много оптимизаций, которые он может выполнить, но я не знаю, чем они все являются, и какова вероятность их выполнения и при каких обстоятельствах. Мой вопрос: какие преобразования я могу ожидать, чтобы они применялись каждый раз или почти так? Если я смотрю на фрагмент кода, который будет выполняться …

183 optimization  haskell  ghc 

Существует как минимум три популярные библиотеки для доступа к полям записей и управления ими. Те, о которых я знаю, это: средство доступа к данным, флейбелы и линзы. Лично я начал с доступа к данным и сейчас ими пользуюсь. Однако недавно в haskell-cafe появилось мнение, что fclabels лучше. Поэтому я заинтересован …

173 data-structures  haskell  record  lenses 

Кто-нибудь может дать несколько советов о том, почему нечистые вычисления в Хаскеле моделируются как монады? Я имею в виду, что монада - это просто интерфейс с 4 операциями, так что же было причиной для моделирования побочных эффектов в ней?

172 haskell  functional-programming  monads 

В Haskell, в чем разница между Intи Integer? Где ответ задокументирован?

169 haskell  numbers  integer  int  bignum 

Есть ли стандартный способ разбить строку в Haskell? linesи wordsотлично работает от разделения на пробел или новую строку, но наверняка есть стандартный способ разделения на запятую? Я не смог найти его в Google. Чтобы быть конкретным, я ищу что-то, где split "," "my,comma,separated,list"возвращается ["my","comma","separated","list"].

163 string  haskell 

Я видел несколько источников, повторяющих мнение, что «Haskell постепенно становится типизированным языком». Предполагается, что с появлением все большего количества языковых расширений Haskell движется в этом общем направлении, но пока не существует. Есть две вещи, которые я хотел бы знать. Первый, довольно просто, что на самом деле означает «быть языком с …

161 haskell  type-systems  dependent-type 

Каков статус многоядерного программирования на Haskell? Какие проекты, инструменты и библиотеки доступны сейчас? Какие отчеты об опыте были?

161 haskell  concurrency  functional-programming  multicore  parallel-processing 

Я пытаюсь определить любую простую функцию, которая занимает несколько строк в GHCI, взять в качестве примера следующее: let abs n | n >= 0 = n | otherwise = -n До сих пор я пытался нажать Enter после первой строки: Prelude> let abs n | n >= 0 = n …

161 haskell  ghci 

Черты в Rust кажутся по крайней мере внешне похожими на классы типов в Haskell, однако я видел, как люди пишут, что между ними есть некоторые различия. Мне было интересно, что именно эти различия.

157 haskell  rust  traits 

Да, эти : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f = g_prepro …

156 haskell  functional-programming  category-theory 

У меня проблемы с получением GHC, чтобы специализировать функцию с ограничением класса. У меня есть минимальный пример моей проблемы здесь: Foo.hs и Main.hs . Два файла компилируются (GHC 7.6.2, ghc -O3 Main) и запускаются. ПРИМЕЧАНИЕ: Foo.hs действительно урезано. Если вы хотите понять, зачем нужно ограничение, вы можете увидеть немного больше …

156 haskell  ghc