Do (pure) functional system programming language exist? Sorry if the question is a little vague. Lately, I’ve been exploring functional languages, and I’m really ill-informed about them....