Never Run This Commit As Root (Yes, I was being sarcastic.)

Author: felixbd

app/Main.hs

@@ -6,7 +6,8 @@ module Main (main) where
 import System.Environment (getArgs)
 
 import WhileParser (tokenize, readFileContent, runASTParser)  -- WhileAST(..),
-import WhileEvaluation (eval, evalT, evalM) --, evalM, VarName, VarVal, VarState, VarStateWorld)
+import WhileEvaluation (eval, evalT, evalM, getVST, runEvalM)
+  --, evalM, VarName, VarVal, VarState, VarStateWorld)
 
 
 -- | Define a data type to represent the command-line options
@@ -37,10 +38,19 @@ runInterpreter options = do
   -- print ast
 
   putStrLn "\ESC[92m[RESULT OF EVALUATION]\ESC[0m"
-  let a = eval ast []
-  print a
 
-  print $ evalT ast []
+  -- print $ eval ast []  -- eval v1
+  -- print $ evalT ast []  -- eval v2
+
+  let program = evalM ast  -- Monad eval
+  print $ getVST program []
+
+  -- eg.
+  -- let program2 = evalM ast >> evalM ast
+  -- print $ getVST program2 []
+
+  -- or use:
+  -- print $ runEvalM ast []
 
   putStrLn $ "\n" ++ concat (replicate 40 "= ") ++ "=\n"
 

shell.nix

@@ -6,19 +6,13 @@ pkgs.mkShell {
   buildInputs = with pkgs; [
     stack
     ghc
+    ghcid
     hlint
 
-    #(python313.withPackages(ps: with ps; [
-    #  pre-commit
-    #  pre-commit-hooks
-    #]))
-
     pre-commit
   ];
 
   shellHook = ''
-    # python -m pre-commit --version
-    # pre-commit --version
     echo "Start developing..."
   '';
 }

src/WhileEvaluation.hs

@@ -12,6 +12,8 @@ module WhileEvaluation
   ,VarVal
   ,VarState
   ,VarStateWorld
+  ,VarStateM(..)
+  ,runEvalM
   ) where
 
 import Data.List (nub)
@@ -31,6 +33,7 @@ type VarStateWorld = [VarState]
 -- | Variable State Transformer
 type VarStateT a = VarStateWorld -> (a, VarStateWorld)
 
+
 infixl 1 >>>=
 (>>>=) :: VarStateT a -> (a -> VarStateT b) -> VarStateT b
 vst >>>= f = uncurry f . vst
@@ -48,6 +51,13 @@ instance Applicative VarStateM where
 instance Monad VarStateM where
   vst >>= f = VarStateM (getVST vst >>>= getVST . f)
 
+
+-- getState :: VarStateM VarStateWorld
+-- getState = VarStateM (\s -> (s, s))
+
+-- putState :: VarStateWorld -> VarStateM ()
+-- putState s = VarStateM (const ((), s))
+
 --------------------------------------------------------------------------------
 
 lookUpVarState :: VarName -> VarStateWorld -> Int
@@ -116,3 +126,7 @@ evalT ast w = ((), eval ast w)
 
 evalM :: WhileAST -> VarStateM ()
 evalM = VarStateM . evalT
+
+
+runEvalM :: WhileAST -> VarStateWorld -> ((), VarStateWorld)
+runEvalM ast = getVST $ evalM ast