Pure+imperative sounds useless. The imperative steps wouldn’t buy you anything. If you already can do let-bindings then you get nothing extra from imperative st

Pure+imperative sounds useless. The imperative steps wouldn’t buy you anything. If you already can do let-bindings then you get nothing extra from imperative statements. Something more useful is an imperative language which only uses immutable values (strings, lists and so on).