Me Here Wrote:

> Lookup Curry-Howard isomorphisms.

all those isomorphisms can be good for functional languages, but this is not always true for imperative ones.