Task 1 Create a module named HW0.T1. Task 2 Create a module named HW0.T2. Task 3 Create a module named HW0.T3. Task 4 Create a module named HW0.T4. Task 5 Create a module named HW0.T5. Task 6 Create a module named HW0.T6 and define the following type in it. Лабораторная работа на Haskell (Hugs-98)

© Данная готовая работа выполнена сотрудником нашего сайта. Если Вы считаете, что эта страница каким-либо образом нарушает Ваши авторские права, то Вам следует обратиться в администрацию нашего сайта по адресу info@kursovik.com либо через форму обратной связи.

Если Вам нужны все файлы проекта данной программы на языке программирования Haskell (Hugs-98), заполните форму заказа, которая доступна по следующей ссылке.

Среда программирования: Haskell (Hugs-98)

Название работы: Task 1 Create a module named HW0.T1. Task 2 Create a module named HW0.T2. Task 3 Create a module named HW0.T3. Task 4 Create a module named HW0.T4. Task 5 Create a module named HW0.T5. Task 6 Create a module named HW0.T6 and define the following type in it

Вид работы: Лабораторная работа

Тематика работы: Тесты

Объем программы: 5 (по десятибалльной шкале)

Уровень сложности: 6 (по десятибалльной шкале)

Разработчик (автор): Программист сайта kursovik.com (письмо автору)
Данная работа написана ЧЕЛОВЕКОМ без использования ИИ

Ключевые слова: Haskell, create module, Implement the following functions, HW0.T2, HW0.T1, Using only those combinators, function application, no lambdas, pattern matching, define the following additional combinators, determine the WHNF, weak head normal form

Функции программы:

Лабораторная работа на языке Haskell.
Выполнить лабораторную работу на языке Haskell в соответствии с заданиями:

Task 1
1. Create a module named HW0.T1 and define the following type in it:
data a <-> b = Iso (a -> b) (b -> a)
flipIso :: (a <-> b) -> (b <-> a)
flipIso (Iso f g) = Iso g f
runIso :: (a <-> b) -> (a -> b)
runIso (Iso f _) = f
2. Implement the following functions and isomorphisms:
distrib :: Either a (b, c) -> (Either a b, Either a c)
assocPair :: (a, (b, c)) <-> ((a, b), c)
assocEither :: Either a (Either b c) <-> Either (Either a b) c

Task 2
1. Create a module named HW0.T2 and define the following type in it:
type Not a = a -> Void
2. Implement the following functions and isomorphisms:
doubleNeg :: a -> Not (Not a)
reduceTripleNeg :: Not (Not (Not a)) -> Not a

Task 3
1. Create a module named HW0.T3 and define the following combinators in it:
s :: (a -> b -> c) -> (a -> b) -> (a -> c)
s f g x = f x (g x)
k :: a -> b -> a
k x y = x
2. Using only those combinators and function application (i.e. no lambdas, pattern
matching, and so on) define the following additional combinators:
i :: a -> a
compose :: (b -> c) -> (a -> b) -> (a -> c)
contract :: (a -> a -> b) -> (a -> b)
permute :: (a -> b -> c) -> (b -> a -> c)
For example:
i x = x -- No (parameters on the LHS disallowed)
i = \x -> x -- No (lambdas disallowed)
i = Prelude.id -- No (only use s and k)
i = s k k -- OK
i = (s k) k -- OK (parentheses for grouping allowed)

Task 4
1. Create a module named HW0.T4.
2. Using the fix combinator from the Data.Function module define the following
functions:
repeat' :: a -> [a] -- behaves like Data.List.repeat
map' :: (a -> b) -> [a] -> -- behaves like Data.List.map
fib :: Natural -> Natural -- computes the n-th Fibonacci number
fac :: Natural -> Natural -- computes the factorial
Do not use explicit recursion. For example:
repeat' = Data.List.repeat -- No (obviously)
repeat' x = x : repeat' x -- No (explicit recursion disallowed)
repeat' x = fix (x:) -- OK

Task 5
1. Create a module named HW0.T5 and define the following type in it:
type Nat a = (a -> a) -> a -> a
2. Implement the following functions:
nz :: Nat a
ns :: Nat a -> Nat a
nplus, nmult :: Nat a -> Nat a -> Nat a
nFromNatural :: Natural -> Nat a
nToNum :: Num a => Nat a -> a
3. The following equations must hold:
nToNum nz == 0
nToNum (ns x) == 1 + nToNum x
nToNum (nplus a b) == nToNum a + nToNum b
nToNum (nmult a b) == nToNum a * nToNum b

Task 6
1. Create a module named HW0.T6 and define the following values in it:
a = distrib (Left ("AB" ++ "CD" ++ "EF")) -- distrib from HW0.T1
b = map isSpace "Hello, World"
c = if 1 > 0 || error "X" then "Y" else "Z"
2. Determine the WHNF (weak head normal form) of these values:
a_whnf = ...
b_whnf = ...
c_whnf = ...

2300 руб
+ 0 руб
+ 0 руб

81.40 Бел.руб
+ 0.00 Бел.руб
+ 0.00 Бел.руб

12700 тенге
+ 0.00 тенге
+ 0.00 тенге

Купить

Задать вопрос менеджеру по продажам

Описание (отчет): Есть , но небольшой на 2 страниц, посмотреть оглавление

Пояснения к компиляции и запуску программы:

Для работы с заданиями по лабораторной работе нужно использовать файлы:
- HW0.T1.hs
- HW0.T2.hs
- HW0.T3.hs
- HW0.T4.hs
- HW0.T5.hs
- HW0.T6.hs

Статистика отдела программирования на заказ:
На данный момент (15 августа 2026) на выполнении находится 24 заказа.
Количество программистов, занятых выполнением текущих заказов: 8.
В текущем месяце (август 2026) нами уже выполнено 20 заказов.
В текущем году (2026) нами уже выполнено 285 заказов.
В прошлом году (2025) нами было выполнено 579 заказов.
В позапрошлом году (2024) нами было выполнено 762 заказа.
Количество активных программистов на сайте: 50.
Загруженность отдела заказами: 31%.

Результаты работы программы
1/4
2/4
3/4
4/4

Посмотреть отчет
Посмотреть содержание описания(отчёта) к данной готовой работе
Купить исходный текст
Приобрести исходники программы за 2300 руб РФ . Купить
Вопрос автору

Посмотреть ответы на вопросы по данной готовой работе, задать свой вопрос автору.
Искать через Телеграм-БОТ

Поискать другую готовую работу с помощью нашего Телеграм-БОТа Перейти
Заявка на модификацию

Отправить заявку на модификацию данной работы под Ваше задание. Перейти
Список всего готовых работ на C#

Посмотреть список всего готовых работ на языке программирования C#. Перейти
Заказать новую работу

Отправить заявку на разработку уникальной программы согласно Вашему заданию Перейти

Файлы программы

Файлы программы

Имя
Тип
Размер
Описание
исходники

<DIR>
Каталог
HW0.T1

hs
987

HW0.T2

hs
301

HW0.T3

hs
497

HW0.T4

hs
1012

HW0.T5

hs
635

HW0.T6

hs
655

тесты

txt
1209
Текстовый файл

Оформление программы
К программе прилагается:
1) скриншоты программы - 1 стр.
2) небольшой отчет - 2 стр.
Перед покупкой готовой работы не забудьте проверить её оригинальность. Запросить у администратора проверку текущей оригинальности работы по версии системы Антиплагиат.РУ

ВНИМАНИЕ ! Если данный отчет Вам не подходит, то Вы можете заказать написание нового отчета (согласно Вашему оглавлению) автору данной программы. Чтобы узнать цену, нажмите на эту ссылку.

Скриншоты программы (1)
Отчет к программе. Содержание
Лабораторная работа
Task 1 Create a module named HW0.T1. Task 2 Create a module named HW0.T2. Task 3 Create a module named HW0.T3. Task 4 Create a module named HW0.T4. Task 5 Create a module named HW0.T5. Task 6 Create a module named HW0.T6 and define the following type in it

СОДЕРЖАНИЕ

Результат работы программы

Небольшой отчет (2)
Отчет к программе. Содержание
Лабораторная работа
Task 1 Create a module named HW0.T1. Task 2 Create a module named HW0.T2. Task 3 Create a module named HW0.T3. Task 4 Create a module named HW0.T4. Task 5 Create a module named HW0.T5. Task 6 Create a module named HW0.T6 and define the following type in it

СОДЕРЖАНИЕ

Описания заданий

Стоимость готовой работы

Стоимость ИСХОДНОГО ТЕКСТА программы составляет 2300 руб РФ

Продажа каждой работы строго учитывается,
у каждой работы есть своя история продаж.

Заказ готовой работы

ФОРМА ЗАКАЗА
Для заказа готовой работы, заполните данную форму и нажмите кнопку ПРИОБРЕСТИ

Ваше имя:

Ваш E-mail:

(пожалуйста укажите реальный E-mail адрес)

Просим Вас после заполнения данной формы проверить почту и найти наше письмо. Если письма в папке ВХОДЯЩИЕ не будет, пожалуйста проверьте папку СПАМ и, если письмо там найдётся, пометьте его как НЕ СПАМ, тем самым Вы поможете перестроить почтовую систему на правильный лад. Кроме этого, при заполнении данной формы, просим Вас указать больше контактов, например Ваш VK или мессенджер и мы продублируем наш ответ на Вашу заявку сообщением на Ваш дополнительный контакт, так будет надёжнее.

Ваш сотовый: (желательно)

Ваш ВУЗ: (аббревиатура)

Ваш город:

Ваша страна:

Вам нужен: Исходный текст программы (исходники) = 2300 руб 81.40 Бел.руб 12700 тенге
Скриншоты программы (1) = + 0 руб 0.00 Бел.руб 0.00 тенге
Небольшой отчет (2) = + 0 руб 0.00 Бел.руб 0.00 тенге

Итого: 2300 руб 81.40 Бел.руб 12700 тенге

Введите код с картинки:

Я принимаю Пользовательское соглашение

При проведении оплаты с территории РФ платёж будет произведён через систему Ю.Касса, которая обеспечивает полную защиту онлайн-платежей при покупках в сети Интернет. Оплатить заказ можно как электронными деньгами, так и банковской картой, в том числе и по кредитной карте. Работает оплата через Сбер-Pay - оплата по QR-коду в приложении Сбербанк-Онлайн.
При проведении оплаты с территории РФ, файлы отправляются автоматически 24 часа 7 дней в неделю сразу после оплаты заказа.

При проведении оплаты не с территории РФ платёж будет зачислен в ручном режиме нашим администратором, для этого потребуется некоторое время.
При проведении оплаты не с территории РФ, файлы отправляются администратором с 10:00 МСК до 22:00 МСК 7 дней в неделю.

Приобретаемая Вами готовая работа является справочным материалом и НЕ является программным продуктом, либо товаром. Она продаётся КАК ЕСТЬ, поэтому обмену либо возврату НЕ подлежит. Подробности смотрите по следующей ссылке.

Вы можете связаться с нами по следующим контактам:

MAX: max.ru/u/f9...JfZUts

Telegram: Vitaly_work

ВКонтакте: kursovikcom

WhatsApp: +79033241149

Viber: +79033241149

imo: +79033241149

bip: +79033241149

E-mail: prog@kursovik.com

Если Вам необходимо модифицировать эту программу нажмите сюда
Если Вам необходимо написать работу "с чистого листа" на нужную Вам тему, нажмите сюда

Информация

ВНИМАНИЕ! Данная работа написана ЧЕЛОВЕКОМ без использования ИИ
Вопросы и ответы

Общие вопросы

Как можно приобрести данную готовую работу ?
Заполните форму, которая расположена чуть Выше данного текста и нажмите кнопку "Приобрести"
Каким образом производится оплата ?
После заполнения формы Вы получите на свой E-mail автоматическое письмо со всеми подробностями оплаты заказа. Оплата производится через платёжную систему Ю.Касса, которая обеспечивает полную защиту онлайн-платежей при покупках в Интернете. Оплатить заказ можно как электронными деньгами, так и банковской картой, в том числе и кредитной.
Как быстро я получу данную работу после ее оплаты ?
В течение нескольких минут с момента оплата заказа. Мы работаем 7 дней в неделю.
Каким образом будет доставлена мне данная работа после оплаты ?
На Ваш E-mail адрес и в личном кабинете нашего сайта sys.kursovik.com.
Какие Вы даете гарантии, что данная работа будет выслана мне после оплаты ?
Смотрите рубрику Наши гарантии
Что включает в себя исходный текст программы ? Вы пришлете все файлы проекта ?
Да, после оплаты Вы получите все файлы проекта данной работы, при желании сможете редактировать (видоизменять) программу (её описание) самостоятельно.
Зачем в форме заказа вы просите ввести мой ВУЗ и город ?
Эти данные нам нужны для того, чтобы можно было предотвратить повторную продажу работы в один и тот же ВУЗ. На сайте в таблице продаж публикуется только информация о городах, куда была продана работа. Если клиент видит, что в его город работа уже покупалась, то он может запросить у нас название ВУЗов, куда покупалась эта работа. Данные о ВУЗе клиента хранятся только в нашей базе, в открытом доступе их нет. Если Вы все-таки не хотите оставлять информацию о городе и ВУЗе, то просто введите в соответствующие поля несколько пробелов. Тем не менее, мы Вам рекомендуем всё-таки указать достоверную информацию, тем самым Вы застрахуетесь от того, чтобы кто-то из студентов Вашего ВУЗа вместе с Вами сдавал одинаковую работу одному и тому же преподавателю.
На Вашем сайте указано что эта работа не может быть выдана за свою, почему так ?
В идеале купленная работа должна быть использована в качестве образца или основы, чтобы студенту было проще написать свою собственную работу. Но если Вы всё-таки решите сдавать купленную у нас работу без изменений, то с нашей стороны по этому поводу никаких претензий не будет.
Действительно ли данная работа является уникальной ?
Да, мы можем гарантировать уникальность данной работы.
Она была разработана нашим программистом и выставлена на продажу в 2023 году.
Сколько раз была продана данная работа ?
Ни разу.

Есть ли отчет (описание) к данной работе ?
- Есть, но он небольшой, Вы можете заказать написание нового отчета к программе согласно Вашему оглавлению. Для этого заполните пожалуйста форму, приведенную ниже. В форме укажите требуемое оглавление(план) отчета. Если в Вашем ВУЗе никаких особых требований к отчету не выдвигают, тогда выберите пункт "требований к отчету нет, всё на усмотрение программиста".
  Ваше оглавление для написания отчета к готовой программе «Task 1 Create a module named HW0.T1. Task 2 Create a module named HW0.T2. Task 3 Create a module named HW0.T3. Task 4 Create a module named HW0.T4. Task 5 Create a module named HW0.T5. Task 6 Create a module named HW0.T6 and define the following type in it / Haskell (Hugs-98)»
  
  Ваше имя:
  Ваш город (где учитесь):
  Ваша страна:
  Ваша E-mail:
  
  Если никаких особых требований к отчету в Вашем ВУЗе не выдвигают, тогда выберите пункт:
  
  Требований к отчету нет, всё на усмотрение программиста
  
  Если у Вас есть методичка в электронном виде по выполнению данной работы, требования к отчету или любая другая информация, необходимая для написания отчета к программе, пожалуйста приложите ее к форме в виде архива ZIP или RAR, рисунка GIF или JPG, документа PDF. Приложить файл:
  
  Введите код с картинки:
  
  Я принимаю Пользовательское соглашение
  Чтобы отправить форму нажмите кнопку:

Рекомендуем Вам также посмотреть нашу рубрику "вопросы и ответы".

Задать вопрос по данной готовой работе

Если у Вас возник какой-либо вопрос по данной работе, пожалуйста заполните форму, приведенную ниже.
Ответ будет дан автором данной работы в обязательном порядке. Время отклика - 2-24 часа с момента заполнения формы. Если Ваш вопрос окажется полезным, мы разместим его на этой странице.

Телеграм-БОТ - помощь в поиске готовых работ по программированию

ВНИМАНИЕ! НОВИНКА!
Попробуйте наш Телеграм-БОТ для поиска готовых работ по программированию...

Программирование на заказ


*Имя:
*E-Mail:
Моб.телефон:
ВКонтакте:
Telegram:
Viber:
WhatsApp:
FaceBook:
Instagram:
	ВКонтакте Telegram Viber WhatsApp FaceBook Instagram

ВУЗ:
Специальность:
Город ВУЗа:
Страна:

*Введите код с картинки:
(сменить)
Я принимаю Пользовательское соглашение

Список всех готовых работ

Список всех готовых работ на C#

Программирование

Выборка готовой работы из рубрикатора

Экономика, право, психология, история

Электроника, Радиотехника, Механика

Программирование (по темам)

Ваше имя:
Ваш E-mail:
(пожалуйста укажите реальный E-mail адрес) Просим Вас после заполнения данной формы проверить почту и найти наше письмо. Если письма в папке ВХОДЯЩИЕ не будет, пожалуйста проверьте папку СПАМ и, если письмо там найдётся, пометьте его как НЕ СПАМ, тем самым Вы поможете перестроить почтовую систему на правильный лад. Кроме этого, при заполнении данной формы, просим Вас указать больше контактов, например Ваш VK или мессенджер и мы продублируем наш ответ на Вашу заявку сообщением на Ваш дополнительный контакт, так будет надёжнее.
Ваш сотовый:	(желательно)
Ваш ВУЗ:	(аббревиатура)
Ваш город:
Ваша страна:

Вам нужен:	Исходный текст программы (исходники) = 2300 руб 81.40 Бел.руб 12700 тенге Скриншоты программы (1) = + 0 руб 0.00 Бел.руб 0.00 тенге Небольшой отчет (2) = + 0 руб 0.00 Бел.руб 0.00 тенге Итого: 2300 руб 81.40 Бел.руб 12700 тенге

Ваше имя:
Ваш город (где учитесь):
Ваша страна:
Ваша E-mail:

Ваше имя:	*
Ваш город (где учитесь):	*
Ваша страна:	*
Ваш E-mail:	*
Ваш сотовый:	(если нужно продублировать ответ SMS-кой)

Логин
Пароль
	Запомнить меня