[post] type systems and different languages