moonlets.lua(文件已创建)
| @@ -0,0 +1,179 @@ | |||
| 1 | + | -- slow, inefficient, and partial implemention of a fraglets | |
| 2 | + | -- interpreter. Basically enough to run a factorial program | |
| 3 | + | -- Also, I changed the syntax. | |
| 4 | + | local fraglets = {} | |
| 5 | + | local function print_pool() | |
| 6 | + | print("--- fraglets ---") | |
| 7 | + | for i, fraglet in ipairs(fraglets) do | |
| 8 | + | print(table.concat(fraglet, " ")) | |
| 9 | + | end | |
| 10 | + | print() | |
| 11 | + | end | |
| 12 | + | ||
| 13 | + | local program = [[ | |
| 14 | + | nul factorial(n): [in $n] --> [out $n!]. | |
| 15 | + | ||
| 16 | + | res 1. | |
| 17 | + | matchp in split t1 2 * match t1 lt f1 c1. | |
| 18 | + | matchp f1 split finish * nul. | |
| 19 | + | matchp c1 exch c2 nul. | |
| 20 | + | matchp c2 exch c3 *. | |
| 21 | + | matchp c3 split continue. | |
| 22 | + | ||
| 23 | + | matchp finish match res out. | |
| 24 | + | matchp continue split match t2 match res mult res * split match t2 sum in -1 * copy t2. | |
| 25 | + | ||
| 26 | + | nul test. | |
| 27 | + | in 5. | |
| 28 | + | ]] | |
| 29 | + | ||
| 30 | + | local fraglet, symbol = {}, {} | |
| 31 | + | ||
| 32 | + | local function push_symbol() | |
| 33 | + | if #symbol ~= 0 then | |
| 34 | + | table.insert(fraglet, table.concat(symbol)) | |
| 35 | + | symbol = {} | |
| 36 | + | end | |
| 37 | + | end | |
| 38 | + | ||
| 39 | + | local function push_fraglet() | |
| 40 | + | push_symbol() | |
| 41 | + | if #fraglet ~= 0 then | |
| 42 | + | table.insert(fraglets, fraglet) | |
| 43 | + | fraglet = {} | |
| 44 | + | end | |
| 45 | + | end | |
| 46 | + | ||
| 47 | + | for char in program:gmatch(".") do | |
| 48 | + | if char:find("%s") then push_symbol() | |
| 49 | + | elseif char == "." then push_fraglet() | |
| 50 | + | else table.insert(symbol, char) | |
| 51 | + | end | |
| 52 | + | end | |
| 53 | + | push_fraglet() | |
| 54 | + | ||
| 55 | + | local ops = {} | |
| 56 | + | ||
| 57 | + | local function merge(t1, t2, start) | |
| 58 | + | for i = start, #t2 do | |
| 59 | + | table.insert(t1, t2[i]) | |
| 60 | + | end | |
| 61 | + | return t1 | |
| 62 | + | end | |
| 63 | + | ||
| 64 | + | local function swap_and_delete(index, pool) | |
| 65 | + | pool[index] = pool[#pool] | |
| 66 | + | pool[#pool] = nil | |
| 67 | + | end | |
| 68 | + | ||
| 69 | + | function ops.nul(fraglet, index, pool) | |
| 70 | + | swap_and_delete(index, pool) | |
| 71 | + | return true | |
| 72 | + | end | |
| 73 | + | ||
| 74 | + | function ops.matchp(fraglet, index, pool) | |
| 75 | + | for i, other_fraglet in ipairs(pool) do | |
| 76 | + | if i ~= index and fraglet[2] == other_fraglet[1] then | |
| 77 | + | pool[i] = merge(merge({}, fraglet, 3), other_fraglet, 2) | |
| 78 | + | return true, index + 1 | |
| 79 | + | end | |
| 80 | + | end | |
| 81 | + | return false, index | |
| 82 | + | end | |
| 83 | + | ||
| 84 | + | function ops.split(fraglet, index, pool) | |
| 85 | + | local left, right = {}, {} | |
| 86 | + | local split = 0 | |
| 87 | + | ||
| 88 | + | for i, v in ipairs(fraglet) do | |
| 89 | + | split = i | |
| 90 | + | ||
| 91 | + | if v == "*" then break end | |
| 92 | + | if i ~= 1 then | |
| 93 | + | table.insert(left, v) | |
| 94 | + | end | |
| 95 | + | end | |
| 96 | + | ||
| 97 | + | if #left == 0 then return false end | |
| 98 | + | ||
| 99 | + | for i = split + 1, #fraglet do | |
| 100 | + | table.insert(right, fraglet[i]) | |
| 101 | + | end | |
| 102 | + | ||
| 103 | + | pool[index] = left | |
| 104 | + | if #right > 0 then | |
| 105 | + | table.insert(pool, right) | |
| 106 | + | end | |
| 107 | + | ||
| 108 | + | return true | |
| 109 | + | end | |
| 110 | + | ||
| 111 | + | function ops.match(fraglet, index, pool) | |
| 112 | + | if ops.matchp(fraglet, index, pool) then | |
| 113 | + | swap_and_delete(index, pool) | |
| 114 | + | return true | |
| 115 | + | end | |
| 116 | + | return false | |
| 117 | + | end | |
| 118 | + | ||
| 119 | + | function ops.lt(fraglet, index, pool) | |
| 120 | + | if tonumber(fraglet[4]) < tonumber(fraglet[5]) then | |
| 121 | + | pool[index] = merge({fraglet[2]}, fraglet, 4) | |
| 122 | + | else | |
| 123 | + | pool[index] = merge({fraglet[3]}, fraglet, 4) | |
| 124 | + | end | |
| 125 | + | return true | |
| 126 | + | end | |
| 127 | + | ||
| 128 | + | function ops.exch(fraglet, index, pool) | |
| 129 | + | pool[index][3], pool[index][4] = pool[index][4], pool[index][3] | |
| 130 | + | table.remove(pool[index], 1) | |
| 131 | + | return true | |
| 132 | + | end | |
| 133 | + | ||
| 134 | + | function ops.copy(fraglet, index, pool) | |
| 135 | + | table.remove(fraglet, 1) | |
| 136 | + | local copy = {} | |
| 137 | + | for _, v in ipairs(fraglet) do | |
| 138 | + | table.insert(copy, v) | |
| 139 | + | end | |
| 140 | + | table.insert(pool, copy) | |
| 141 | + | return true | |
| 142 | + | end | |
| 143 | + | ||
| 144 | + | function ops.mult(fraglet, index, pool) | |
| 145 | + | local tag, x, y = fraglet[2], tonumber(fraglet[3]), tonumber(fraglet[4]) | |
| 146 | + | if x and y then | |
| 147 | + | pool[index] = {tag, tostring(x * y)} | |
| 148 | + | return true | |
| 149 | + | end | |
| 150 | + | return false | |
| 151 | + | end | |
| 152 | + | ||
| 153 | + | function ops.sum(fraglet, index, pool) | |
| 154 | + | local tag, x, y = fraglet[2], tonumber(fraglet[3]), tonumber(fraglet[4]) | |
| 155 | + | if x and y then | |
| 156 | + | pool[index] = {tag, tostring(x + y)} | |
| 157 | + | return true | |
| 158 | + | end | |
| 159 | + | return false | |
| 160 | + | end | |
| 161 | + | ||
| 162 | + | local i, reaction = 1, true | |
| 163 | + | print("=== initial ===") | |
| 164 | + | print_pool() | |
| 165 | + | while reaction do | |
| 166 | + | i, reaction = 1, false | |
| 167 | + | while i <= #fraglets do | |
| 168 | + | local op = fraglets[i][1] | |
| 169 | + | if ops[op] then | |
| 170 | + | if ops[op](fraglets[i], i, fraglets) then | |
| 171 | + | print_pool() | |
| 172 | + | reaction = true | |
| 173 | + | end | |
| 174 | + | end | |
| 175 | + | i = i + 1 | |
| 176 | + | end | |
| 177 | + | end | |
| 178 | + | print("=== final ===") | |
| 179 | + | print_pool() | |
上一页
下一页