Recherche:

je ne suis pas totalement d'accord... :roll:

le C permet un controle très fin de ce que l'on fait (mais l'assembleur est encore plus fin :aie:)

sinon, il faut voir ce qui est important de...

ça semblait évident, étant donné qu'il répond d'ordinaire très rapidement... et que les universitaires prennent souvent la période mi-juillet à mi-août ;)

Je trouve votre affirmation plus que déplacée à l'égard des membres de ce forum... à ce que j'ai pu lire, très peu de personnes se sont permises des critiques "non constructives", car trop peu...

je souhaiterais quelques précisions sur ce point... qu'en est-il du "contre-exemple" de alex_pi qui montre qu'une simple structure cyclique fait exploser la mémoire consommée ?
y a-t-il une autre...

:salut: et bienvenue sur le forum,







enfin un exemple pratique d'utilisation d'Anubis... ça devrait relancer un peu le débat :D

c'est toi qui as introduit la décidabilité dans ce débat...



je n'ai fait que répondre par une notion tout aussi théorique, et certainement aussi difficile à obtenir en pratique :roll:

soit tu es un débutant (ce qui ne semble pas être le cas), soit tu fais semblant de ne pas savoir qu'il y a une différence entre logique et programmation... donc je ne pourrais pas écrire un...

rien ne te permet d'interpréter les "sous-entendus" à ta guise... perso, je verrais plutôt que la version 2 sera capable de vérifier plus de choses que la 1.
par ailleurs, j'ai ouï dire qu'avec...

perso, je suis d'accord... mais on arrête là sur cette parenthèse ;)

au passage, je ne sais pas si l'équipe qui développe le "coeur" de OCaml est si nombreuse que cela... http://gallium.inria.fr/

sachant que dans cette équipe, il y a aussi du monde qui bosse sur...

a priori non... http://research.microsoft.com/ero/ICD/PhD/2006SummerSchool/




franchement, sur un langage typé "en grande partie dynamiquement", et pour l'interprétation, c'est rudement...

En ce qui concerne les fonctions curryfiées dans la ZAM, il me semble qu'il y a une optimisation effectuée "après coup" pour supprimer par le mécanisme de "tail-call elimination"

pour ce qui est...

un peu des deux... par défaut non, mais X11 (donc certainement XWindow) est "activable" mais plus lent :?
(enfin, si j'ai bien retenu... je n'ai pas programmé avec MacOS X, le MacOS 9 de ma prépa...

ben non, pas mal d'appels systèmes sont différents, mais on peut les récupérer (je crois) en utilisant l'entête "unix.h"

ça demande pas mal de boulot de porter une vm sur une autre... et ça n'a pas forcémment un grand intérêt, qui se sert de IronPython ou de JPython ? ;)

je connais de nombreux contre-exemples, mais ils "trainent" de plus en plus du côté de l'info théorique, et non des maths pures ou des maths appliquées





excellent... :king:
on pourra...

tu veux dire chercheur en informatique fondamentale... parce que parmi les mathématiciens :
+ maths fondamentales -> ils ne touchent pas à un ordi (peut-être pour du Latex)
+ maths appliquées...