更有甚者，对数学的愚蠢做法执迷不悟的人，设计了像Haskell和Coq那样的语言。在Haskell里面，你可以在代码里定义新的操作符，指定它的“结合律”（associativity）和“优先级”（precedence）。这样的语法设计，要求parser必须能够在parse过程中途读入并且加入新的parse规则。Coq试图更加“强大”一些，它让你可以定义“mixfix操作符”，也就是说你的操作符可以连接超过两个表达式。这样你就可以定义像if...then...else...这样的“操作符”。

dse@susepc:~/Projects/squirrel/build$ sq
Squirrel 3.1 stable Copyright (C) 2003-2017 Alberto Demichelis (64 bits)

sq>1

sq>print(1)
1
sq>

(10.times (do (th)
  (puts "Hello, world! #:#{th}")))

(-> File std::File)
(-> a_file (File::open 'a.txt :r))
(puts (a_file.read))

FooHash::FooKey::NestingClass::new.call_a_func

(class A
  (super std::Object)
  (def self.classmethod (puts 'a))
  (def a_method 1))

(class B
  (super A)
  (include FooHash::FooMod)
  (initialize)
  (def a self::a)
  (def a= (value)
    (self::a= value)))

(r :(B::new).a) ;=> nil
(-> b_obj (B::new))
(b_obj.a= 1)
(b_obj.a) ;=> 1
(b_obj.a_method) ;=> 1
(b_obj.class) ;=> "B"
(b_obj.class.superclass) ;=> "A"

P.S: 最原始的其实是这样
(-> B (=>
  name: "B"
  class: "std::Class"
  superclass: "A"
  ;......
(-> A (=>
  name: "A"
  class: "std::Class"
  superclass: "std::Object"
  #a_method: (# 1)
  classmethod: (# (puts 'a))))

module Lime
  module Builtins
    symbol '^#', 'Create a macro object'
    def macro_ctor(args_or_body, body = nil)
      body.nil? ? Lime::Macro.new([], args_or_body) : Lime::Macro.new(args_or_body, body)
    end
    make_symtbl
  end
end