Запитання з тегом «haskell»

Пояснюючи комусь, що таке клас X, я намагаюся знайти хороші приклади структур даних, які є саме X. Отже, я прошу приклади для: Конструктор типу, який не є Функтором. Конструктор типу, який є функтором, але не є застосунним. Конструктор типу, який є додатком, але не є монадою. Конструктор типу - це …

209 haskell  monads  functor  applicative 

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 2 роки тому . Удосконаліть це питання Я читаю Learn You a Haskell for Great Good , і …

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

191 haskell  types  type-systems  newtype 

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

183 optimization  haskell  ghc 

Існує щонайменше три популярні бібліотеки для доступу та маніпулювання полями записів. Мені відомі: доступ до даних, флекти та лінзи. Особисто я почав із доступу до даних і зараз їх використовую. Однак нещодавно в haskell-cafe виникла думка про те, що fclabels є вищим. Тому мені цікаво порівняти ці три (а може …

173 data-structures  haskell  record  lenses 

Чи може хтось дати деякі вказівки на те, чому нечисті обчислення в Haskell моделюються як монади? Я маю на увазі, що монада - це просто інтерфейс з чотирма операціями, тож, що було міркуванням для моделювання побічних ефектів у ньому?

172 haskell  functional-programming  monads 

У Haskell, яка різниця між a Intі an Integer? Де відповідь задокументована?

169 haskell  numbers  integer  int  bignum 

Чи є стандартний спосіб розділити рядок в Haskell? linesі wordsчудово працювати від розбиття на пробіл чи новий рядок, але, напевно, є стандартний спосіб розділити кому? Я не міг знайти його в Hoogle. Щоб бути конкретним, я шукаю щось, де 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 Prelude> | otherwise = …

161 haskell  ghci 

Риси в Русті здаються принаймні поверхнево схожими на класи типу Хаскелл, проте я бачив, як люди пишуть, що між ними є деякі відмінності. Мені було цікаво, які саме ці відмінності.

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