tricu/src/Main.hs

module Main where

import Eval
import Lexer
import Parser
import REPL (repl)
import Research

import qualified Data.Map as Map
import Text.Megaparsec (runParser)

main :: IO ()
main = repl library

runSapling :: String -> String
runSapling s = show $ result (evalSapling Map.empty $ parseSapling s)

library :: Map.Map String T
library = evalSapling Map.empty $ parseSapling
   "false = t\n \ 
  \ k = t t\n \
  \ i = t (t k) t\n \
  \ s = t (t (k t)) t\n \
  \ m = s i i\n \
  \ b = s (k s) k\n \
  \ c = s (s (k s) (s (k k) s)) (k k)\n \
  \ iC = (\\a b c : s a (k c) b)\n \
  \ iD = b (b iC) iC\n \
  \ iE = b (b iD) iC\n \
  \ yi = (\\i : b m (c b (i m)))\n \
  \ y = yi iC\n \
  \ yC = yi iD\n \
  \ yD = yi iE \
  \ true = t t\n \
  \ id = (\\a : a)\n \
  \ triage = (\\a b c : t (t a b) c)\n \
  \ pair = t\n \
  \ matchBool = (\\ot of : triage of (\\z : ot) t)\n \
  \ matchList = (\\oe oc : triage oe _ oc)\n \
  \ matchPair = (\\op : triage _ _ op)\n \
  \ and = matchBool id (\\z : false)\n \
  \ if = (\\cond then else : t (t else (t t then)) t cond)\n \
  \ test = triage \"leaf\" (\\z : \"stem\") (\\a b : \"fork\")\n \
  \ emptyList = matchList true (\\y z : false)\n \
  \ nonEmptyList = matchList false (\\y z : true)\n \
  \ head = matchList t (\\hd tl : hd)\n \
  \ tail = matchList t (\\hd tl : tl)\n \
  \ listConcat = y (\\self : matchList (\\k : k) (\\h t k : pair h (self t k)))\n \
  \ listConcat \"foo\" \"bar\""

runSaplingEnv env s = show $ result (evalSapling env $ parseSapling s)