Работа с типом Expr

@Olya13254 · Регистрация: 27.10.2010

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

Используя тип Expr data Expr = Const' Integer | Var String | Add Expr Expr | Mul Expr Expr deriving (Show, Eq), реализуйте следующие функции (используйте для тестирования функцию parseExpr, которая описана в [1])
1) Определите корректную функцию diff, которая принимает в качестве дополнительного аргумента имя переменной, по ко торой необходимо осуществлять дифференцирование.
2) Определите функцию simplify, которая упрощает выражения типа Expr, применяя очевидные правила вида:
• x + 0 = 0 + x = x
• x • 1 = 1 • x = x
• x • 0 = 0 • x = 0
• и т. д.
3) Определите функцию toString, преобразующую выражение типа Expr в строку. Например, результатом применения функции к выражению Add (Mul (Const 2) (Var "x")) (Var "y") должна быть строка "2*x+y". Учтите возможность использования скобок, например, выражение Mul (Const 2) (Add (Var "x") (Var "y")) должно преобразовываться в строку "2*(x+y)"
4) Определите функцию eval, которая принимает два параметра: выражение типа Expr и список пар типа (String,Integer), задающий соответствие имен переменных и их значений. Функция должна вычислять значение выражение с учетом заданных значений выражений. Например, выражение eval (Add (Var "x") (Var "y")) [("x",1),("y",2)] должно выдавать число 3.

[1]

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
module Expr ( parseExpr, Expr(..) ) where
 
import Text.ParserCombinators.Parsec
import Text.ParserCombinators.Parsec.Expr
import Text.ParserCombinators.Parsec.Token
import Text.ParserCombinators.Parsec.Language
import Control.Applicative ((<*))
 
 
 
data Expr = Const' Integer | Var String | Add Expr Expr | Mul Expr Expr deriving (Show, Eq)
 
 
def = makeTokenParser emptyDef
 
 
optable = [[op "*" AssocLeft], [op "+" AssocLeft]]          
  where
    op s assoc = 
      flip Infix assoc $ do { reservedOp def s; return $ op_map s
                            }
    --
    op_map "*" = Mul
    op_map "+" = Add
      
expr = buildExpressionParser optable $
           parens def expr  <|> Const' `fmap` integer def  <|> Var `fmap` identifier def
       
 
parseExpr = runParser (expr <* eof)  () ""

@Olya13254 · 06.05.2012, 15:23 **[ТС]**

В файле expr описана функция , которая преобразует строку вида "1+x*y" в соответствующее значение типа Expr. То есть при выполнении заданий, описанных выше, нужно создать новый файл и в начале подключить этот файл (import Expr). Помогите, пожалуйста, реализовать выше описанные задания. Буду очень благодарна...

@bokunopico · 06.05.2012, 16:26

Тебе на харде ответили, но ты даже в копипаст не можешь, лол.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. 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 с разными данными.	Новый ноутбук 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-динозавры, а новое поколение лёгких потоков. Откат?. . .

@Olya13254 0 / 0 / 0 Регистрация: 27.10.2010 Сообщений: 29
	06.05.2012, 15:23 [ТС]
	В файле expr описана функция , которая преобразует строку вида "1+x*y" в соответствующее значение типа Expr. То есть при выполнении заданий, описанных выше, нужно создать новый файл и в начале подключить этот файл (import Expr). Помогите, пожалуйста, реализовать выше описанные задания. Буду очень благодарна... 0

@bokunopico 313 / 268 / 5 Регистрация: 03.04.2011 Сообщений: 456
	06.05.2012, 16:26
	Тебе на харде ответили, но ты даже в копипаст не можешь, лол. 0