Haskell Есть ли ̶ж̶и̶з̶н̶ь̶ ̶н̶а̶ ̶М̶а̶р̶с̶е̶ Windows - GUI для Haskell в 2020-м году. Похоже, науке это не известно (:Господа, товарищи эксперты !
Есть ли в современном мире Haskell простая (желательно не очень большая)
GUI - библиотека под Windows (64) для desktop-приложений, устанавливаемая (желательно) при помощи stack
(+ минимальное количество телодвижений при установке бинарников) и допускающая статическую линковку?
Требования минимальные - окна, кнопки, чекбоксы, поля ввода.
wxHaskell не предлагать!...https://www.cyberforum.ru/ haskell/ thread2681854.html
Haskell Монада списка с переменным числом уровней Доброе время суток!
Подскажите, пожалуйста, можно ли как-то использовать монаду списка для случая, когда заранее неизвестно само число уровней в монаде (например оно зависит от n)? Формально это можно представить в следующем виде:
sublists n = do
x1 <-
x2 <-
x3 <-
..................
xn <-
Haskell Как выбрать полноценный компьютер для HaskellИзвестно, что для того, чтобы Haskell успешно работал, ему необходимо порядка 10 Гигабайт RAM и 256 Гигабайт SSD. Однако достаточная ли эта информация для того, чтобы можно было выбрать "компьютерное железо" для успешной работы на Haskell?
То есть, я имею в виду, что вот так просто:
10 Gb RAM && 256 Gb SSD
И всё? Этого достаточно?
На что ещё следует обратить внимание при выборе железа...https://www.cyberforum.ru/ haskell/ thread2679598.html
Haskell Установка GLFW-b, файл KHR/khrplatform.hhttps://www.cyberforum.ru/ haskell/ thread2676771.html Читаю книгу А. Холомьёва по Haskell (https://anton-k.github.io/ru-haskell-book/book/home.html), глава 20. Здесь используется в одном из примеров в начале главы (стр. 292) импортируется модуль Graphics.UI.GLFW. Посмотрел в Hoogle, этот модуль относится к пакету GLFW-b. При попытке поставить его с помощью cabal выдаётся следующее:
Warning: The package list for 'hackage.haskell.org' is 325.0 days...
Haskell Определите тип данных, представляющий информацию о карте в карточной игре Определите тип данных, представлющий информацию о карте в карточной игре. Каждая карта характеризуется одной из четырех мастей. Карта может быть либо младшей (от двойки до десятки), либо картинкой (валет, дама, король, туз). Определите функции:
1)Функция isMinor, проверяющая, что ее аргумент является младшей картой.
2)Функция sameSuit, проверяющая, что переданные в нее карты — одной масти....
Haskell Примеры к задаче по Haskellhttps://www.cyberforum.ru/ haskell/ thread2668877.html Помогите придумать примеры для проверки каждой функции этой задачи. Никак не могу сообразить:
data NedvObject = Flat Int Int Int | Room Int Int Int Int | House Int deriving (Eq,Show)
-- Flat этаж площадь этажность | Room этаж площадь этажность пл.комнаты | House площадь
data Requirements = Type String | MinArea Int | MaxPrice Int | NeedFloor Int
-- getHouses выбирает из базы данных...
Haskell Не могу понять функциюЕсть условие задачи и её решение. В решении меня интересует вопрос , что делает функция nub в предоставленном решении.
Условие задачи:
Определите тип данных, представляющий информацию о карте и карточной игре. Каждая карта характеризуется одной из 4-х мастей. Карта может быть либо младшей (от двойки до десятки), либо картинкой (валет, дама, король, туз). Определить ф-ю.
Функция, по...https://www.cyberforum.ru/ haskell/ thread2668202.html
Haskell Help with Haskell 1) Зачем параметры у Note?
2) getByLetter :: -> Char -> String ->
Какие параметры у этой функции? Особенно интересует последний входной параметр.
помогите с вопросами, вот код проги:
data Note a b = BDate a (b,b,b) | Phone a b | Meet (b,b,b) a deriving (Show, Eq)
book ::
book =
--вспомогательная функция для работы основной функции
Haskell Задача на Haskell (Полиморфизм)Здравствуйте!
Задача довольно крупная, может кто поможет
Определите функцию main (без аргументов), реализующую тестовые (демонстрационные) запуски всех разработанных элементов.
Многочлен P (x) = ak xk + ak-1xk-1 + ... + a1x + a0
будем представлять списком коэффициентов при степенях переменной многочлена в порядке возрастания степени: .
Опишите тип данных Polynomial a, определяющий...https://www.cyberforum.ru/ haskell/ thread2668100.html
Haskell Что такое оператор ":"? Зачем нужен, где применяется?https://www.cyberforum.ru/ haskell/ thread2667079.html Вопрос глупый, но буду рад узнать подробный ответ.
Что такое оператор ":"? Зачем нужен, где применяется?
Haskell Как сделать reverse списка типа Listhttps://www.cyberforum.ru/ haskell/ thread2664477.html Здравствуйте уважаемые!
Возник такой интересный для меня вопрос)
Возможно ли как то сделать reverse списка типа List
Я сначала думал что это просто, но ка
Вся загвоздка в том, что я запускаю не хаскелльные лямбда-функции, а мои собственные. Нотация почти такая же как в Хаскелле, только точка вместо стрелочки.
Программа работает не с одной лямбда-функции, а с их списком.
#pow2 #two #two
[(\ba.a b ),((\cba.b ((c )(b )(a )))(\ba.b a )),((\cba.b ((c )(b )(a )))(\ba.b a ))][\a.a ((\dcb.c ((d )(c )(b )))(\cb.c b )) ,((\cba.b ((c )(b )(a )))(\ba.b a ))][(((\cba.b ((c )(b )(a )))(\ba.b a ))((\cba.b ((c )(b )(a )))(\ba.b a )))][\ba.b (((\dc.d c ))(b )(a )) ,((\cba.b ((c )(b )(a )))(\ba.b a ))][\a.((\dcb.c ((d )(c )(b )))(\cb.c b ))(((\cb.c b ))(((\dcb.c ((d )(c )(b )))(\cb.c b )))(a ))][\a.\cb.c (((\ed.e d ))(c )(b ))(((\cb.c b ))(((\dcb.c ((d )(c )(b )))(\cb.c b )))(a ))][\a.\b.(((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b ))(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))][\a.\b.\c.(((\fed.e ((f )(e )(d )))(\ed.e d ))) c (b )(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))][\a.\b.((((\edc.d ((e )(d )(c )))(\dc.d c )))(b ))(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))][\a.\b.\dc.d (((\fe.f e ))(d )(c ))(b )(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))][\a.\b.\c.(c )(((\ed.e d ))((c ))(c ))(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))][\a.\b.(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))][\a.\b.\c.((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c ))) c (b )(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.(((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((b ))))(b ))(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.\c.(((\fed.e ((f )(e )(d )))(\ed.e d ))) c ((b ))(b )(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.((((\edc.d ((e )(d )(c )))(\dc.d c )))((b )))(b )(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.\dc.d (((\fe.f e ))(d )(c ))((b ))(b )(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.\c.((c ))(((\ed.e d ))(((c )))(c ))(b )(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.((((b )))(((\dc.d c ))((((b ))))((b ))))(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b (\c.((((c )))) c ((b )))(\c.(((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c )))(c )))) c ((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b ((((((((b ))))))((b ))))(((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))][\a.\b.b (b (b ))(\c.((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c )))(c )))))) c (((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b (b (b ))((((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b (b (b ))(\c.(((\fed.e ((f )(e )(d )))(\ed.e d ))) c (((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b (b (b ))(((((\edc.d ((e )(d )(c )))(\dc.d c )))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b (b (b ))(\dc.d (((\fe.f e ))(d )(c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b (b (b ))(\c.(((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c )))(c )))))))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c )))(c ))))))))(((\ed.e d ))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c )))(c )))))))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c )))(c )))))))))(c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))][\a.\b.b (b (b ))(((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))))))))))(((\dc.d c ))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b )))))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(b ))))]
...
...
...
#pow #two #two
[(\dcba.c d b a ),((\cba.b ((c )(b )(a )))(\ba.b a )),((\cba.b ((c )(b )(a )))(\ba.b a ))][\cba.c ((\fed.e ((f )(e )(d )))(\ed.e d )) b a ,((\cba.b ((c )(b )(a )))(\ba.b a ))][\ba.((\edc.d ((e )(d )(c )))(\dc.d c ))((\edc.d ((e )(d )(c )))(\dc.d c )) b a ][\ba.\dc.d (((\fe.f e ))(d )(c ))((\edc.d ((e )(d )(c )))(\dc.d c )) b a ][\ba.\c.((\fed.e ((f )(e )(d )))(\ed.e d ))(((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(c )) b a ][\ba.(((\edc.d ((e )(d )(c )))(\dc.d c ))(((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b ))) a ][\ba.\dc.d (((\fe.f e ))(d )(c ))(((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )) a ][\ba.\c.(((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(a ))(((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(a )))(c )) a ][\ba.((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b ))(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a )))][\ba.\c.(((\fed.e ((f )(e )(d )))(\ed.e d ))) c (b )(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a ))][\ba.((((\edc.d ((e )(d )(c )))(\dc.d c )))(b ))(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a ))][\ba.\dc.d (((\fe.f e ))(d )(c ))(b )(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a ))][\ba.\c.(a )(((\ed.e d ))((a ))(c ))(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a ))][\ba.((b )(((\dc.d c ))((b ))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a )))))][\ba.b (\c.((a )) c ((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a ))))][\ba.b ((((b ))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a )))))][\ba.b (b (\c.((((\ed.e d ))(((\fed.e ((f )(e )(d )))(\ed.e d )))(a ))) c (a )))][\ba.b (b ((((((\dc.d c ))(((\edc.d ((e )(d )(c )))(\dc.d c )))(b )))(a ))))][\ba.b (b (\c.(((\fed.e ((f )(e )(d )))(\ed.e d ))) c (b )(a )))][\ba.b (b (((((\edc.d ((e )(d )(c )))(\dc.d c )))(b ))(a )))][\ba.b (b (\dc.d (((\fe.f e ))(d )(c ))(b )(a )))][\ba.b (b (\c.(a )(((\ed.e d ))((a ))(c ))(a )))][\ba.b (b (((b )(((\dc.d c ))((b ))((a ))))))][\ba.b (b (b (\c.((a )) c ((a )))))][\ba.b (b (b ((((b ))((a ))))))][\ba.b (b (b (b (a ))))][\ba.b (b (b (b (a ))))][\ba.b (b (b (b (a ))))][\ba.b (b (b (b (a ))))][\ba.b (b (b (b (a ))))]