Haskell Monad

@mikeyaremenko · Регистрация: 14.07.2016

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

При изучении Haskell, нашёл довольно интересное задание и пробую его выполнить, но возникли определённые проблемы. Суть задания состоит в том, что есть длинное выражение и небольших выражений, и необходимо вернуть значение выражения (истина или ложь) и использованные выражения по их вложенности. Задание нужно выразить 2мя видами (моноидном и немоноидном). Для моноидного вида не хватает состояния, которое я пытаюсь сейчас добавить. Заранее спасибо за помощь.

Code
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
module MonadicInterpreterLog where
 
import Test.HUnit (runTestTT,Test(TestLabel,TestList),(~?=))
 
import Control.Monad 
import Control.Applicative hiding (Const)
 
-- Simple Boolean expressions
data Expr = Const Bool | And Expr Expr | Or Expr Expr
  deriving (Eq, Show, Read)
 
sample1 = And (Const True) (Or (Const False) (Const True))
sample2 = And (Or (Const False) (Const True)) (And (Const False) (Const True))
  
{-  
class Monad m where
  return :: a -> m a
  (>>=) :: m a -> (a -> m b) -> m b
  (>>) :: m a -> m b -> m b
  x >> y = x >>= \_ -> y
-}
 
-- Data type for the state monad
newtype State s a = State { runState :: s -> (a,s) }
  
instance Functor (State s)
  where
    fmap = liftM
 
instance Applicative (State s)
  where
    pure = return
    (<*>) = ap    
  
-- Monad instance for State
instance Monad (State s)
  where
    return x = State (\s -> (x, s))
    c >>= f = State (\s -> let (x,s') = runState c s in runState (f x) s')  
  
-- Non-Monadic style interpreter
eval' :: Expr -> [Expr] -> (Bool, [Expr])
eval' expr res = case expr of
    Const b   -> (b, [expr])
    And e1 e2 -> evalWith (&&) e1 e2
    Or  e1 e2 -> evalWith (||) e1 e2 
  where
    evalWith op e1 e2 = 
      let (b1, es1') = eval' e1 res
          (b2, es2') = eval' e2 res
      in (b1 `op` b2, expr : (es1' ++ es2'))
 
 
-- Monadic style interpreter
evalM :: Expr -> State [Expr] Bool
evalM (Const b) = return b
evalM (And e1 e2) = do
  f1 <- evalM e1
  f2 <- evalM e2
  return (f1 && f2)
evalM (Or e1 e2) = do
  f1 <- evalM e1
  f2 <- evalM e2
  return (f1 || f2)
  
-- Modification of state
modify :: (s -> s) -> State s ()
modify f = State (\s -> ((), f s))
 
main :: IO ()
main = do
    testresults <- runTestTT tests
    print testresults
 
testlog1, testlog2 :: [Expr]
testlog1 = [(And (Const True) (Or (Const False) (Const True))),
        (Const True),
        (Or (Const False) (Const True)),
        (Const False),
        (Const True)]
testlog2 = [(And (Or (Const False) (Const True)) (And (Const False) (Const True))),
             (Or (Const False) (Const True)),
             (Const False),
             (Const True),
             (And (Const False) (Const True)),
             (Const False),
             (Const True)]
 
-- | List of tests for 'parseScore'.
tests :: Test
tests = TestLabel "MonadicInterpreterLog" (TestList [
    eval' sample1 [] ~?= (True,testlog1),
    eval' sample2 [] ~?= (False,testlog2),
    runState (evalM sample1) [] ~?= (True,testlog1),
    runState (evalM sample2) [] ~?= (False,testlog2)
    ])

При выполнении кода, получаю следующие ошибки:

Code
1
2
3
4
5
6
7
8
9
10
### Failure in: MonadicInterpreterLog:2
MonadicInterpreterLog.hs:129
expected: (True,[And (Const True) (Or (Const False) (Const True)),Const True,Or (Const False) (Const True),Const False,Const True])
but got: (True,[])
### Failure in: MonadicInterpreterLog:3 
MonadicInterpreterLog.hs:130
expected: (False,[And (Or (Const False) (Const True)) (And (Const False) (Const True)),Or (Const False) (Const True),Const False,Const True,And (Const False) (Const True),Const False,Const True])
but got: (False,[])
Cases: 4  Tried: 4  Errors: 0  Failures: 4
Counts {cases = 4, tried = 4, errors = 0, failures = 4}

Заранее спасибо

@Mysterious Light · 14.07.2016, 22:01

Вы нигде в коде не указали, что нужно запоминать пройденные подформулы.

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
-- Append an expression to a list
append :: a -> State [a] ()
append x = State (\s -> ((), s ++ [x]))
 
-- Monadic style interpreter
evalM :: Expr -> State [Expr] Bool
evalM e@(Const b) = append e >> return b
evalM e@(And e1 e2) = do
  append e
  f1 <- evalM e1
  f2 <- evalM e2
  return (f1 && f2)
evalM e@(Or e1 e2) = do
  append e
  f1 <- evalM e1
  f2 <- evalM e2
  return (f1 || f2)

Кстати, зачем State, если для этих целей вполне достаточно Writer?

@mikeyaremenko · 14.07.2016, 23:46 **[ТС]**

@Mysterious Light, спасибо большое, теперь я понял
насчёт State, это было указано в задании, которое я нашёл)

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@mikeyaremenko 0 / 0 / 0 Регистрация: 14.07.2016 Сообщений: 2
	14.07.2016, 23:46 [ТС]
	@Mysterious Light, спасибо большое, теперь я понял насчёт State, это было указано в задании, которое я нашёл) 0