C'est le cas pour les langages fonctionnels à typage dépendant comme idris.
Les types comme valeur sont notamment nécessaires pour les langages qui incluent un métamodèle. Cela permet d'implémenter différents modèles objet, de décrire le format des valeurs en mémoire selon leur type, de sérialiser les données et d'interragir avec des bibliothéques externes.
Ainsi une fonction est décrite en partie par sa signature qui décrit le type des paramètres et de celui de la valeur de retour. Via la réflexion, la signature est accessible comme une valeur de type Signature.
C'est un des points forts de Perl 6 et plus particulièrement d'un des VM backend de son compilateur rakudo : moarvm.