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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Для чего Haskell действительно полезен?

Например, если я начну изучать Haskell, что я могу использовать для этого. Каковы некоторые общие применения для этого языка, который я слышу, является функциональным?
задан 22 окт. '09 в 6:00
15
ответов

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

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

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

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

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

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

Зачем нам монады?

По моему скромному мнению ответы на знаменитый вопрос "Что такое монада?" , особенно самые проголосовавшие, пытаются объяснить, что такое монада без четкой объясняя, почему монады действительно необходимы. Можно ли их объяснить как решение проблемы?
задан 25 янв. '15 в 20:27
6
ответов

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

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