Henceforth is an attempt to build a concatenative programming language with static type-checking and type inference. Currently, the implementation is very incomplete, because I underestimated the amount of work needed for type inference in a stack-based language.