Recherche:

Je suis d'accord avec toi, mais par abus de langage, il est souvent associé au système de typage.

Pour le second point, je te passe lien du package sur hackage:

Resource (Conduit)

Y'a...

Je ne pense pas que l'angle d'approche de la question soit le bon car théoriquement les langages généralistes (C, C++, Java, C#, Python, Perl,...) sont Turing complet, est donc peuvent "tout"...