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

Эти термины упоминаются в моем курсе университета. Быстрый поиск в Google указал мне на некоторые университетские бумаги, но я ищу простое объяснение.

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 …

20 haskell  type-systems  type-safety 

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

20 haskell 

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

20 haskell 

Locked . Этот вопрос и его ответы заблокированы, потому что вопрос не по теме, но имеет историческое значение. В настоящее время он не принимает новые ответы или взаимодействия. Я участвую в преподавании математики в классах с такими требованиями, как AS и спецификация уровня A по математике. Учебники обычно предоставляют примеры …

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 # и т. Д.). Я знаю, что это не обязательно справедливо по отношению к некоторым языкам (Scala приходит …

18 functional-programming  scala  haskell  f#  benchmarking 

Недавно я еще раз наткнулся на вопросы записей Хаскелла, в частности на уникальность имен полей. (Это боль ...) Я уже прочитал предложение о записи в Haskell от SPJ и Грега Моррисетта, но его последнее обновление было в 2003 году. Другая статья под названием Lightweight Extensible Records для Haskell от SPJ …

18 haskell  language-features 

Я изучаю Haskell и в качестве упражнения создаю бинарные деревья. Сделав обычное двоичное дерево, я хочу адаптировать его к самобалансирующемуся. Так: Какой самый эффективный? Что проще всего реализовать? Что чаще всего используется? Но главное, что вы рекомендуете? Я предполагаю, что это принадлежит здесь, потому что это открыто для обсуждения.

18 haskell  functional-programming  data-structures  binary-tree 

В проблеме обучения, с которой я возился, я понял, что мне нужен класс типов для функций с операциями для применения, создания и т. Д. Причины ... Может быть удобно рассматривать представление функции так, как если бы она была самой функцией, так что применение функции неявно использует интерпретатор, а составление функций …

17 haskell  standard-library