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

@Александр1115 · Регистрация: 24.11.2013

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

Работа с типом Expr. Используя тип Expr, определенный выше, реализуйте следующие функции (используйте для тестирования функцию parseExpr)

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

@Catstail · 15.04.2014, 17:23

Сообщение от Александр1115

Используя тип Expr, определенный выше

- это где? Придется привести его определение.

@Catstail · 18.04.2014, 19:53

Haskell

data Expr = Const Integer | Add Expr Expr | Mult Expr Expr | Var String deriving (Eq,Show)
 
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
 
-- Проверка:
 
Main> eval (Add (Var "x") (Var "y")) [("x",1),("y",2)]
3
Main> eval (Mult (Var "x") (Var "y")) [("x",1),("y",2)]
2

@Александр1115 · 20.04.2014, 16:11 **[ТС]**

что означает символ $? и возможно ли реализовать программу без него?
и объясните пожалуйста эту строчку getVal (vl:vls) v | (v == fst vl) = Just $ snd vl
| otherwise = getVal vls v

@Catstail · 20.04.2014, 16:49

Сообщение от Александр1115

что означает символ $? и возможно ли реализовать программу без него?

- оператор аппликации. Можно и без него:

Haskell

1	eval (Var v) vlist = fromJust (getVal vlist v)

@KoshkaM · 23.04.2014, 16:25

можно реализовать функцию eval без предыдущих двух функций?

@Catstail · 23.04.2014, 17:59

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

без предыдущих двух функций?

- это каких?

@Александр1115 2 / 2 / 0 Регистрация: 24.11.2013 Сообщений: 33
		1
	Работа с типом Expr 15.04.2014, 16:24. Показов 3115. Ответов 6 Метки нет (Все метки) Работа с типом Expr. Используя тип Expr, определенный выше, реализуйте следующие функции (используйте для тестирования функцию parseExpr) Определите функцию eval, которая принимает два параметра: выражение типа Expr и список пар типа (String,Integer), задающий соответствие имен переменных и их значений. Функция должна вычислять значение выражение с учетом заданных значений выражений. Например, выражение eval (Add (Var "x") (Var "y")) [("x",1),("y",2)] должно выдавать число 3. 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,640 Записей в блоге: 13
	15.04.2014, 17:23	2
	Сообщение от Александр1115 Используя тип Expr, определенный выше - это где? Придется привести его определение. 0

@Александр1115 2 / 2 / 0 Регистрация: 24.11.2013 Сообщений: 33
	20.04.2014, 16:11 [ТС]	4
	что означает символ $? и возможно ли реализовать программу без него? и объясните пожалуйста эту строчку getVal (vl:vls) v \| (v == fst vl) = Just $ snd vl \| otherwise = getVal vls v 0

@KoshkaM 0 / 0 / 0 Регистрация: 13.04.2014 Сообщений: 6
	23.04.2014, 16:25	6
	можно реализовать функцию eval без предыдущих двух функций? 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,640 Записей в блоге: 13
	23.04.2014, 17:59	7
	Сообщение от KoshkaM без предыдущих двух функций? - это каких? 0