blob: c53bff9b697e8347d90d498e1d591b064d3d9742 (
plain)
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
|
module Thue.Interpreter (
thue,
extractInfix,
nextInRange
) where
import System.Random
import Data.Maybe
import Data.List
import Thue.Parser
thue :: ThueProgram -> IO ThueState
thue program =
let rules = thueRules program
state = thueInitialState program
gen = mkStdGen 4 --chosen by fair dice roll, guaranteed to be random
in interpret state rules gen
interpret :: ThueState -> [ThueRule] -> StdGen -> IO ThueState
interpret state rules gen = do
let possibleRules = rules `applicableTo` state
ruleToApply = if (possibleRules == []) then (ThueRule "" "") else possibleRules !! num
-- ^ dummy rule if no possible rules apply
(num, gen') = nextInRange 0 (length possibleRules - 1) gen
(before, after) = fromJust (extractInfix (original ruleToApply) state)
state' <- case (replacement ruleToApply) of
":::" -> getLine >>= (\x -> return (before ++ x ++ after))
'~':xs -> putStr xs >> return (before ++ after)
x -> return (before ++ x ++ after)
if (possibleRules == []) then return state else interpret state' rules gen'
extractInfix :: Eq a => [a] -> [a] -> Maybe ([a], [a])
extractInfix subList list =
let f = (\pre cur -> case (stripPrefix subList cur) of
Nothing -> f ((head cur):pre) (tail cur)
Just x -> (reverse pre, x))
in if (subList `isInfixOf` list) then Just (f [] list) else Nothing
nextInRange :: Int -> Int -> StdGen -> (Int, StdGen)
nextInRange low high random =
let (genLow, genHigh) = genRange random
(rawNext, random') = next random
irawNext = fromIntegral rawNext
igenLow = fromIntegral genLow
igenHigh = fromIntegral genHigh
ilow = fromIntegral low
ihigh = fromIntegral high
n' = ((irawNext - igenLow) / (igenHigh - igenLow)) * (ihigh - ilow) + ilow
in (round n', random')
applicableTo :: [ThueRule] -> ThueState -> [ThueRule]
applicableTo ruleList state =
filter (\r -> (original r) `isInfixOf` state) ruleList
|