Existen dos grandes categorías de lenguajes funcionales: los funcionales "puros" y los "híbridos".