try costack and linear type

[xieyuheng]

x-forth -- 尝试实现 costack + linear simple type system

• costack 可以简化类型检查

  • costack 的启发是，后缀表达式所操作的不一定是简单的 stack。
  • 尤其是 comptime 和 runtime 所操作的东西可以不一样。

• linear 可以避免 GC

[xieyuheng]

可以退一步不实现 linear type，并且加上 GC。

[xieyuheng]

应该分出来两个项目：

• co-forth -- costack + simple type + gc
• linear-forth -- costack + linear type + no gc

其中 co-forth 我已经知道该如何实现了。
linear-forth 还有待研究。

分出去之后 x-forth 应该如何处理？
可能应该是：

• x-forth -- untyped + no gc + scalabe-c style programming