Работа с типом 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  -- иначе продолжаем поиск в хвосте таблицы

Новые блоги и статьи Все статьи Все блоги /
Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .
Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь(не выше 3-го порядка) постоянного тока с элементами R, L, C, k(ключ), U, E, J. Программа находит переходные токи и напряжения на элементах схемы классическим методом(1 и 2 з-ны. . .

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

Решение

Решение

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

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

@Catstail Супер-модератор 38168 / 21103 / 4307 Регистрация: 12.02.2012 Сообщений: 34,692 Записей в блоге: 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