1
ответ
Почему я не должен смешивать табуляции и пробелы?
Я часто читаю, что я не должен смешивать табуляцию и пробелы в Haskell, или что я вообще не должен использовать табуляцию. Зачем?
вопрос задан: 28 March 2019 11:03
1
ответ
Как проверить, является ли последний элемент списка членом другого списка?
У меня проблемы со списками. У меня есть следующие списки списков: предложение = [['t', 'h', 'e'], ['b', 'o', 'y'], ['i', 's'], [ h, a, p, p, y]] shortVowel = [['a'], ['e'], ['y']] Мне нужно ...
вопрос задан: 27 March 2019 07:50
1
ответ
Разделение слова на все возможные & ldquo; Подслово & rdquo; - Все возможные комбинации без импорта [дубликаты]
Я пытаюсь получить все возможные комбинации слова следующим образом, БЕЗ использования каких-либо импортов: Например ... Вход: Bang Выход: [['B', 'ang'], ['Ba', 'ng' ], ['Ban', 'g'], ['B', ...
вопрос задан: 24 March 2019 15:29
1
ответ
Как установить заголовок со статическим промежуточным ПО в Скотти?
Предположим, у меня есть порция статических файлов, но они без расширения. Я хочу установить заголовок «Content-Type: image / png» для всех из них, которые служат от «some /» (1-е правило). Как это сделать в этом ...
вопрос задан: 19 March 2019 11:39
1
ответ
случай избыточного сопоставления с образцом
Я пытаюсь написать интерпретатор языка haskell для различных утверждений. Одним из таких является заявление переключения. Я сделал следующее на данный момент, но я застрял, и я продолжаю получать избыточный шаблон ...
вопрос задан: 18 March 2019 17:52
1
ответ
Проверка делимости на Bool всегда приводит к ложному
Я пытаюсь проверить високосные годы, которые «делятся на 400 или делятся на 4, но не делятся на 100». Удаление одного из условий все еще не возвращает истину при фактическом скачке ...
вопрос задан: 18 March 2019 00:16
1
ответ
Как создать маршрут, который будет запускаться на любом пути в Servant?
У меня есть функция уровня типа (семейство типов) в приложении Haskell Servant, которое берет Symbol и создает тип (маршрут), т.е. семейство типов AppRoute (x :: Symbol), где AppRoute x = x: > Получить '[...
вопрос задан: 15 March 2019 05:51
1
ответ
переменная проблема жесткого типа / подозреваемый
Исходя из этого вопроса о GADT, я пытаюсь построить EDSL (для примера в статье), но без GADT. У меня есть кое-что, что позволяет избежать дублирования типов данных для AST; но ...
вопрос задан: 13 March 2019 12:40
1
ответ
Как работает эта функция Fold Tree в Haskell
Здесь я пытаюсь понять эту функцию, которая сворачивает дерево в одно значение. Он показывает, что foldTree принимает в качестве аргументов две функции, сначала применяет функцию к элементу дерева a, а затем
вопрос задан: 12 March 2019 09:29
1
ответ
функция не вызывается / не найдена?
Я новичок в Haskell и не очень знаком с синтаксисом. У меня есть чистая функция, которая имеет 2 целочисленных параметра, а затем хочу вызвать другую функцию и изменить значение одного параметра ...
вопрос задан: 11 March 2019 13:41
1
ответ
Экземпляры Eq или Ord для экзистенциального GADT
Есть ли удобный способ получить экземпляр Ord (или Eq) для сравнения любых двух значений GADT независимо от параметра типа. В GADT параметром типа является фантом, просто предназначенный для ...
вопрос задан: 6 March 2019 20:58
1
ответ
Haskell: Сравните логические значения в кортежах, созданных с помощью zip
Я новичок в Хаскеле. То, что я хочу сделать, - это операция XOR: я получаю 2 логических списка и архивирую их, получая список кортежей логических выражений. Теперь я хочу сравнить элементы внутри кортежей. НАПРИМЕР. ...
вопрос задан: 6 March 2019 07:50
1
ответ
Как получить значение ASCII символа в Haskell?
Как получить значение ASCII символа в Haskell? Я попытался использовать функцию порядка в GHCi, на основе того, что я считал, здесь прослушивают сообщение об ошибке: Не в объеме: 'порядок', Например: GHCi...
вопрос задан: 6 March 2019 07:34
1
ответ
Реализация haskell mapTree с использованием foldTree
Этот код из задания, которое я уже решил. Тем не менее я пытаюсь выяснить, смогу ли я исправить свою первоначальную попытку. Итак, мы получили эту древовидную структуру и функцию foldTree. Дерево данных a = Лист a | ...
вопрос задан: 4 March 2019 00:12
1
ответ
Объединение и пересечение двух списков без явной рекурсии
У меня есть две функции, которые должны работать в двух списках. union :: Eq a = > [a] - > [a] - > [a] пересекать B :: Eq a = > [a] - > [a] - > [a] Для unionB у меня есть следующий код ...
вопрос задан: 3 March 2019 20:58
1
ответ
Haskell Unzip With Fold
Я пытаюсь выяснить, как создать пользовательскую функцию разархивирования в Haskell, используя пользовательскую версию fold (в основном работает как foldl), но я застрял. Я могу заставить его разархивировать ':: [(a, b)] - > ([А] ...
вопрос задан: 2 March 2019 07:45
1
ответ
Как применить шоу к любому типу в haskell?
я пытаюсь написать функцию для печати всех элементов любого типа в списке (включая мой собственный тип данных), но я обнаружил, что не все типы являются экземпляром show. в любом случае, что может сделать haskell ...
вопрос задан: 2 March 2019 04:27
1
ответ
Как определить свое собственное расширение LANGUAGE в Haskell? [закрыто]
{- # LANGUAGE CustomHaskellExtension # -} Есть ли способ определить мое собственное расширение языка Haskell? Если ДА, пожалуйста, вы можете указать мне на документацию или учебник.
вопрос задан: 23 January 2019 07:29
1
ответ
Для чего используется Представляемый в Haskell?
Я хочу понять, что представляет собой репрезентативный в Haskell. Определение Представимые эндофункторы над категорией типов Хаскелла изоморфны монаде читателя и поэтому ...
вопрос задан: 21 January 2019 14:42
1
ответ
Как согласовать типы между `hakyll` и` hakyll-images`
Я пытаюсь использовать hakyll и hakyll-images для реализации примера из файла Readme для hakyll-images, который выполняет масштабирование изображения, как мне потребуется. Типы не объединяются для данного примера и ...
вопрос задан: 20 January 2019 06:48
1
ответ
Ошибка синтаксического анализа Haskell на входе «|», верно?
Я просмотрел несколько постов об охранниках, и, кажется, я все делаю правильно (не ставя знак равенства перед скобками, отступы и т. Д.), Но я все еще получаю сообщение об ошибке, когда пытаюсь запустить ...
вопрос задан: 20 January 2019 04:01
1
ответ
Загрузите функцию, но ghci, похоже, не скомпилировал ее
Я сталкивался с этой проблемой несколько раз прежде, но не уверен, в чем причина. Я просто закрываю командное окно и снова открываю. Например, я ввожу тебя в компилятор, и ничего не происходит (не знаю, как ...
вопрос задан: 19 January 2019 23:27
1
ответ
Конструктор данных не находится в области видимости
Я изучаю Haskell и пишу простую программу. Теперь у меня проблема, которая для меня довольно запутанная. Вот код: data VariableName = X | Y, производный Показать getValue :: VariableName - > ...
вопрос задан: 19 January 2019 18:32
1
ответ
расширение синтаксиса для определения компактных функций в записи
Следующий синтаксис - это обычный способ определения функции в пределах модуля или в предложении where. add :: Int - > Int - > Int add x y = x + y Однако он не работает внутри записи. ...
вопрос задан: 19 January 2019 03:10
1
ответ
Простой пример вызова по необходимости
Я пытаюсь понять теорему «по требованию». Я понимаю определение, но я немного сбит с толку. Я хотел бы увидеть простой пример, который показывает, как работает вызов по требованию. После ...
вопрос задан: 19 January 2019 01:28
1
ответ
Haskell & ldquo; h1 > & rdquo; Проверка синтаксиса и научного блока
Я пытался воспроизвести этот (довольно старый) учебник по использованию средства проверки типов в Haskell в качестве средства проверки единиц для любой арифметики / математики, чтобы иметь согласованные единицы (то есть метры, килограммы, секунды и ...
вопрос задан: 18 January 2019 20:44
1
ответ
Как я могу доказать эту теорему Хаскелла уровня типа?
Что касается листинга 1, как мне доказать, что выполняется аксиома уровня типа (t a) = (t (getUI (t a)))? Данные в листинге 1 Continuant a = Continuant производного (Show, Eq) класса UI a ...
вопрос задан: 18 January 2019 20:29
1
ответ
Изучите прикладную проблему (# 7) в главе 12 «Программирование на Haskell».
Я работал через отличное программирование на Хаскеле (2-е изд). Хотя я немного озадачен вопросом об аппликативах. Дан следующий тип: data Expr a = Var a | Val Int | Добавлять (...
вопрос задан: 18 January 2019 17:50
1
ответ
Каков тип определения этой функции & ldquo; вдвое f x = f (f x) & rdquo;
Это частный вопрос из книги, которую я сейчас читаю, так каков тип этого определения: дважды f x = f (f x) Я понимаю, как должна работать функция, но я не смог понять, как правильно ...
вопрос задан: 18 January 2019 16:11
1
ответ
Полиморфный ADT с ограниченным классом типов Конструктор
Почему следующий код не компилируется? {- # ЯЗЫКОВЫЕ ГАДЦЫ # -} класс Foo x, где whoAmI :: x - > Int data One = один экземпляр Foo One, где whoAmI _ = 1 data Two = два экземпляра Foo Two ...
вопрос задан: 18 January 2019 15:21