Forum debian-fr.org

Rechercher:

* Connexion   * M’enregistrer

* FAQ    * Rechercher





Poster un nouveau sujet Répondre au sujet  [ 28 messages ]  Aller à la page Précédente  1, 2
Auteur Message
 Sujet du message: Re: Cracker une page http
MessagePosté: 09 Avr 2012 21:38 
Hors ligne
Très bavard(e)!
Avatar de l’utilisateur

Inscription: 23 Déc 2011 12:56
Messages: 631
Localisation: Evry
Euh ... petite question en passant : où est ce que le langage caml est utilisé ?

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)


Haut
 Profil  
 
 Sujet du message: Re: Cracker une page http
MessagePosté: 10 Avr 2012 09:25 
Hors ligne
Contributeur
Avatar de l’utilisateur

Inscription: 17 Fév 2006 12:20
Messages: 16401
Localisation: Ile de France
Dans les banques, dans beaucoup d'applications fondées sur l'intellignence artificielle notamment la plupart des logiciels récents de trading par exemple. Wikipedia sort
Citation:
ortable et performant, OCaml est utilisé dans des projets aussi divers que le logiciel de synchronisation de fichiers Unison ou l'assistant de preuves formelles Coq. Les facilités de traitement symbolique du langage permettent le développement d'outils de vérification statique, comme le projet SLAM1 pour des pilotes Windows écrits par Microsoft, ou ASTRÉE pour certains systèmes embarqués des Airbus A380.
. Je rajouterais que c'est sans doute le langage le plus utilisé à l'université en recherche, de manière anecdoctique, tu le retrouves dans des domaines inattendus comme le client mldonkey

_________________
Debian Wheezy/Sid amd64 Linux version 3.5.2--aufs, Toshiba A500D Carte NVIDIA ou Toshiba Portege carte Intel, XFCE avec compiz (ben si...) et rox
2 mains de 5 doigts chacune, une tête plus options usuelles. Projets:
ClefAgreg et clef ISN


Haut
 Profil  
 
 Sujet du message: Re: Cracker une page http
MessagePosté: 10 Avr 2012 21:30 
Hors ligne
Très bavard(e)!

Inscription: 30 Aoû 2008 18:33
Messages: 359
J'ai trouvé un bouquin qui parle des méthodes que l'on peut utiliser pour supprimer la récursion d'une fonction. Il y a différentes méthodes qui produisent du code aussi rapide que de l'itératif, qui marchent dans un grand nombre de cas.

Titre : Spécifications algébriques, algorithmique et programmation
Auteurs : J.-F. Dufourd, D. Bechmann, Y. Bertrand
ISBN : 2 7296 0581 9
Date : 1995
Editions : InterEditions

À mon avis toutes ces méthodes sont implémentées dans le compilateur de OCaml, et il n'y a donc pas à avoir peur d'utiliser la récursivité en OCaml. Pour les plus maniaques de l'optimisation (dont je fais parti), ça peut vraiment aider à se déculpabiliser d'étudier les méthodes de dérécursivation :023

J'espère que ces méthodes sont aussi implantées dans GCC mais j'ai la flemme de faire des tests.


Haut
 Profil  
 
Afficher les messages postés depuis:  Trier par  
Poster un nouveau sujet Répondre au sujet  [ 28 messages ]  Aller à la page Précédente  1, 2

Index du forum » Divers » Programmation


Qui est en ligne

Utilisateurs parcourant ce forum: Aucun utilisateur enregistré et 0 invités


Vous ne pouvez pas poster de nouveaux sujets
Vous ne pouvez pas répondre aux sujets
Vous ne pouvez pas éditer vos messages
Vous ne pouvez pas supprimer vos messages
Vous ne pouvez pas joindre des fichiers

Aller à:  
Flux RSS Flux RSS Liste des flux Liste des flux
Powered by phpBB® Forum Software © phpBB Group
Traduction par: phpBB-fr.com
SEO
[ Time : 0.085s | 12 Queries | GZIP : Off ]