mua.go 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261
  1. package main
  2. import (
  3. "bufio"
  4. "fmt"
  5. "math/rand"
  6. "os"
  7. "strings"
  8. "time"
  9. "unicode"
  10. "unicode/utf8"
  11. )
  12. var reserved = map[string]int{
  13. "make": 2, "thing": 1, "print": 1, "read": 0, "add": 2,
  14. "sub": 2, "mul": 2, "div": 2, "mod": 2, "erase": 1,
  15. "isname": 1, "run": 1, "eq": 2, "gt": 2, "lt": 2,
  16. "and": 2, "or": 2, "not": 1, "if": 3, "isnumber": 1,
  17. "isword": 1, "islist": 1, "isbool": 1, "isempty": 1, "return": 1,
  18. "export": 1, "readlist": 0, "word": 2, "sentence": 2, "list": 2,
  19. "join": 2, "first": 1, "last": 1, "butfirst": 1, "butlast": 1,
  20. "random": 1, "int": 1, "sqrt": 1, "save": 1, "load": 1,
  21. "erall": 0, "poall": 0}
  22. type environ map[string]value
  23. type value struct {
  24. val string
  25. param []string
  26. body string
  27. env environ
  28. }
  29. var env []environ
  30. var stack []value
  31. func interpret(scanner *bufio.Scanner) value {
  32. stackTop, returned := len(stack), false
  33. scanner.Split(func(data []byte, atEOF bool) (advance int, token []byte, err error) {
  34. start := 0
  35. for start < len(data) {
  36. r, width := utf8.DecodeRune(data[start:])
  37. if r == '\n' {
  38. return start + width, data[start : start+width], nil
  39. }
  40. if !unicode.IsSpace(r) {
  41. break
  42. }
  43. start += width
  44. }
  45. for i := start; i < len(data); {
  46. r, width := utf8.DecodeRune(data[i:])
  47. if r == '\n' {
  48. return i, data[start:i], nil
  49. }
  50. if unicode.IsSpace(r) {
  51. return i + width, data[start:i], nil
  52. }
  53. i += width
  54. }
  55. if atEOF && len(data) > start {
  56. return len(data), data[start:], nil
  57. }
  58. return start, nil, nil
  59. })
  60. for !returned && scanner.Scan() {
  61. // for _, v := range stack {
  62. // fmt.Println(v.val)
  63. // }
  64. // fmt.Println()
  65. s := scanner.Text()
  66. if s == "\n" {
  67. continue
  68. }
  69. if s[0] == ':' {
  70. leading := len(s) - len(strings.TrimLeft(s, ":"))
  71. val := value{val: `"` + strings.TrimLeft(s, ":")}
  72. for i := 0; i < leading; i++ {
  73. val = opThing(val)
  74. }
  75. stack = append(stack, val)
  76. } else if s[0] == '[' {
  77. list, bracketCnt := []string{}, 0
  78. for {
  79. leading := len(s) - len(strings.TrimLeft(s, "["))
  80. trailing := len(s) - len(strings.TrimRight(s, "]"))
  81. s = strings.TrimRight(strings.TrimLeft(s, "["), "]")
  82. for i := 0; i < leading; i++ {
  83. list = append(list, "[")
  84. }
  85. if s != "" {
  86. list = append(list, s)
  87. }
  88. for i := 0; i < trailing; i++ {
  89. list = append(list, "]")
  90. }
  91. bracketCnt += leading - trailing
  92. if bracketCnt < 0 {
  93. panic(fmt.Errorf("list: %s", errUnmatchedBracket))
  94. }
  95. if bracketCnt == 0 {
  96. break
  97. }
  98. s = "\n"
  99. for s == "\n" && scanner.Scan() {
  100. s = scanner.Text()
  101. }
  102. if s == "\n" {
  103. panic(fmt.Errorf("list: %s", errUnmatchedBracket))
  104. }
  105. }
  106. stack = append(stack, value{val: strings.Join(list, " ")})
  107. } else if '0' <= s[0] && s[0] <= '9' || s[0] == '-' {
  108. toNumber(s)
  109. stack = append(stack, value{val: s})
  110. } else {
  111. stack = append(stack, value{val: s})
  112. }
  113. for !returned {
  114. updated := false
  115. for i := len(stack) - 1; i >= stackTop; i-- {
  116. paramCnt, ok := reserved[stack[i].val]
  117. if ok {
  118. if paramCnt == len(stack)-1-i {
  119. for j := i + 1; j < len(stack); j++ {
  120. if !isValue(stack[j].val) {
  121. panic(fmt.Errorf("mua: %s (%s)", errValueExpected, stack[j].val))
  122. }
  123. }
  124. switch stack[i].val {
  125. case "make":
  126. stack[i] = opMake(stack[i+1], stack[i+2])
  127. case "thing":
  128. stack[i] = opThing(stack[i+1])
  129. case "print":
  130. stack[i] = opPrint(stack[i+1])
  131. case "read":
  132. stack[i] = opRead(scanner)
  133. case "add":
  134. stack[i] = opAdd(stack[i+1], stack[i+2])
  135. case "sub":
  136. stack[i] = opSub(stack[i+1], stack[i+2])
  137. case "mul":
  138. stack[i] = opMul(stack[i+1], stack[i+2])
  139. case "div":
  140. stack[i] = opDiv(stack[i+1], stack[i+2])
  141. case "mod":
  142. stack[i] = opMod(stack[i+1], stack[i+2])
  143. case "erase":
  144. stack[i] = opErase(stack[i+1])
  145. case "isname":
  146. stack[i] = opIsName(stack[i+1])
  147. case "run":
  148. stack[i] = opRun(stack[i+1])
  149. case "eq":
  150. stack[i] = opEq(stack[i+1], stack[i+2])
  151. case "gt":
  152. stack[i] = opGt(stack[i+1], stack[i+2])
  153. case "lt":
  154. stack[i] = opLt(stack[i+1], stack[i+2])
  155. case "and":
  156. stack[i] = opAnd(stack[i+1], stack[i+2])
  157. case "or":
  158. stack[i] = opOr(stack[i+1], stack[i+2])
  159. case "not":
  160. stack[i] = opNot(stack[i+1])
  161. case "if":
  162. stack[i] = opIf(stack[i+1], stack[i+2], stack[i+3])
  163. case "isnumber":
  164. stack[i] = opIsNumber(stack[i+1])
  165. case "isword":
  166. stack[i] = opIsWord(stack[i+1])
  167. case "islist":
  168. stack[i] = opIsList(stack[i+1])
  169. case "isbool":
  170. stack[i] = opIsBool(stack[i+1])
  171. case "isempty":
  172. stack[i] = opIsEmpty(stack[i+1])
  173. case "return":
  174. stack[i] = opReturn(stack[i+1])
  175. returned = true
  176. case "export":
  177. stack[i] = opExport(stack[i+1])
  178. case "readlist":
  179. stack[i] = opReadList(scanner)
  180. case "word":
  181. stack[i] = opWord(stack[i+1], stack[i+2])
  182. case "sentence":
  183. stack[i] = opSentence(stack[i+1], stack[i+2])
  184. case "list":
  185. stack[i] = opList(stack[i+1], stack[i+2])
  186. case "join":
  187. stack[i] = opJoin(stack[i+1], stack[i+2])
  188. case "first":
  189. stack[i] = opFirst(stack[i+1])
  190. case "last":
  191. stack[i] = opLast(stack[i+1])
  192. case "butfirst":
  193. stack[i] = opButFirst(stack[i+1])
  194. case "butlast":
  195. stack[i] = opButLast(stack[i+1])
  196. case "random":
  197. stack[i] = opRandom(stack[i+1])
  198. case "int":
  199. stack[i] = opInt(stack[i+1])
  200. case "sqrt":
  201. stack[i] = opSqrt(stack[i+1])
  202. case "save":
  203. stack[i] = opSave(stack[i+1])
  204. case "load":
  205. stack[i] = opLoad(stack[i+1])
  206. case "erall":
  207. stack[i] = opErAll()
  208. case "poall":
  209. stack[i] = opPoAll()
  210. }
  211. stack = stack[:i+1]
  212. updated = true
  213. }
  214. break
  215. }
  216. val := getFunc(stack[i].val)
  217. if val.body != errNop {
  218. if len(val.param) == len(stack)-1-i {
  219. for j := i + 1; j < len(stack); j++ {
  220. if !isValue(stack[j].val) {
  221. panic(fmt.Errorf("mua: %s (%s)", errValueExpected, stack[j].val))
  222. }
  223. }
  224. local := environ{stack[i].val: val}
  225. for j, name := range val.param {
  226. local[name] = stack[i+1+j]
  227. }
  228. env = append(env, val.env, local)
  229. stack[i] = opRun(value{val: val.body})
  230. env = env[:len(env)-2]
  231. stack = stack[:i+1]
  232. updated = true
  233. }
  234. break
  235. }
  236. }
  237. if !updated {
  238. break
  239. }
  240. }
  241. }
  242. if len(stack) == stackTop {
  243. stack = append(stack, value{val: "[ ]"})
  244. }
  245. val := stack[len(stack)-1]
  246. stack = stack[:stackTop]
  247. return val
  248. }
  249. func main() {
  250. rand.Seed(time.Now().UnixNano())
  251. env = append(env, nil, map[string]value{"pi": {val: "3.14159"}})
  252. scanner := bufio.NewScanner(os.Stdin)
  253. interpret(scanner)
  254. }