Все время ошибки в компиляции кода

@CatCode · Регистрация: 15.07.2022

Студворк — интернет-сервис помощи студентам

Haskell
1
2
3
4
main :: IO ()
main = do
  let v = c (u (b s) (k (u (b c) (s (k s) k)))) (k (u (b c) (s (k s) k)))
  print (v 2 6)

ответ должен быть 9 , но я все время ошибки в компиляции кода

@Curry · 29.04.2023, 20:08

CatCode, признавайтесь, вы попросили ChatGPT или что то подобное написать вам какую то программу и оно такое выдало?

Вы бы объяснили что вам надо. И на каком языке, кстати?

@Catstail · 29.04.2023, 20:58

CatCode, дай формулировку задачи. А говнкод оставь ChatGPT.

@CatCode · 29.04.2023, 21:10 **[ТС]**

Catstail, Построить из комбинаторов i, b, k, c, w, s
и функций p x = x + 1, u x y = x + y
выражение v, удовлетворяющее условиям варианта.
Функции р и u можут быть использованы не более одного раза
v 2 6 = 9 - задание для варианта

@Curry · 29.04.2023, 22:39

Сообщение от CatCode

Построить из комбинаторов i, b, k, c, w, s

Опишите комбинаторы в коде.
И функции p,u, сами они не запишутся.

Сообщение от CatCode

Функции р и u можут быть использованы не более одного раза

u вы используете 3 раза, а p ни разу.

@abit · 06.06.2023, 15:52

А поясните, для чего там комбинаторы, если хватит p и u

Haskell
1
2
3
4
5
6
p x = x + 1
u x y =  x + y
 
main = do 
   let v x y = u (p x) y
   print(v 2 6)

@extrn · 07.06.2023, 20:23

Ну так можно и без p и u обойтись

Haskell
1
v _ _ = 9

А задание на понимание комбинаторной логики, вестимо

В общем-то, для решения через комбинаторы нужно немногим больше: помимо p и u только комбинатор b (композиция), причем в единственном экземпляре.

Новые блоги и статьи Все статьи Все блоги /
Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.

@Curry Модератор 5153 / 3466 / 536 Регистрация: 01.06.2013 Сообщений: 7,525 Записей в блоге: 9
	29.04.2023, 20:08
	CatCode, признавайтесь, вы попросили ChatGPT или что то подобное написать вам какую то программу и оно такое выдало? Вы бы объяснили что вам надо. И на каком языке, кстати? 1

@Catstail Супер-модератор 38164 / 21099 / 4306 Регистрация: 12.02.2012 Сообщений: 34,687 Записей в блоге: 14
	29.04.2023, 20:58
	CatCode, дай формулировку задачи. А говнкод оставь ChatGPT. 1

@CatCode 0 / 0 / 1 Регистрация: 15.07.2022 Сообщений: 70
	29.04.2023, 21:10 [ТС]
	Catstail, Построить из комбинаторов i, b, k, c, w, s и функций p x = x + 1, u x y = x + y выражение v, удовлетворяющее условиям варианта. Функции р и u можут быть использованы не более одного раза v 2 6 = 9 - задание для варианта 0

Все время ошибки в компиляции кода

Решение