[Haskell-fr] Caractérisation des langages fonctionnels

[Gautier DI FOLCO]

Le 22 mars 2014 18:22, Stéphane Payrard <cognominal at gmail.com> a écrit :

> Pour certains langages, outre les fonctions, les types et les types de
> types (kinds en anglais) sont aussi des valeurs.
> C'est le cas pour les langages fonctionnels à typage dépendant comme idris.
> C'est aussi nécessaire pour des langages qui supportent la réflexion :
> http://fr.wikipedia.org/wiki/R%C3%A9flexion_(informatique)
> 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.
>
>
> http://perl6advent.wordpress.com/2011/12/14/meta-programming-what-why-and-how/
> http://www.jnthn.net/papers/2013-yapceu-moarvm.pdf
> https://github.com/jnthn/zavolaj/blob/master/README.markdown
>
> Mais on sort du fonctionnel et on entre dans la caractérisation des
> langages modernes en général.
> Il est néanmoins intéressant de constater qu'avec Scala ou Perl 6 le
> fonctionnel devient un paradigme parmi d'autres dans des langages
> génériques et de comprendre comment il s'y intègre.
>

Intéressant.
Je vais peut-être dire une bêtise, mais il me semble que la seule manière
de manipuler Haskell depuis Haskell (faire de la réflexion) est d'utiliser
les templates. Est-ce qu'il y a une explication sur le fait que ça ne soit
pas plus intégrer ? (on me vante beaucoup la grande simplicité des macro de
lisp par exemple)

PS : j'ai conscience du faire que ce soit extrêmement provocateur, mais ce
n'est pas mon but, je cherche juste à avoir une meilleure vue d'ensemble,
toutes corrections/explications/éclaircissements(/insultes, mais pas trop)
sont les bienvenues.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-fr/attachments/20140322/07184325/attachment.html>