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

@Arseny242 · Регистрация: 29.09.2013

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

4) Определите функцию eval, которая принимает два
параметра: выражение типа Expr и список пар типа (String,Integer), задающий соответствие
имен переменных и их значений. Функция должна вычислять значение выражение с учетом за-
данных значений выражений. Например, выражение
eval (Add (Var "x") (Var "y")) [("x",1),("y",2)]
должно выдавать число 3.

@Catstail · 23.04.2014, 16:05

Смотрим сюда

@Arseny242 · 23.04.2014, 16:38 **[ТС]**

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
getVal :: [(String,Integer)] -> String -> Maybe Integer
getVal [] _ = Nothing
getVal (vl:vls) v | (v == fst vl) = Just $ snd vl
                  | otherwise = getVal vls v
 
fromJust :: Maybe a -> a
fromJust (Just a) = a
fromJust Nothing  = error "bad variable name"
                  
eval :: Expr -> [(String,Integer)] -> Integer
eval (Const x) vlist = x
eval (Add e1 e2) vlist = (eval e1 vlist) + (eval e2 vlist)
eval (Mult e1 e2) vlist = (eval e1 vlist) * (eval e2 vlist)
eval (Var v) vlist = fromJust $ getVal vlist v

Можно ли это реализовать без функций fromJust и getVal.
Или можете пояснить что происходит в этой программе?

@Catstail · 23.04.2014, 18:10

fromJust нужна для корректной работы. Если в выражении встретится переменная, имя которой отсутствует в таблице переменных, то возникнет ошибка. В принципе без Maybe и fromJust обойтись можно. А вот без getVal затруднительно... Впрочем, getVal (по имени переменной дать значение) можно сделать внутренней функцией:

Haskell
1
2
3
4
5
6
7
8
eval :: Expr -> [(String,Integer)] -> Integer
eval (Const x) vlist = x
eval (Add e1 e2) vlist = (eval e1 vlist) + (eval e2 vlist)
eval (Mult e1 e2) vlist = (eval e1 vlist) * (eval e2 vlist)
eval (Var v) vlist = getVal vlist v
                         where getVal [] _ = error "Variable not found"
                                  getVal (vl:vls) v | (v == fst vl) = snd vl
                                                        | otherwise = getVal vls v

@Arseny242 · 23.04.2014, 18:43 **[ТС]**

Заменил текст программы, она теперь не запускается.
parse error on input `|'
[1 of 1] Compiling Main ( zad2.hs, interpreted )
Failed, modules loaded: none.
Что не так?

@Catstail · 23.04.2014, 19:18

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

Что не так?

- скорее всего, форматирование.

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
data Expr = Add Expr Expr | Mult Expr Expr | Const Integer | Var String deriving (Eq,Show)
 
eval :: Expr -> [(String,Integer)] -> Integer
eval (Const x) vlist = x
eval (Add e1 e2) vlist = (eval e1 vlist) + (eval e2 vlist)
eval (Mult e1 e2) vlist = (eval e1 vlist) * (eval e2 vlist)
eval (Var v) vlist = getVal vlist v
                     where getVal [] _ = error "Variable not found"
                           getVal (vl:vls) v | (v == fst vl) = snd vl
                                             | otherwise = getVal vls v
 
Main> eval (Add (Mult (Const 6) (Var "x")) (Var "y")) [("x",111),("y",222)]
 
888   -- верно!
 
Main> eval (Add (Mult (Const 6) (Var "z")) (Var "y")) [("x",111),("y",222)]
 
Program error: Variable not found

@Arseny242 · 23.04.2014, 20:01 **[ТС]**

Да, форматирование. Спасибо.

Добавлено через 37 минут
Еще вопрос.
Вы могли бы объяснить подробно действие вот этого куска программы:

Haskell
1
2
3
4
eval (Var v) vlist = getVal vlist v
                     where getVal [] _ = error "Variable not found"
                           getVal (vl:vls) v | (v == fst vl) = snd vl
                                             | otherwise = getVal vls v

@Catstail · 23.04.2014, 20:38

Haskell
1
2
3
4
5
6
7
8
9
-- вычисление выражения (Var "имя")
-- состоит в том, что нужно найти в таблице переменных
-- переменную с именем "имя" и вернуть соответствующее значение
-- если такой переменной нет - возбудить состояние ошибки 
eval (Var v) vlist = getVal vlist v  -- вызываем локальную функцию getVal
                     where getVal [] _ = error "Variable not found" -- если таблица переменных пуста - ошибка
                           getVal (vl:vls) v | (v == fst vl) = snd vl -- если головной элемент таблицы переменных
                                                                                 -- содержит нужное имя - вернем значение
                                             | otherwise = getVal vls v  -- иначе продолжаем поиск в хвосте таблицы

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока 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? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

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

Решение

Решение

@Arseny242 0 / 0 / 0 Регистрация: 29.09.2013 Сообщений: 27

	Работа с типом Expr 23.04.2014, 15:22. Показов 2987. Ответов 7 Метки нет (Все метки) 4) Определите функцию eval, которая принимает два параметра: выражение типа Expr и список пар типа (String,Integer), задающий соответствие имен переменных и их значений. Функция должна вычислять значение выражение с учетом за- данных значений выражений. Например, выражение eval (Add (Var "x") (Var "y")) [("x",1),("y",2)] должно выдавать число 3. 0

@Catstail Супер-модератор 38167 / 21102 / 4307 Регистрация: 12.02.2012 Сообщений: 34,690 Записей в блоге: 14
	23.04.2014, 16:05
	Сообщение было отмечено Arseny242 как решение Решение Смотрим сюда 0

@Arseny242 0 / 0 / 0 Регистрация: 29.09.2013 Сообщений: 27
	23.04.2014, 18:43 [ТС]
	Заменил текст программы, она теперь не запускается. parse error on input `\|' [1 of 1] Compiling Main ( zad2.hs, interpreted ) Failed, modules loaded: none. Что не так? 0