Type Inference & Polymorphism

[xanxys]

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, it's possible to run arithmetic operations faster by using type inference.