Этот вопрос был перенесен из переполнения стека, потому что на него можно ответить в Software Engineering Stack Exchange. Мигрировал 6 лет назад . Я читал немного о денотационной семантике (DS), и я очень заинтригован процессом разработки компьютерных программ, где типы и функции имеют четкое и...
Во время изучения Haskell я столкнулся с множеством учебных пособий, в которых пытался объяснить, что такое монады и почему они важны в Haskell. Каждый из них использовал аналогии, чтобы было легче понять смысл. В конце концов, я получил 3 разных взгляда на то, что такое монада: Вид 1: Монада как...
Этот вопрос был перенесен из переполнения стека, потому что на него можно ответить в Software Engineering Stack Exchange. Мигрировал 8 лет назад . Одна вещь, с которой я никогда не соглашался в Haskell, это то, как вы можете иметь полиморфные константы и функции, тип возврата которых не может быть...
Я знаю, что это очень широкий, неоднозначный и, возможно, философский вопрос. В той степени, что самое важное ключевое слово в вопросе - «сильная» система типов - само по себе плохо определено . Итак, позвольте мне попытаться объяснить, что я имею в виду. Общий контекст вопроса Мы создавали очень...
Закрыто. Этот вопрос не по теме . В настоящее время не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он соответствовал теме разработки программного обеспечения в стеке. Закрыто 4 года назад . Я хочу прочитать чисто функциональные структуры данных. Я легко нашел тезис...
Почему в Haskell есть встроенная if/then/else, зависящая от Boolтипа, а не простая библиотечная функция? Такие как if :: Bool -> a -> a -> a if True x _ = x if False _ y = y
Функциональные языки по определению не должны поддерживать переменные состояния. Почему же тогда Haskell, Clojure и другие предоставляют реализации программной транзакционной памяти (STM)? Есть ли конфликт между двумя...
Мне было интересно узнать о происхождении «let», используемого в Lisp, Clojure и Haskell. Кто-нибудь знает, на каком языке он появился
У меня есть некоторый опыт написания небольших инструментов на Haskell, и я нахожу его очень интуитивно понятным, особенно для написания фильтров (использующих interact), которые обрабатывают их стандартный ввод и передают его на стандартный вывод. Недавно я попытался использовать один такой фильтр...
Я читал, что Хиндли-Милнер не работает с системами типов, которые имеют подклассы, и есть другие функции системы типов, которые также не работают с ним. Go в настоящее время имеет только очень ограниченный тип вывода в :=операторе. Но Go не имеет подклассов в традиционном смысле, только интерфейсы,...
Я работаю над изучением Haskell, и я столкнулся с тремя различными способами устранения ошибок в функциях, которые я пишу: Я могу просто написать error "Some error message.", что выдает исключение. Я могу вернуть свою функцию Maybe SomeType, где я могу или не могу вернуть то, что хотел бы вернуть....
Эти термины упоминаются в моем курсе университета. Быстрый поиск в Google указал мне на некоторые университетские бумаги, но я ищу простое
Существуют ли для этого какие-либо теоретические причины (например, проверка типов или вывод типов стали бы неразрешимыми) или практические причины (слишком трудно осуществить должным образом)? В настоящее время мы можем обернуть вещи newtypeкак newtype Pair a = Pair (a, a) а затем есть Pair :: *...
При объяснении Y-комбинатора в контексте Haskell обычно отмечается, что прямая реализация не будет проверять тип в Haskell из-за его рекурсивного типа. Например, из Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a =...
Недавно я изучал руководство « Learn You a Haskell for Great Good», и на практике я хотел решить с ним задачу Project Euler 5 , в которой указано: Какое наименьшее положительное число равномерно делится на все числа от 1 до 20? Я решил сначала написать функцию, определяющую, делится ли данное число...
Я долгое время был разработчиком Java, но недавно я присоединился к команде Haskell. В мире Java, если у вас большой проект, над которым работают несколько команд, общий подход заключается в использовании сервера артефактов, такого как Maven, для упрощения и ускорения разработки. Многочисленные...
Я знаю, что у Haskell уже есть возможность параметризовать тип поверх другого типа (аналогично шаблонному программированию в C ++), но мне интересно, может ли Haskell также параметризировать тип над значениями - поддерживает ли он зависимые типы. С зависимыми типами вы можете иметь тип,...
Предположим, я хочу написать библиотеку, которая работает с векторами и матрицами. Можно ли объединить измерения в типы, чтобы операции несовместимых измерений вызывали ошибку во время компиляции? Например, я хотел бы, чтобы подпись точечного продукта была чем-то вроде dotprod :: Num a, VecDim d...
Закрыто . Этот вопрос должен быть более сфокусированным . В настоящее время не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он был сосредоточен только на одной проблеме, отредактировав этот пост . Закрыто 5 лет назад . Есть несколько веб-фреймворков для Haskell, такие как...
Locked . Этот вопрос и его ответы заблокированы, потому что вопрос не по теме, но имеет историческое значение. В настоящее время он не принимает новые ответы или взаимодействия. Я участвую в преподавании математики в классах с такими требованиями, как AS и спецификация уровня A по математике....