Вопросы с меткой [haskell]
Haskell - это чистый функциональный язык программирования общего назначения. Имеет полную, сильную, статическую систему типов с автоматическим выводом типов, основанную на системе типов Хиндли — Милнера.
156
вопросов
0
голосов
1
ответ
50
показов
Возможна beta-редукция?
Всем привет! Тренируюсь с лямбда-исчислением и задаюсь вопросом, можно ли в таком примере провести такую \beta-редукцию?
x(xz)(\x'z'.x'(xz)z')(xz) -> x x z x x z z
1
голос
0
ответов
43
показа
Ошибка в функции перевода римского числа в десятичную систему счисления
Написал 4 функции для нахождения суммы римского числа с двоичным, оба переводятся в десятеричную и затем складываются.Проверил отдельно все функции, ошибка появляется только в romeToInt .
Вызываю ...
1
голос
0
ответов
44
показа
Написание логических выражений с отрицанием, объединением и пересечением
Извините если вопрос слишком банальный, в haskell не сильно разбираюсь, есть следующее логическое выражение not A \ ((B объедение С) \ (B пересечение С)) где \ - вычитание. Есть файл hs с функцией, ...
-7
голосов
1
ответ
65
показов
haskell продублировать буквы в строке
Функция f типа Char -> String -> String , которая принимает на вход строку и символ и возвращает строку, в которой продублированы все вхождения символа. Пример: f ’о' "Hello world!" ...
1
голос
1
ответ
54
показа
Как сделать case для выражения?
Хочу сделать case, который будет для некоторого числа n выдавать один результат (42), для n+1 выдавать другой (43), а для всего остального — третий (44). Пытаюсь сделать так:
f x = let n = 4 in case x ...
2
голоса
2
ответа
38
показов
Как из списка точек получить два списка координат?
Имея набор точек X, Y на новых линиях строки, как короче всего получить два списка X и Y отдельно? Или, что то же - имея 1 список, как получить два списка с элементами на чётных и нечётных позициях?
&...
1
голос
1
ответ
56
показов
Как получить рендж функцией, а не синтаксисом листа?
\n -> [0..n]
Можно ли записать эту лямбду в point free нотации без написания отдельной функции? Т.е. чтобы можно было сделать цепочку вызовов типа [0..?] $ n.
0
голосов
1
ответ
47
показов
Как короче всего ввести и вывести одно число?
Как короче всего ввести 1 число, разделить его на 2 и вывести?
Решаю код-гольф на одной платформе. Я придумал следующий вариант:
main=interact$(/2).read
Но на платформе есть решение короче (код не ...
1
голос
1
ответ
39
показов
Можно ли не ставить пробел между функцией и аргументом?
Можно ли вызывать функцию с каким-то аргументом без пробела между ними?
main=putStr"test"
Например, такой код компилируется. Пытался посмотреть в https://www.haskell.org/onlinereport/...
1
голос
1
ответ
54
показа
Как прочитать/перевести pickle файлы в Haskell?
У меня есть пикл-файл с данными, содержащими листы, дикты, строки и числа. Как можно перевести эти данные в формат, распознаваемый хаскелем? Т.е. в формат любой из библиотек для сериализации (чем ...
1
голос
1
ответ
51
показ
Как ghci запускает функции?
Я пришел с C#, где есть функция Main, которая является entry point. В новых версиях можно Main не писать, он подставляется автоматически
Теперь к хаскелю, тут тоже есть main, который выполняет точно ...
-1
голос
1
ответ
65
показов
Фатальная ошибка SDL2
..Проблема чисто техническая
Месяца два назад всё работало, я следовал инструкции первой и второй.
Сейчас, после установки ghc-9.2.5, при добавлении sdl2 в package.yaml > dependencies проекта ...
1
голос
1
ответ
55
показов
Haskell: Ошибка синтаксиса, которую я не могу понять
Решаю задачу по функциональному программированию, и мне нужно рассчитать сложный процент рекурсивно. Вот мой код, логично он описан более-менее правильно (хотя чувствую, что в функции которая будет ...
0
голосов
1
ответ
59
показов
Сравнить деревья по высоте >= или > . Haskell
Не получается сравнить деревья по высоте со знаками больше(>) и больше или равно(>=).
Вот мой код. Просто зависает при команде tree1 >= tree2
data Tree a = Node a [Tree a] deriving (Eq,...
1
голос
1
ответ
135
показов
О состоянии в функциональном программировании
Состояние в ФП это очень странный предмет, оно вроде есть, а вроде и нет.
Поясните, пожалуйста на простом примере. Делаем обычный кнопочный калькулятор. В процедурном программировании при нажатии ...
0
голосов
1
ответ
47
показов
Есть ли функция переводящая Maybe в Either (Haskell)
Мне требуется функция переводящая Maybe в Either, я написал свою, но есть ли такая в стандартной библиотеке
maybeToJust :: a -> Maybe b -> Either a b
maybeToJust _ (Just b) = Right b
maybeToJust ...
1
голос
1
ответ
58
показов
Можете показать как сделать так чтобы при нажатии на любую клавишу в консоле выводилось какое-нибудь слово
Уже долго ищу в интернете и всё не как не могу понять как это можно реализовать на хаскеле, если сможете помочь буду благодарен.
1
голос
1
ответ
66
показов
Функция на haskell
Есть такой код, представляющий собой попытку описать объект робота:
robot (name, attack, hp) = \message -> message(name, attack, hp)
name (n, _, _) = n
attack (_, a, _) = a
hp (_, _, hp) = hp
...
0
голосов
1
ответ
39
показов
JavaScript Как в функции bind() связать параметры не по порядку?
Как связать переданные параметры в bind с аргументами не по порядку?
Например, как сделать чтобы в таком примере:
let logWithEnding = console.log.bind(null, "\nThe End!");
logWithEnding(&...
0
голосов
1
ответ
33
показа
Приглашение ввода печатается после ввода Haskell
При выполнении следующего кода не происходит вывода приглашения к вводу перед непосредственно вводом (что ожидается).
Программа сначала ждёт ввод, а только после него выводит приглашение и строку с ...
0
голосов
1
ответ
146
показов
Не могу запустить haskell файл через runhaskell
я установил на компьютер stack и выполнил команду по этой ссылке https://www.haskell.org/ghcup/ (ОС - Windows 10)
Содержимое main.hs
main = print 2
находясь в папке в которой лежит main.hs пишу в ...
0
голосов
2
ответа
68
показов
Как использовать библиотеки, в GHC?
У меня не получилось скачать lib'ы через stack install, ну или cabal install (только через git с hackage), а следовательно и скомпилить их, но у меня есть GHC.
Но мне не совсем понятно, «желательно ли ...
1
голос
2
ответа
79
показов
Аналог команды :t из интерактивного режима ghci
В учебнике по haskell есть раздел посвящённый типам и показана удобная команда :t которой можно посмотреть тип выражений и функций:
ghci> :t 'a'
'a' :: Char
ghci> :t True
True :: Bool
...
1
голос
1
ответ
68
показов
Как сделать чтобы в haskell корректно выводились числа double?
Если я сделаю код
show 8.0 оно выведет 8.0
а мне надо чтобы выводило 8 но если show 5.5 то выводило 5.5, Простите заранее что такая плохая формулировка, я не знаю как это сказать.
2
голоса
1
ответ
363
показа
Работа свертки функций в haskell
Всем доброго времени суток! Я недавно начала изучать функциональное программирование в haskell. И теперь у меня возник вопрос, как работает свертка функций (fold). Пытаюсь ее осознать, но никак не ...
2
голоса
2
ответа
161
показ
Реализация метода интегрирования Верле
Всем доброго времени суток! Я хотела реализовать метод интегрирования Верле (https://en.wikipedia.org/wiki/Verlet_integration) без использования скорости, но наткнулась на проблему наличия текущей и ...
1
голос
2
ответа
145
показов
Как ввести одно целое число с консоли
Придумал себе задачу на базовые элементы языка - "перевести температуру из градусов цельсия в фаренгейты", запнулся на этапе ввода целого числа:
-- Ask temperature in Celsius then convert to ...
0
голосов
0
ответов
145
показов
Перевести с 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 ...
3
голоса
1
ответ
112
показов
Реализовать алгоритм по автоматам на Хаскеле
Мне нужно проверить, допускает ли автомат слово, которое состоит из одинаковых символов. Если хотя бы одно такое есть, то нужно вывести его, если нет - вывести "NO". Для каждого символа из ...
0
голосов
2
ответа
197
показов
Разделить лист в хаскеле по условию
Нужно поделить list на несколько частей, так что бы в первой части был 1 элемент, во второй - 2, в n-той n элементов. Как это можно сделать?
Например: [1,2,3,4,5,6,7,8,9] -> [1], [2,3], [3,4,5], [6,...
1
голос
1
ответ
76
показов
Задача на листы в хаскеле
Нужно написать функцию которая буде удалять элементы листа с индексами которые являются простыми. Главная проблема в том что я не понимаю как работать с индексами в хаскеле.
3
голоса
2
ответа
220
показов
Почему рекурсия с аккумулированием быстрее?
Почему код:
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)
Быстрее и ест ...
3
голоса
1
ответ
122
показа
Помогите сократить код на Haskell пожалуйста
Надо найти все множества анаграмм, которые содержат в себе наибольшее количество слов.
Функция должна иметь следующий тип:
anagram :: [String] -> [[String]]
Пример:
GHCi> anagram ["abc&...
1
голос
1
ответ
43
показа
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 ...
2
голоса
1
ответ
112
показов
Подсписок первых N элементов
Подсписок первых n элементов, начиная с нулевого. Число n передает-
ся первым аргументом, исходныи̮ список — вторым. У пустого списка при любом числе возвращается пустой список. Предусмотреть ситуацию ...
2
голоса
1
ответ
38
показов
Haskel. Проблема с иммутабельностью в рекурсивной функции
Пишу небольшую консольную игрушку, есть карта вида:
#######
#%....#
#.....#
#######
А также функция вечно вызывающая саму себя, этакий mainloop. Каждый вызов функция запрашивает ввод символа - wasd ...
0
голосов
0
ответов
64
показа
Haskell не экспортируется функция при создании dll
Пишу код на Haskell и компилирую в библиотеку dll, после этого, с помощью утилиты dumpbin просматриваю таблицу командой dumpbin /IMPORTS Foo.dll. Название экспортируемой функции "adder".
...
1
голос
0
ответов
83
показа
c# не видит функцию из dll Haskell
c# не видит функцию из dll Haskell
Импортируемая библиотека из Haskell:
{-# LANGUAGE ForeignFunctionInterface #-}
module Foo where
import Foreign.C.Types
foreign export ccall
adder :: CInt -> ...
-2
голоса
1
ответ
121
показ
Как решить задачу о быках, коровах и телятах на Haskell?
Бык стоит 10 рублей, корова - 5 рублей, телёнок - 0.5 рублей. Необходимо на 100 рублей купить 100 голов скота. Мне стало интересно, как такую задачу решить в Haskell? В императивных языках задача ...
3
голоса
1
ответ
60
показов
Ошибка: "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 ...
2
голоса
1
ответ
94
показа
Как повернуть содержимое файла Haskell
Нужно повернуть содержимое текстового файла на n градусов(содержимое может быть представлено любыми символами)
Сделал поворот матрицы на 90 влево и вправо
import Data.List
rotateLeft :: [[a]] -> ...
1
голос
1
ответ
101
показ
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 -> ...
4
голоса
1
ответ
263
показа
Как вывести русские символы в haskell
Пробую запустить простую программу на Haskell
main = print "Привет, мир!"
Но при выводе получаю:
C:\haskell>runhaskell helloWorld.hs
"\1055\1088\1080\1074\1077\1090, \1084\1080\1088!"
Как ...
-1
голос
1
ответ
51
показ
Нужна помощь с синтезом типа
Есть следующая функция, которая создаёт логическую функцию, опираясь на вектор значений:
{-# LANGUAGE MultiWayIf #-}
buildFnFromVec lst
| length lst == 4 =
\x -> \y -> ...
2
голоса
1
ответ
143
показа
Haskell: Возможно ли апплицировать элементы списка длины n к функции?
Сложилась такая ситуация:
Есть функция fn :: Bool -> Bool -> Bool -> Bool.
Есть список, состоящий из списков возможных значений аргументов функции fn: [[False, False, False], ... , [True, ...
0
голосов
1
ответ
170
показов
Как вернуть список с помощью функции в Haskell
Нужно вернуть списком или еще каким-нибудь образом вывести в консоль результат подсчета 2 уравнений.К примеру,нужно вывести результат от x+y и x*y,отдавая хаскелю только команду, наподобие:
prelude-&...
0
голосов
1
ответ
368
показов
Haskell как передать функции в качестве аргумента отрицательное число
Начал изучать хаскель и столкнулся с проблемой,в учебнике дали функцию првоерки на знак числа,при передаче функции положительного,либо 0,она работает нормально,как только передаю отрицательное,она ...
0
голосов
1
ответ
102
показа
Применение Haskell для написания мобильных приложений, приложений для Windows web-приложений
Начинаю осваивать Haskell, но все уроки и руководства - работа в консоли. Подскажите, возможно ли, например, написать мобильное приложение на языке Haskell, и посоветуйте руководство именно по этой ...
0
голосов
1
ответ
34
показа
Решить логическое выражение в Coq
Язык:Coq
Есть цель:
(some_function x || true)%bool = true
С помощью какой тактики можно ее решить, не рассматривая первую часть?
1
голос
1
ответ
87
показов
Доступ к монаде IO из обработчика запросов Servant
У меня есть 2 функции: updateGrid -> записывает JSON в файл
updateGrid :: Field -> IO ()
updateGrid f = I.writeFile "grids/field.json" (encodeToLazyText f)
и respond, который просто возвращает ...