[Haskell-fr] Caractérisation des langages fonctionnels

[Stéphane Payrard]

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.

On Saturday, March 22, 2014, Valentin Robert <valentin.robert.42 at gmail.com>
wrote:

> Puisque les fonctions sont manipulables comme toute valeur, les fonctions
> sont considérées des valeurs.
>
> Pour ce qui est du "tout est fonction", je dirais que c'est plutôt une
> caractéristique du lambda-calcul dans sa forme la plus épurée, quand tout
> est encodé à la Church.
> Mais ce n'est qu'un modèle de langage fonctionnel.
>
> - Valentin
>
>
> 2014-03-22 4:08 GMT-07:00 Gautier DI FOLCO <gautier.difolco at gmail.com<javascript:_e(%7B%7D,'cvml','gautier.difolco at gmail.com');>
> >:
>
>>
>> Question subsidiaire : Il me semblait qu'en FP tout était fonctions, hors
>> ça fait déjà 2-3 fois que j'entends que tout est valeurs, qu'en est-il
>> vraiment ?
>>
>> _______________________________________________
>> Haskell-fr mailing list
>> Haskell-fr at haskell.org<javascript:_e(%7B%7D,'cvml','Haskell-fr at haskell.org');>
>> http://www.haskell.org/mailman/listinfo/haskell-fr
>>
>>
>

-- 
cognominal stef
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-fr/attachments/20140322/15afc4d7/attachment.html>