Publicité
+ Répondre à la discussion
Page 5 sur 5 PremièrePremière 12345
Affichage des résultats 81 à 84 sur 84
  1. #81
    Rédacteur/Modérateur

    Avatar de gorgonite
    Homme Profil pro Nicolas Vallée
    Ingénieur d'études
    Inscrit en
    décembre 2005
    Messages
    10 216
    Détails du profil
    Informations personnelles :
    Nom : Homme Nicolas Vallée
    Âge : 30
    Localisation : France

    Informations professionnelles :
    Activité : Ingénieur d'études
    Secteur : Transports

    Informations forums :
    Inscription : décembre 2005
    Messages : 10 216
    Points : 17 564
    Points
    17 564

    Par défaut

    Citation Envoyé par alex_pi Voir le message
    Mais même un simple tri fusion est loin d'être trivial à typer. Prenons l'opération de fusion


    faudra que je te donne un lien qui traite de quicksort et insertion sort, si jamais mon article est accepté... tu verras que ce n'est pas si dur de tout vérifier statiquement avec des expressions d'ordre supérieur


    Citation Envoyé par alex_pi Voir le message
    De l'avance ? Ma réflexion sur ce qu'est la recherche et le progrès des langages de programmation m'emmène dans une autre direction. Celle de la collaboration et non de la compétition. Mais vas y, cours devant, on te suit.

    son idée, s'il s'git de la dernière dont on a parlé autour d'un café en septembre, est relativement simple... mais est sans doute trop contraignante pour un système de type à la caml (alors qu'un pascal modifié réussirait )
    Evitez les MP pour les questions techniques... il y a des forums
    Contributions sur DVP : Mes Tutos | Mon Blog

  2. #82
    alex_pi
    Invité(e)

    Par défaut

    Citation Envoyé par gorgonite Voir le message
    faudra que je te donne un lien qui traite de quicksort et insertion sort, si jamais mon article est accepté... tu verras que ce n'est pas si dur de tout vérifier statiquement avec des expressions d'ordre supérieur
    Tout est dans le "des expressions d'ordre supérieur" Mais j'attends ton lien avec impatience (ou un mail avec le PDF si tu veux ;-))


    Citation Envoyé par gorgonite Voir le message
    son idée, s'il s'git de la dernière dont on a parlé autour d'un café en septembre, est relativement simple... mais est sans doute trop contraignante pour un système de type à la caml (alors qu'un pascal modifié réussirait )
    Ouais fin là y a pas trop de discussion puisqu'aucune information :-)

  3. #83
    Membre Expert
    Avatar de InOCamlWeTrust
    Inscrit en
    septembre 2006
    Messages
    1 036
    Détails du profil
    Informations forums :
    Inscription : septembre 2006
    Messages : 1 036
    Points : 1 265
    Points
    1 265

    Par défaut

    Si je ne dis rien sur le forum, c'est pour une, et une seule raison.

    Je n'ai pas envie que des gens qui n'auraient rien inventé ni découvert s'en approprient le concept.

    Mon travail n'est pas l'informatique ou les mathématiques, et en conséquence j'ai beaucoup moins de temps que des gens qui ne font que ça toute la journée, ne serait-ce que pour écrire (je ne parle même pas de publication) un article ou commencer à écrire un compilateur. C'est tout.

    D'après ce que j'ai pu comprendre, tu travailles chez Gallium, ou du moins tu as des contacts avec des gens comme Xavier Leroy et d'autres. Je n'ai rien contre toi, ni personnellement ni scientifiquement, ni même contre ceux que j'ai cités ci-avant. Je ne t'accuse pas d'avoir de mauvaises intentions non plus, loin de là, mais d'autres pourraient en avoir...

    Je pense que je ne tirerais rien d'une telle idée : ni notoriété (c'est pas mon but), ni des sous (Hmmm ! vendre du logiciel dans le monde du tout libre !). Cependant, ce n'est pas pour autant que je suis prêt à me faire voler l'idée.

    Voilà concernant ce point.

    Citation Envoyé par gorgonite
    son idée, s'il s'git de la dernière dont on a parlé autour d'un café en septembre, est relativement simple... mais est sans doute trop contraignante pour un système de type à la caml (alors qu'un pascal modifié réussirait )
    Ces barrières ont été résolues depuis, et je pense aujourd'hui à une généralisation du principe.
    When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.

  4. #84
    Membre chevronné Avatar de Camille_B
    Homme Profil pro Jean-Baptiste Bourgoin
    Webmaster
    Inscrit en
    septembre 2006
    Messages
    212
    Détails du profil
    Informations personnelles :
    Nom : Homme Jean-Baptiste Bourgoin
    Localisation : France

    Informations professionnelles :
    Activité : Webmaster
    Secteur : Associations - ONG

    Informations forums :
    Inscription : septembre 2006
    Messages : 212
    Points : 616
    Points
    616

    Par défaut

    N'ayant pas suivi l'ensemble de la discussion, mon intervention pourra sembler tomber comme un cheveu sur la soupe

    Une chose à prendre en compte avec LISP : c'est une famille de langages homoiconiques. Ce qui offre une souplesse et une puissance que je trouve assez extraordinaire.

    Pour le reste, il y a du bon chez OCaml, chez LISP, comme chez Haskell, et aucun n'est véritablement plus difficile qu'un autre, tout dépend d'où l'on part et vers quoi on désire se diriger

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •