Вопросы с меткой [haskell]

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

Фильтрация
Сортировка
Метки
0 голосов
0 ответов
32 показа

Возможна beta-редукция?

Всем привет! Тренируюсь с лямбда-исчислением и задаюсь вопросом, можно ли в таком примере провести такую \beta-редукцию? x(xz)(\x'z'.x'(xz)z')(xz) -> x x z x x z z
User Name's user avatar
1 голос
0 ответов
41 показ

Ошибка в функции перевода римского числа в десятичную систему счисления

Написал 4 функции для нахождения суммы римского числа с двоичным, оба переводятся в десятеричную и затем складываются.Проверил отдельно все функции, ошибка появляется только в romeToInt . Вызываю ...
Марат Гумеров's user avatar
1 голос
0 ответов
38 показов

Написание логических выражений с отрицанием, объединением и пересечением

Извините если вопрос слишком банальный, в haskell не сильно разбираюсь, есть следующее логическое выражение not A \ ((B объедение С) \ (B пересечение С)) где \ - вычитание. Есть файл hs с функцией, ...
Марат Гумеров's user avatar
-7 голосов
1 ответ
57 показов

haskell продублировать буквы в строке

Функция f типа Char -> String -> String , которая принимает на вход строку и символ и возвращает строку, в которой продублированы все вхождения символа. Пример: f ’о' "Hello world!" ...
Ondrei's user avatar
  • 1
1 голос
1 ответ
53 показа

Как сделать case для выражения?

Хочу сделать case, который будет для некоторого числа n выдавать один результат (42), для n+1 выдавать другой (43), а для всего остального — третий (44). Пытаюсь сделать так: f x = let n = 4 in case x ...
Hjo's user avatar
  • 35
2 голоса
2 ответа
35 показов

Как из списка точек получить два списка координат?

Имея набор точек X, Y на новых линиях строки, как короче всего получить два списка X и Y отдельно? Или, что то же - имея 1 список, как получить два списка с элементами на чётных и нечётных позициях? &...
sram's user avatar
  • 33
1 голос
1 ответ
52 показа

Как получить рендж функцией, а не синтаксисом листа?

\n -> [0..n] Можно ли записать эту лямбду в point free нотации без написания отдельной функции? Т.е. чтобы можно было сделать цепочку вызовов типа [0..?] $ n.
user550891's user avatar
0 голосов
1 ответ
46 показов

Как короче всего ввести и вывести одно число?

Как короче всего ввести 1 число, разделить его на 2 и вывести? Решаю код-гольф на одной платформе. Я придумал следующий вариант: main=interact$(/2).read Но на платформе есть решение короче (код не ...
Karlik's user avatar
  • 1
1 голос
1 ответ
38 показов

Можно ли не ставить пробел между функцией и аргументом?

Можно ли вызывать функцию с каким-то аргументом без пробела между ними? main=putStr"test" Например, такой код компилируется. Пытался посмотреть в https://www.haskell.org/onlinereport/...
Egor's user avatar
  • 41
1 голос
1 ответ
51 показ

Как прочитать/перевести pickle файлы в Haskell?

У меня есть пикл-файл с данными, содержащими листы, дикты, строки и числа. Как можно перевести эти данные в формат, распознаваемый хаскелем? Т.е. в формат любой из библиотек для сериализации (чем ...
user544894's user avatar
1 голос
1 ответ
44 показа

Как ghci запускает функции?

Я пришел с C#, где есть функция Main, которая является entry point. В новых версиях можно Main не писать, он подставляется автоматически Теперь к хаскелю, тут тоже есть main, который выполняет точно ...
penancewarrior's user avatar
-1 голос
1 ответ
52 показа

Фатальная ошибка SDL2

..Проблема чисто техническая Месяца два назад всё работало, я следовал инструкции первой и второй. Сейчас, после установки ghc-9.2.5, при добавлении sdl2 в package.yaml > dependencies проекта ...
AndreyB's user avatar
1 голос
1 ответ
51 показ

Haskell: Ошибка синтаксиса, которую я не могу понять

Решаю задачу по функциональному программированию, и мне нужно рассчитать сложный процент рекурсивно. Вот мой код, логично он описан более-менее правильно (хотя чувствую, что в функции которая будет ...
Iangyl's user avatar
  • 87
0 голосов
1 ответ
58 показов

Сравнить деревья по высоте >= или > . Haskell

Не получается сравнить деревья по высоте со знаками больше(>) и больше или равно(>=). Вот мой код. Просто зависает при команде tree1 >= tree2 data Tree a = Node a [Tree a] deriving (Eq,...
D-SK Ch's user avatar
  • 13
1 голос
1 ответ
127 показов

О состоянии в функциональном программировании

Состояние в ФП это очень странный предмет, оно вроде есть, а вроде и нет. Поясните, пожалуйста на простом примере. Делаем обычный кнопочный калькулятор. В процедурном программировании при нажатии ...
kioley's user avatar
  • 38
0 голосов
1 ответ
44 показа

Есть ли функция переводящая Maybe в Either (Haskell)

Мне требуется функция переводящая Maybe в Either, я написал свою, но есть ли такая в стандартной библиотеке maybeToJust :: a -> Maybe b -> Either a b maybeToJust _ (Just b) = Right b maybeToJust ...
N0lim's user avatar
  • 1
1 голос
1 ответ
54 показа

Можете показать как сделать так чтобы при нажатии на любую клавишу в консоле выводилось какое-нибудь слово

Уже долго ищу в интернете и всё не как не могу понять как это можно реализовать на хаскеле, если сможете помочь буду благодарен.
Arthur's user avatar
  • 11
1 голос
1 ответ
65 показов

Функция на haskell

Есть такой код, представляющий собой попытку описать объект робота: robot (name, attack, hp) = \message -> message(name, attack, hp) name (n, _, _) = n attack (_, a, _) = a hp (_, _, hp) = hp ...
Rikitikitavi's user avatar
  • 2,453
0 голосов
1 ответ
39 показов

JavaScript Как в функции bind() связать параметры не по порядку?

Как связать переданные параметры в bind с аргументами не по порядку? Например, как сделать чтобы в таком примере: let logWithEnding = console.log.bind(null, "\nThe End!"); logWithEnding(&...
ZX-SPECTRUM's user avatar
0 голосов
1 ответ
33 показа

Приглашение ввода печатается после ввода Haskell

При выполнении следующего кода не происходит вывода приглашения к вводу перед непосредственно вводом (что ожидается). Программа сначала ждёт ввод, а только после него выводит приглашение и строку с ...
UncleDrema's user avatar
0 голосов
1 ответ
126 показов

Не могу запустить haskell файл через runhaskell

я установил на компьютер stack и выполнил команду по этой ссылке https://www.haskell.org/ghcup/ (ОС - Windows 10) Содержимое main.hs main = print 2 находясь в папке в которой лежит main.hs пишу в ...
RomanGodMode's user avatar
0 голосов
2 ответа
65 показов

Как использовать библиотеки, в GHC?

У меня не получилось скачать lib'ы через stack install, ну или cabal install (только через git с hackage), а следовательно и скомпилить их, но у меня есть GHC. Но мне не совсем понятно, «желательно ли ...
AndreyB's user avatar
1 голос
2 ответа
71 показ

Аналог команды :t из интерактивного режима ghci

В учебнике по haskell есть раздел посвящённый типам и показана удобная команда :t которой можно посмотреть тип выражений и функций: ghci> :t 'a' 'a' :: Char ghci> :t True True :: Bool ...
A K's user avatar
  • 28.7k
1 голос
1 ответ
63 показа

Как сделать чтобы в haskell корректно выводились числа double?

Если я сделаю код show 8.0 оно выведет 8.0 а мне надо чтобы выводило 8 но если show 5.5 то выводило 5.5, Простите заранее что такая плохая формулировка, я не знаю как это сказать.
NULL's user avatar
  • 33
2 голоса
1 ответ
332 показа

Работа свертки функций в haskell

Всем доброго времени суток! Я недавно начала изучать функциональное программирование в haskell. И теперь у меня возник вопрос, как работает свертка функций (fold). Пытаюсь ее осознать, но никак не ...
Fire13nyu's user avatar
  • 163
2 голоса
2 ответа
151 показ

Реализация метода интегрирования Верле

Всем доброго времени суток! Я хотела реализовать метод интегрирования Верле (https://en.wikipedia.org/wiki/Verlet_integration) без использования скорости, но наткнулась на проблему наличия текущей и ...
Fire13nyu's user avatar
  • 163
1 голос
2 ответа
139 показов

Как ввести одно целое число с консоли

Придумал себе задачу на базовые элементы языка - "перевести температуру из градусов цельсия в фаренгейты", запнулся на этапе ввода целого числа: -- Ask temperature in Celsius then convert to ...
A K's user avatar
  • 28.7k
0 голосов
0 ответов
142 показа

Перевести с Python на Haskell алгоритм Форда Фалкерсона

redfu :: Integer->[[[Integer]]]->Integer redfu s= [[[s,s,s]]] redfu x=x --red_1 s= if s/=end then red_2 x end set_graph :: Integer->Integer set_graph x = if x==(-1) then redfu a v else redfu ...
Роман Артамонов's user avatar
3 голоса
1 ответ
111 показов

Реализовать алгоритм по автоматам на Хаскеле

Мне нужно проверить, допускает ли автомат слово, которое состоит из одинаковых символов. Если хотя бы одно такое есть, то нужно вывести его, если нет - вывести "NO". Для каждого символа из ...
user435351's user avatar
0 голосов
2 ответа
194 показа

Разделить лист в хаскеле по условию

Нужно поделить list на несколько частей, так что бы в первой части был 1 элемент, во второй - 2, в n-той n элементов. Как это можно сделать? Например: [1,2,3,4,5,6,7,8,9] -> [1], [2,3], [3,4,5], [6,...
user407211's user avatar
1 голос
1 ответ
76 показов

Задача на листы в хаскеле

Нужно написать функцию которая буде удалять элементы листа с индексами которые являются простыми. Главная проблема в том что я не понимаю как работать с индексами в хаскеле.
user407211's user avatar
3 голоса
2 ответа
202 показа

Почему рекурсия с аккумулированием быстрее?

Почему код: fact2 :: Integer -> Integer fact2 n | n >= 0 = helper 1 n | otherwise = error "error" helper acc 0 = acc helper acc n = helper (acc*n) (n - 1) Быстрее и ест ...
ZX-SPECTRUM's user avatar
3 голоса
1 ответ
119 показов

Помогите сократить код на Haskell пожалуйста

Надо найти все множества анаграмм, которые содержат в себе наибольшее количество слов. Функция должна иметь следующий тип: anagram :: [String] -> [[String]] Пример: GHCi> anagram ["abc&...
CyberSecurity's user avatar
1 голос
1 ответ
35 показов

choco install tidalcycles выдаёт ошибку связанную с установкой cabal [закрыт]

cabal.exe: Error: some packages failed to install: hosc-0.18.1-E8HvZE68mHq5JMr5fA0zfb depends on hosc-0.18.1 which failed to install. network-3.1.2.0-3J3aiSFSjtoHAHbAISoV5i failed during the configure ...
Stuff Spirit's user avatar
2 голоса
1 ответ
103 показа

Подсписок первых N элементов

Подсписок первых n элементов, начиная с нулевого. Число n передает- ся первым аргументом, исходныи̮ список — вторым. У пустого списка при любом числе возвращается пустой список. Предусмотреть ситуацию ...
A_Hatake's user avatar
  • 177
2 голоса
1 ответ
37 показов

Haskel. Проблема с иммутабельностью в рекурсивной функции

Пишу небольшую консольную игрушку, есть карта вида: ####### #%....# #.....# ####### А также функция вечно вызывающая саму себя, этакий mainloop. Каждый вызов функция запрашивает ввод символа - wasd ...
Стасенко Константин's user avatar
0 голосов
0 ответов
64 показа

Haskell не экспортируется функция при создании dll

Пишу код на Haskell и компилирую в библиотеку dll, после этого, с помощью утилиты dumpbin просматриваю таблицу командой dumpbin /IMPORTS Foo.dll. Название экспортируемой функции "adder". ...
Дмитрий's user avatar
1 голос
0 ответов
83 показа

c# не видит функцию из dll Haskell

c# не видит функцию из dll Haskell Импортируемая библиотека из Haskell: {-# LANGUAGE ForeignFunctionInterface #-} module Foo where import Foreign.C.Types foreign export ccall adder :: CInt -> ...
Дмитрий's user avatar
-2 голоса
1 ответ
117 показов

Как решить задачу о быках, коровах и телятах на Haskell?

Бык стоит 10 рублей, корова - 5 рублей, телёнок - 0.5 рублей. Необходимо на 100 рублей купить 100 голов скота. Мне стало интересно, как такую задачу решить в Haskell? В императивных языках задача ...
Николай Гончаров's user avatar
3 голоса
1 ответ
57 показов

Ошибка: "Warning: You asked to install executables, but there are no executables in target sqlite-simple"

Пытаюсь установить SQLite в Haskell, но он выдает ошибку: D:\hq>cabal install sqlite-simple Resolving dependencies... Up to date Warning: You asked to install executables, but there are no ...
Victoria Leshcheko's user avatar
2 голоса
1 ответ
93 показа

Как повернуть содержимое файла Haskell

Нужно повернуть содержимое текстового файла на n градусов(содержимое может быть представлено любыми символами) Сделал поворот матрицы на 90 влево и вправо import Data.List rotateLeft :: [[a]] -> ...
CyberNoble's user avatar
1 голос
1 ответ
99 показов

Haskell и Монады

При воспроизведении данного куска кода: half x = if even x then Just (x `div` 2) else Nothing printMaybe m = case m of Nothing -> putStrLn "List was empty!" Just x -> ...
true-hacker's user avatar
3 голоса
1 ответ
236 показов

Как вывести русские символы в haskell

Пробую запустить простую программу на Haskell main = print "Привет, мир!" Но при выводе получаю: C:\haskell>runhaskell helloWorld.hs "\1055\1088\1080\1074\1077\1090, \1084\1080\1088!" Как ...
A K's user avatar
  • 28.7k
-1 голос
1 ответ
51 показ

Нужна помощь с синтезом типа

Есть следующая функция, которая создаёт логическую функцию, опираясь на вектор значений: {-# LANGUAGE MultiWayIf #-} buildFnFromVec lst | length lst == 4 = \x -> \y -> ...
limitedeternity's user avatar
2 голоса
1 ответ
138 показов

Haskell: Возможно ли апплицировать элементы списка длины n к функции?

Сложилась такая ситуация: Есть функция fn :: Bool -> Bool -> Bool -> Bool. Есть список, состоящий из списков возможных значений аргументов функции fn: [[False, False, False], ... , [True, ...
limitedeternity's user avatar
0 голосов
1 ответ
164 показа

Как вернуть список с помощью функции в Haskell

Нужно вернуть списком или еще каким-нибудь образом вывести в консоль результат подсчета 2 уравнений.К примеру,нужно вывести результат от x+y и x*y,отдавая хаскелю только команду, наподобие: prelude-&...
user avatar
0 голосов
1 ответ
349 показов

Haskell как передать функции в качестве аргумента отрицательное число

Начал изучать хаскель и столкнулся с проблемой,в учебнике дали функцию првоерки на знак числа,при передаче функции положительного,либо 0,она работает нормально,как только передаю отрицательное,она ...
user avatar
0 голосов
1 ответ
99 показов

Применение Haskell для написания мобильных приложений, приложений для Windows web-приложений

Начинаю осваивать Haskell, но все уроки и руководства - работа в консоли. Подскажите, возможно ли, например, написать мобильное приложение на языке Haskell, и посоветуйте руководство именно по этой ...
Pavel Sumarokov's user avatar
0 голосов
1 ответ
32 показа

Решить логическое выражение в Coq

Язык:Coq Есть цель: (some_function x || true)%bool = true С помощью какой тактики можно ее решить, не рассматривая первую часть?
he11boy's user avatar
1 голос
1 ответ
87 показов

Доступ к монаде IO из обработчика запросов Servant

У меня есть 2 функции: updateGrid -> записывает JSON в файл updateGrid :: Field -> IO () updateGrid f = I.writeFile "grids/field.json" (encodeToLazyText f) и respond, который просто возвращает ...
user363996's user avatar