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

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 4 года назад . Почему тип опции Scala не называется Maybe, как в Haskell? Может быть, для …

13 language-design  haskell  scala  naming-standards  monad 

Редактировать: я перефразирую вопрос немного. По-видимому, я вызвал некоторую путаницу, потому что я не понимал, что термин « деструктор» используется в ООП для чего-то совершенно иного - это функция, вызываемая при разрушении объекта. В функциональном программировании мы (стараемся) избегать изменяемого состояния, поэтому такого эквивалента нет. (Я добавил правильный тег к …

13 terminology  functional-programming  haskell  data 

Я оставил работу (чтобы переехать в другую страну), где большую часть времени я программировал на Javascript и Haskell (немного python). Мне очень понравилось, потому что люди были объективны, позитивны, математичны, и все же сделали кучу вещей. Это был действительно профессиональный магазин. Сейчас я работаю в магазине Agile / XP. Хотя …

13 ruby  haskell  agile 

В настоящее время этот вопрос не очень подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, вызовет дебаты, споры, опрос или расширенное обсуждение. Если вы считаете, что этот вопрос можно улучшить и, возможно, вновь открыть, обратитесь за …

13 learning  functional-programming  lisp  haskell  recursion 

Можно ли использовать статические или зависимые типы, чтобы доказать, что функция идемпотентна? Я безуспешно искал в Google и других местах в StackOverflow / StackExchange ответ. Самым близким, что я нашел, был этот разговор о Идрисе: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg К сожалению, это обсуждение немного над моей головой.

12 haskell 

Вот простая проблема программирования от SPOJ: http://www.spoj.com/problems/PROBTRES/ . По сути, вас просят вывести самый большой цикл Коллатца для чисел от i до j. (Цикл Коллатца с числом $ n $ - это число шагов, которые в итоге получатся от $ n $ до 1.) Я искал способ Haskell для решения …

12 programming-practices  functional-programming  haskell 

В Haskell функтор класса типов Functor определяется следующим образом (см., Например, вики Haskell ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Насколько я понимаю (пожалуйста, исправьте меня, если я ошибаюсь), такой функтор может иметь только в качестве целевой …

12 haskell 

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

12 haskell  recursion 

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

12 algorithms  functional-programming  haskell 

Так что я делаю довольно сложный клиент javascript / html со множеством вызовов ajax и другими функциями callback-ism. Я развлекаю мысль об использовании Fay для этой цели. Я в курсе Вяза. Попробовал и понравились элементы FRP. Теперь я хочу узнать, возможна ли подобная структура в Fay. Есть ли конкретные примеры …

12 javascript  functional-programming  haskell  paradigms 

Я собираюсь начать проект моделирования / моделирования. Я уже знаю, что ООП используется для такого рода проектов. Однако изучение Haskell заставило меня задуматься об использовании парадигмы FP для моделирования системы компонентов. Позвольте мне уточнить: Допустим, у меня есть компонент типа A, характеризуемый набором данных (такой параметр, как температура или давление, …

12 c++  object-oriented  functional-programming  haskell  modeling 

Как и FP, в конце концов, все наши программы структурированы. То есть не имеет значения, насколько чистыми или функциональными мы их создаем - они всегда переводятся в сборку, поэтому то, что на самом деле скрывается за капотами, это инструкции, состояния и циклы. Мы как бы подражаем ФП. Как аппаратный нуб, …

12 functional-programming  computer-science  haskell  lisp  clojure 

Интуиция необязательного типа, подобного этому, Maybe Intзаключается в том, что либо нет Int (то есть он Nothingесть), либо существует некоторое Int; там что-то есть Для меня имеет смысл, что мы вызываем конструктор типов для «отрицательного» случая Nothing, поскольку это означает именно то, что там его нет Int. Но зачем использовать …

11 functional-programming  haskell  data-types  null 

Я хочу определить класс типов для геометрических объектов, которые могут пересекаться вместе: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Идея состоит в том, чтобы иметь функции пересечения общего назначения, которые могут обрабатывать объекты разных …

11 haskell  type-systems  typeclass 

Мы реализуем библиотеку сжатия матрицы на основе модифицированного синтаксиса двумерной грамматики. Теперь у нас есть два подхода к нашим типам данных - какой из них будет лучше в случае использования памяти? (мы хотим что-то сжать;)). Грамматики содержат нетерминалы с ровно 4 продукцией или терминалом с правой стороны. Нам понадобятся имена …

11 functional-programming  haskell  memory  grammar