Регистрация
Среда программирования: 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 = ...
Описание (отчет): Есть, но небольшой на 2 страниц, посмотреть оглавление
Пояснения к компиляции и запуску программы:
Для работы с заданиями по лабораторной работе нужно использовать файлы:
- HW0.T1.hs
- HW0.T2.hs
- HW0.T3.hs
- HW0.T4.hs
- HW0.T5.hs
- HW0.T6.hs
исходники
HW0.T1HW0.T2HW0.T3HW0.T4HW0.T5HW0.T6
тестыПеред покупкой готовой работы не забудьте проверить её оригинальность. Запросить у администратора проверку текущей оригинальности работы по версии системы Антиплагиат.РУ
Отчет к программе. СодержаниеРезультат работы программы
Отчет к программе. СодержаниеОписания заданий
|
Стоимость ИСХОДНОГО ТЕКСТА программы составляет 1780 руб РФ Продажа каждой работы строго учитывается, у каждой работы есть своя история продаж. |
Заполните форму, которая расположена чуть Выше данного текста и нажмите кнопку "Приобрести"
Мы поддерживаем следующие способы оплаты:
В течение нескольких минут с момента оплата заказа. Мы работаем 7 дней в неделю.
На Ваш E-mail адрес и в личном кабинете нашего сайта sys.kursovik.com.
Смотрите рубрику Наши гарантии
Да, после оплаты Вы получите все файлы проекта данной работы, при желании сможете редактировать (видоизменять) программу (ее описание) самостоятельно.
Эти данные нам нужны для того, чтобы можно было предотвратить повторную продажу работы в один и тот же ВУЗ. На сайте в таблице продаж публикуется только информация о городах, куда была продана работа. Если клиент видит, что в его город работа уже покупалась, то он может запросить у нас название ВУЗов, куда покупалась эта работа. Данные о ВУЗе клиента хранятся только в нашей базе, в открытом доступе их нет. Если Вы все-таки не хотите оставлять информацию о городе и ВУЗе, то просто введите в соответствующие поля несколько пробелов. Тем не менее, мы Вам рекомендуем всё-таки указать достоверную информацию, тем самым Вы застрахуетесь от того, чтобы кто-то из студентов Вашего ВУЗа вместе с Вами сдавал одинаковую работу одному и тому же преподавателю.
В идеале купленная работа должна быть использована в качестве образца или основы, чтобы студенту было проще написать свою собственную работу. Но если Вы всё-таки решите сдавать купленную у нас работу без изменений, то с нашей стороны по этому поводу никаких претензий не будет.
Да, мы можем гарантировать уникальность данной работы.
Она была разработана нашим программистом и выставлена на продажу в 2023 году.
Обычно работы по программированию всегда показывают больше 50% уникального текста.
Это напрямую связано с тем, что даже если введение, заключение и теоретическая глава вдруг
окажутся неуникальными, то сам текст программы и описание ее работы слихвой компенсируют
этот недостаток, т.к. они пишутся с нуля, скопировать их вряд ли откуда можно.
Тем не мнее, если вдруг при проверке купленной у нас готовой работы, она не дотятянет
до требуемого в Вашем ВУЗе процента уникальности, то мы готовы поднять его при помощи
специальной программы.
ВНИМАНИЕ ! Это предложение действительно только для готовых
работ, купленных на нашем сайте ! Повышать уникальность каких-либо других работ мы не будем :-)
Ни разу.
Есть, но он небольшой, Вы можете заказать написание нового отчета к программе согласно Вашему оглавлению. Для этого заполните пожалуйста форму, приведенную ниже. В форме укажите требуемое оглавление(план) отчета. Если в Вашем ВУЗе никаких особых требований к отчету не выдвигают, тогда выберите пункт "требований к отчету нет, всё на усмотрение программиста".
Рекомендуем Вам также посмотреть нашу рубрику "вопросы и ответы".
| ЛР | Программа, которая запрашивает у пользователя его имя и в зависимости от имени выводит различные типы сообщений | Haskell (Hugs-98) | 440 |
| КП | Приведение формул логики предикатов к пренексной нормальной форме | Haskell (Hugs-98) | 600 |
| ЛР | Алгоритм поиска кратчайшего пути A*. Программа способна отвечать на запросы и возвращать кратчайший путь до заданной вершины (в случае отсутствия выдаёт сообщение об ошибке) | Haskell (Hugs-98) | 1550 |
| Программа | Операции с B-деревом | Haskell (Hugs-98) | 500 |
| Программа | Модуль для операций с мультимножествами | Haskell (Hugs-98) | 500 |
| Программа | Операции с B-деревом | Haskell (Hugs-98) | 500 |
| Программа | Модуль для операций с мультимножествами | Haskell (Hugs-98) | 500 |
Сейчас на сайте
+79033241149
+79033241149
kursovikcom
kursovikcom