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

Ці умови згадуються в моєму університетському курсі. Швидкий гуглінг вказав мені на деякі університетські документи, але я шукаю простого пояснення.

22 functional-programming  haskell 

Я працюю над вивченням Haskell, і я зіткнувся з трьома різними способами боротьби з помилками в написаних функціях: Я можу просто написати error "Some error message.", що кидає виняток. Я можу повернути свою функцію Maybe SomeType, де я можу або не зможу повернути те, що хотів би повернути. У мене …

22 haskell  error-handling 

Чи є якісь теоретичні причини для цього (наприклад, перевірка типу чи умовивід типу стане нерозбірливою) або практичні причини (занадто складно їх правильно реалізувати)? Наразі ми можемо обернути речі newtypeподібними newtype Pair a = Pair (a, a) а потім мати Pair :: * -> * але ми не можемо зробити щось …

22 haskell  abstraction  type-systems  lambda 

Коли пояснюється комбінатор Y в контексті Haskell, зазвичай зазначається, що пряма реалізація не перевірить тип в Haskell через його рекурсивного типу. Наприклад, з Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining …

21 haskell  type-systems  static-typing  ocaml 

Я довго був розробником Java, але нещодавно я приєднався до команди Haskell. У світі java, якщо у вас великий проект, де над ним працюють декілька команд, загальним підходом є використання сервера артефактів, такого як Maven, для полегшення та прискорення розвитку. Численні інструменти збирання, такі як Ant, Maven, Gradle, можуть скласти …

20 java  haskell  maven  build-system 

Припустимо, я хочу написати бібліотеку, яка займається векторами та матрицями. Чи можливо розмістити розміри в типи, щоб операції несумісних розмірів генерували помилку під час компіляції? Наприклад, я хотів би, щоб підпис крапкового продукту був чимось подібним dotprod :: Num a, VecDim d => Vector a d -> Vector a d …

20 haskell  type-systems  type-safety 

Я знаю, що Haskell вже має можливість параметризувати тип над іншим типом (подібно до програмування шаблонів у C ++), але мені цікаво, чи може Haskell параметризувати тип над значеннями - чи підтримує він залежні типи. Залежно від типів ви можете мати тип, параметризований на цілі числа, наприклад, вектори розміру n, …

20 haskell 

Нещодавно я переглядав керівництво Learn You a Haskell for Great Good, і в якості практики я хотів вирішити з ним проблему 5 проекту Euler , в якій вказано: Яке найменше додатне число, яке рівномірно ділиться на всі числа від 1 до 20? Я вирішив спочатку написати функцію, яка визначає, чи …

20 haskell 

Заблокований . Це питання та його відповіді заблоковано, оскільки це питання поза темою, але має історичне значення. Наразі не приймає нових відповідей чи взаємодій. Я беру участь у навчанні математики на класах з такими вимогами, як специфікація AS та математика рівня А. Книги класів зазвичай надають приклади програмного забезпечення для …

19 haskell 

Закрито . Це питання має бути більш зосередженим . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб воно зосередилось на одній проблемі, лише відредагувавши цю публікацію . Закрито 5 років тому . Існує кілька веб-рамок для Haskell, таких як Happstack , Snap та Yesod , і, мабуть, …

19 web-development  experience  comparison  web-framework  haskell 

Як модель використання командних обробників для боротьби зі стійкістю вписується в суто функціональну мову, де ми хочемо зробити код, пов'язаний з IO, максимально тонким? Під час реалізації дизайну, керованого доменом, на об'єктно-орієнтованій мові, звичайно використовувати шаблон Command / Handler для виконання змін стану. У цьому дизайні обробники команд сидять над …

18 c#  architecture  functional-programming  domain-driven-design  haskell 

Я нещодавно заглиблювався у функціональне програмування, особливо Haskell та F #, тим більше. Після деякого гуглювання навколо я не зміг знайти порівняльне порівняння більш помітних функціональних мов (Scala, F # тощо). Я знаю, що це не обов'язково справедливо до деяких мов (на думку Скали), враховуючи, що вони є гібридами, але …

18 functional-programming  scala  haskell  f#  benchmarking 

Нещодавно я ще раз натрапив на питання записів Haskell, зокрема на унікальність назв полів. (Це біль ...) Я вже читав Пропозицію щодо записів у Haskell від SPJ та Greg Morrisett, але останнє оновлення було у 2003 році. Інший документ під назвою Lightweight Extensible Records для Haskell від SPJ та Mark …

18 haskell  language-features 

Я вивчаю Хаскелл і як вправу роблю бінарні дерева. Склавши звичайне бінарне дерево, я хочу адаптувати його до самоврівноваження. Так: Що найефективніше? Що найпростіше здійснити? Що найчастіше використовується? Але важливо, що ви рекомендуєте? Я припускаю, що це належить тут, оскільки воно відкрите для дебатів.

18 haskell  functional-programming  data-structures  binary-tree 

У навчальній проблемі, з якою я заплутався, я зрозумів, що мені потрібен типовий клас для функцій із застосуванням, складанням тощо. Причини ... Це може бути зручно ставитись до подання функції, як до самої функції, так що застосування функції неявно використовує інтерпретатор, а складання функцій отримує новий опис. Після того, як …

17 haskell  standard-library