Bonjour.
Merci Flodelarab pour ton post, qui me montre qu'il y a quand même des gens qui s'intéressent à Anubis. Ton message est à la fois enthousiate et critique, ce qui le rend particulièrement crédible. J'espère qu'il incitera d'autres personnes à faire un tour du coté d'Anubis. Je vais maintenant répondre à tes questions.
Le forum dont il est question doit être celui du langage Anubis. Tu ne peux pas ne pas avoir remarqué l'onglet 'Les forums' en haut de chaque page de mon site. Il n'est pas aussi perfectionné que PHPBB mais il fonctionne. Certains membres s'en sont d'ailleurs servi.
Tes remarques sur la manipulation des fichiers sont très justes. Cela fait partie des défauts patents d'Anubis. Sans vouloir chercher d'excuses, c'est clairement la conséquence du fait que mes recherches abstraites portaient sur les aspects abstraits du langage (tout ce que j'appelle 'déterministe'), mais quand j'ai abordé la réalisation, je n'avais encore que des idées très floues sur ce qui n'est pas déterministe (fichiers, connections réseau, objets en général...). Bien entendu, pour la prochaine version (Anubis 1 a été réalisé en 2000), je tiendrai compte de toutes les expériences acquises. Je retiens l'idée de la base de connaissance. D'ailleurs le forum actuel sur mon site peut servir pour cela.
Quant-à ta remarque sur la rapidité à laquelle je peux moi-même développer en Anubis, je te fais quand même remarquer que la librairie contient déjà bon nombre de programmes, et que je n'ai pas chômé. J'ai consacré à Anubis enormément de temps. J'ai aussi un métier et des occupations privées. De toute façon, si tu as pratiqué un peu Anubis, tu as du te rendre compte par toi même que le compilateur détecte des fautes potentielles que des compilateurs C ou Java ne pourraient pas détecter. Il faut se rendre compte qu'Anubis est le travail d'une seule personne (mes collaborateurs ne font que de l'utilisation d'Anubis et du portage Linux -> Windows), et qu'il comporte déjà 800 pages de C et plus de 1200 pages d'Anubis. Mon expérience m'a montré qu'on développe beaucoup plus vite en Anubis qu'en C, surtout parce qu'on ne débogue presque pas, le compilateur Anubis étant beaucoup plus exigeant qu'un compilateur C. Comme tu n'as expérimenté Anubis que depuis quelques jours (6 novembre, d'après les infos administrateur de mon site), tu n'as peut être pas encore eu le temps de bien t'en rendre compte.
Tu as trouvé un bug. C'est fort possible, surtout si tu utilises la version Windows d'Anubis qui est loin d'être aussi bien au point que la version Linux. Ce serait sympa d'entrer en contact avec moi pour que je puisse le corriger, par exemple en donnant des détails sur le forum (pas ici mais sur mon site bien sûr), ou en m'envoyant un mail. Maintenant, ce que j'entends par le slogan 'pas de bug' est que si mon compilateur et ma machine virtuelle sont exempts de bugs (ce qui n'est pas certain; ils consistent en environ 800 pages de C), alors quelle que soit la façon de programmer en Anubis, on ne peut pas faire de bug formel (ce qui ne veut pas dire qu'on ne peut pas faire de bug d'intention). Il y a donc des nuances subtiles.
Je suis bien sûr très satisfait de lire que le formalisme est plaisant. J'ai passé de nombreuses années à paufiner la théoie et la syntaxe. Je suis un peu récompensé. Merci.
Le point 'sécurisation en vue de commercialisation' (qui se conncrétise par les fichiers ankh et djed) n'est qu'une expérience, et je crois que je vais y renoncer. C'est sans grande importance, et j'espère que ça n'a pas géné pour l'installation.
Je ne peux bien sûr que t'encourager à continuer, et surtout à me tenir au courant de tes progrès et de tes problèmes. Mon plus grand problème est le manque de feed-back de la part de mes utilisateurs. Pour la question du bas-niveau dont tu parles, il faudrait me donner plus de détails, pour que je puisse faire quelque chose.
Merci encore de ton intervention et à bientôt j'espère.
Partager