Results 3 issues of 夕月霞 / xyx

SRuntime is messy, so support larger address at SAM layer.

Adding type inference would make hs2bf truly haskell-like. However, monomorphic types will restrict the possible programs. We'll need more than let-polymorphism (like HM-type system) to make it more powerful. Also,...