Вопросы с тегом 'haskell'

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

Что такое монада?

Вкратце взглянув на Хаскелла в последнее время, что будет кратким, кратким, практичным объяснением того, что такое монада? Я нашел большинство объяснений, с которыми я столкнулся, чтобы быть довольно недоступными и не иметь практических деталей.
04 сент. '08 в 23:26
15

Начало работы с Haskell

В течение нескольких дней я пытался обойти вокруг парадигмы функционального программирования в Haskell. Я сделал это, читая учебные пособия и наблюдая за скринканами, но, похоже, ничего не кажется. Теперь, изучая различные языки императива /OO (напр...
18 июн. '09 в 13:17
7

"Какую часть Хиндли-Милнера вы не понимаете?"

Клянусь, когда-то была футболка для продажи с бессмертными словами: Какая часть ты не понимаешь? В моем случае ответ будет... все это! В частности, я часто вижу такие обозначения в документах Haskell, но я не знаю, что это значит. Я понятия не...
21 сент. '12 в 14:29
5

Монада - это просто моноид в категории эндофункторов, в чем проблема?

Кто первым сказал следующее? Монада - это просто моноид в категории эндофукторов, что проблема? И на менее важной ноте, это правда, и если бы вы могли дать объяснение (надеюсь, тот, который может быть понят кем-то, у кого не так много опыта Хаске...
06 окт. '10 в 6:55
12

В чем разница между. (точка) и $ (знак доллара)?

В чем разница между точкой (.) и знаком доллара ($)?. Насколько я понимаю, они оба являются синтаксическим сахаром, поскольку не нужны круглые скобки.
02 июн. '09 в 16:06
13

Как может существовать функция времени в функциональном программировании?

Я должен признать, что я мало знаю о функциональном программировании. Я читал об этом здесь и там, и так узнал, что в функциональном программировании функция возвращает тот же вывод для того же ввода, независимо от того, сколько раз функция вызываетс...
01 сент. '11 в 8:26
19

Сравнение скорости с Project Euler: C против Python против Erlang vs Haskell

Я взял Проблема № 12 из Project Euler как упражнение по программированию и сравнить мои (конечно, не оптимальные) реализации в C, Python, Erlang и Haskell. Чтобы получить более высокое время выполнения, я ищу первый номер треугольника с более чем 100...
06 авг. '11 в 2:34
8

Крупномасштабный дизайн в Haskell?

Что такое хороший способ разработки/структурирования больших функциональных программ, особенно в Haskell? Я прошел через кучу учебников (напишите сами, как моя любимая, с Real World Haskell - вторая секунда), но большинство программ относительно нев...
20 июн. '10 в 1:21
10

Для чего используется Haskell в реальном мире?

В Haskell много ажиотажа, однако трудно получить информацию о том, как он используется в реальных приложениях. Какие проекты/использования Haskell наиболее популярны и почему они превосходны в решении этих проблем?
22 окт. '09 в 3:00
1

Транзитивность авто-специализации в GHC

Из документы для GHC 7.6: [Y] ou часто даже не нуждается в прагме SPECIALIZE. При компиляции модуля M оптимизатор GHC (с -O) автоматически рассматривает каждую перегруженную функцию верхнего уровня, объявленную в M, и специализируется на разных тип...
01 февр. '14 в 19:13
15

Возможно ли программирование графического интерфейса?

Недавно я поймал ошибку FP (пытаясь выучить Haskell), и меня впечатлило то, что я видел до сих пор (первоклассные функции, ленивая оценка и все остальные лакомства). Я еще не эксперт, но мне уже стало легче рассуждать "функционально", чем императивно...
20 апр. '10 в 5:35
6

Что такое бесплатные монады?

Я видел, что термин Free Monad всплывает и затем в течение некоторого времени, но все просто используют/обсуждают их, не объясняя, что они собой представляют. Итак: что такое свободные монады? (Я бы сказал, что я знаком с монадами и основами Хаскел...
12 нояб. '12 в 21:53
4

Что означает "коалгебра" в контексте программирования?

Я слышал термин "коалгебры" несколько раз в функциональном программировании и кругах PLT, особенно когда речь идет об объектах, комонадах, объективах и т.д. В результате этого термина даны страницы, которые дают математическое описание этих структур,...
15 апр. '13 в 12:20
7

Хороший источник Haskell для чтения и изучения

Каковы некоторые программы с открытым исходным кодом, которые используют Haskell и могут считаться качественными современными Haskell? Чем больше база кода, тем лучше. Я хочу узнать из их исходного кода. Я чувствую, что я не знаю, как учиться на неб...
18 июн. '11 в 21:27
1

Методы отслеживания ограничений

Здесь сценарий: я написал код с сигнатурой типа, и жалобы GHC не смогли вывести x ~ y для некоторых x и y. Обычно вы можете бросить GHC в кость и просто добавить изоморфизм к функциональным ограничениям, но это плохая идея по нескольким причинам: ...
03 мая '14 в 18:11