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

Чистый язык использует уникальность типов для обработки ввода / вывода в чисто функциональном назначении. Почему комитет Хаскелла пошел с монадами вместо этого? Были ли другие предложения по обращению с государством, которые комитет расследовал, но отклонил? Примечание : я не ищу священную войну между монадами и другими формами вычислений. Давайте оставим …

36 functional-programming  history  haskell 

Я знаком с программированием на C и C # и буду изучать C ++ в будущем. Меня может заинтересовать изучение функционального программирования как другой парадигмы программирования. Я делаю это для удовольствия, моя работа не связана с компьютерным программированием, и меня несколько вдохновляет использование функционального программирования, преподававшегося довольно рано на курсах …

36 haskell  functional-programming  scheme 

Я изучаю Haskell с целью понимания функционального программирования, ожидая, что я буду применять полученные знания на других языках (в основном Groovy, Python, JavaScript). Я выбрал Haskell, потому что у меня сложилось впечатление, что он очень чисто функциональный и не допускает никакой зависимости от состояния. Я не выбрал изучение Haskell, потому …

33 functional-programming  haskell  language-features  type-systems 

Этот вопрос был перенесен из переполнения стека, потому что на него можно ответить в Software Engineering Stack Exchange. Мигрировал 6 лет назад . Я читал немного о денотационной семантике (DS), и я очень заинтригован процессом разработки компьютерных программ, где типы и функции имеют четкое и ясное отображение в математике. Существуют …

30 scala  haskell  scheme 

Этот вопрос был перенесен из переполнения стека, потому что на него можно ответить в Software Engineering Stack Exchange. Мигрировал 7 лет назад . Кажется, что ленивая оценка выражений может привести к тому, что программист потеряет контроль над порядком выполнения кода. У меня возникают проблемы с пониманием, почему это было бы …

30 functional-programming  haskell 

Я рассчитываю начать экспериментальный проект с использованием функционального языка и пытаюсь выбрать между Эрлангом и Хаскеллом, и у обоих есть некоторые моменты, которые мне действительно нравятся. Мне нравится сильная система типов и чистота Хаскелла. У меня есть ощущение, что это облегчит написание действительно надежного кода. И я думаю, что сила …

30 functional-programming  haskell  erlang 

Я знаю, что это очень широкий, неоднозначный и, возможно, философский вопрос. В той степени, что самое важное ключевое слово в вопросе - «сильная» система типов - само по себе плохо определено . Итак, позвольте мне попытаться объяснить, что я имею в виду. Общий контекст вопроса Мы создавали очень масштабное веб-приложение …

29 java  haskell  scala  type-systems  rust 

Во время изучения Haskell я столкнулся с множеством учебных пособий, в которых пытался объяснить, что такое монады и почему они важны в Haskell. Каждый из них использовал аналогии, чтобы было легче понять смысл. В конце концов, я получил 3 разных взгляда на то, что такое монада: Вид 1: Монада как …

29 functional-programming  haskell  monad  side-effect 

Этот вопрос был перенесен из переполнения стека, потому что на него можно ответить в Software Engineering Stack Exchange. Мигрировал 8 лет назад . Одна вещь, с которой я никогда не соглашался в Haskell, это то, как вы можете иметь полиморфные константы и функции, тип возврата которых не может быть определен …

29 haskell  functional-programming 

Почему в Haskell есть встроенная if/then/else, зависящая от Boolтипа, а не простая библиотечная функция? Такие как if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell 

Закрыто. Этот вопрос не по теме . В настоящее время не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он соответствовал теме разработки программного обеспечения в стеке. Закрыто 4 года назад . Я хочу прочитать чисто функциональные структуры данных. Я легко нашел тезис (который свободно доступен в формате PDF) …

25 books  functional-programming  data-structures  haskell 

Мне было интересно узнать о происхождении «let», используемого в Lisp, Clojure и Haskell. Кто-нибудь знает, на каком языке он появился первым?

24 history  haskell  lisp  clojure 

Функциональные языки по определению не должны поддерживать переменные состояния. Почему же тогда Haskell, Clojure и другие предоставляют реализации программной транзакционной памяти (STM)? Есть ли конфликт между двумя подходами?

24 functional-programming  haskell  clojure  stm 

У меня есть некоторый опыт написания небольших инструментов на Haskell, и я нахожу его очень интуитивно понятным, особенно для написания фильтров (использующих interact), которые обрабатывают их стандартный ввод и передают его на стандартный вывод. Недавно я попытался использовать один такой фильтр для файла, который был примерно в 10 раз больше …

23 programming-practices  haskell  stackoverflow 

Я читал, что Хиндли-Милнер не работает с системами типов, которые имеют подклассы, и есть другие функции системы типов, которые также не работают с ним. Go в настоящее время имеет только очень ограниченный тип вывода в :=операторе. Но Go не имеет подклассов в традиционном смысле, только интерфейсы, которые очень похожи на …

22 haskell  type-systems  go