• [^] # Re: langage fonctionnel

    Posté par . En réponse au journal Ada, langage et ressources. Évalué à 2. Dernière modification le 24 juin 2013 à 20:57.

    Le système de pattern matching de OCaml/Haskell/Scala/F# semble pas mal, mais essaye un langage qui a des types dépendants (ou des types homotopes !), c’est tellement simple à vérifier, que l’on se demande pourquoi les autres langages n’ont pas l’équivalent.