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.