Форум программистов, компьютерный форум, киберфорум
Haskell
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.81/21: Рейтинг темы: голосов - 21, средняя оценка - 4.81
1 / 1 / 0
Регистрация: 20.07.2013
Сообщений: 64

Примеры для программ

13.12.2014, 11:56. Показов 4266. Ответов 3
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Доброго утра всем. Помогите, пожалуйста, с примерами для функций
Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
data Expression = Variable String | 
                  Constant Integer | 
                  Unary String Expression | 
                  Binary Expression String Expression 
                     deriving (Eq, Show) 
                     
data Operator= Skip | 
               Assignment String Expression | 
               Sequence [Operator] | 
               Select Expression Operator Operator 
                   deriving (Eq, Show)
 
toCanonical :: Operator -> Operator 
toCanonical (Sequence list) = 
    check (Sequence (filter (/= Skip) (map toCanonical list))) 
toCanonical (Select expr op1 op2) = 
    Select expr(toCanonical op1)(toCanonical op2) 
toCanonical op = op
 
check :: Operator -> Operator 
check (Sequence[]) = Skip 
check op = op
Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
data Expr = 
     Integral Integer | 
     Function String | 
     Variable String | 
     Lambda String Expr | 
     Application Expr Expr
 
beta :: Expr -> Bool 
beta (Application (Lambda _ _) _) = True 
beta _ = False
 
deltaN :: Int -> Expr -> Bool 
deltaN n (Function f)        = arity f == n 
deltaN n (Application f e)   | isConstant e 
                               = deltaN (n+1) f && nf e 
deltaN _ _                   = False 
 
delta :: Expr -> Bool 
delta = deltaN 0
 
redex :: Expr -> Bool 
redex e = delta e || beta e
 
arity :: String -> Int 
arity "IF" = 3 
arity "CAR" = 1 
arity "CDR" = 1 
arity "minus" = 1 
arity _ = 2 
 
isConstant :: Expr -> Bool 
isConstant (Integral _) = True 
isConstant (Function _) = True 
isConstant _            = False
 
nf :: Expr -> Bool
nf e | redex e          = False 
nf (Lambda _ e)         = nf e 
nf (Application e1 e2)  = nf e1 && nf e2 
nf _                    = True
Haskell
1
2
3
4
5
6
7
8
9
data Expr = 
     Variable String | 
     Lambda String Expr | 
     Application Expr Expr
beta :: Expr -> Bool
beta (Application (Lambda _ _) _) = True
beta (Lambda _ e) = beta e
beta (Application e1 e2) = beta e1 || beta e2
beta _ = False
0
Лучшие ответы (1)
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
13.12.2014, 11:56
Ответы с готовыми решениями:

Примеры программ для торговли
Может кто-то поделится ссылками или примерами программ для торговли Заранее спасибо!

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

Где найти примеры программ для начинающих
где можно найти веб-c-предлагаемых,программ,для Начинающux

3
 Аватар для Araneo
650 / 260 / 16
Регистрация: 02.03.2014
Сообщений: 587
13.12.2014, 12:22
А что сделать то надо? Проверить в интерпретаторе? Так это совсем не интересно... ибо элементарно.
0
1 / 1 / 0
Регистрация: 20.07.2013
Сообщений: 64
13.12.2014, 13:03  [ТС]
Написать тестовые примеры. Для вас это может быть и элементарно, а для меня нет...
0
Супер-модератор
Эксперт функциональных языков программированияЭксперт Python
 Аватар для Catstail
38161 / 21096 / 4306
Регистрация: 12.02.2012
Сообщений: 34,683
Записей в блоге: 14
14.12.2014, 21:46
Лучший ответ Сообщение было отмечено Eva_19 как решение

Решение

Первый. Соответствует конструкции Skip; Z=X+777; Skip;

Haskell
1
2
Main> toCanonical (Sequence [Skip, Assignment "Z" (Binary (Variable "X") "+" (Constant 777)),Skip])
Sequence [Assignment "Z" (Binary (Variable "X") "+" (Constant 777))]
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
14.12.2014, 21:46
Помогаю со студенческими работами здесь

Есть у кого-нибудь примеры программ для МК51
Есть у кого - нибудь программа (пример решение любой задачи ) для МК51???? очень нужно.

Примеры программ для решения уравнений в частных производных
Добрый день! Есть у кого примеры программ для численного решения параболических ( явная схема, неявная схема, схема Кранк-Николсон),...

примеры программ
Где можно найти можно найти много примеров выполненных программ на Delphi,некоторые книги скачал конечно?

примеры программ
Здравствуйте. Приведите пожалуйста пример программы с командой test. и что это за число скажите $80 ?

Примеры программ
Подскажите новичку: прочитал толстенную книгу для начинающих программистов на языке Java, а идей, что с этой информацией делать-нет....


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
Новые блоги и статьи
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка.
Programma_Boinc 23.12.2025
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Рецензия / Мнение/ Перевод https:/ / **********/ gallery/ thinkpad-x220-tablet-porn-gzoEAjs . . .
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 с разными данными.
Новый ноутбук
volvo 07.12.2025
Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом
volvo 04.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha
Etyuhibosecyu 20.11.2025
Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .
Мысли в слух
kumehtar 18.11.2025
Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru