Vu qu'il est aussi haut niveau que Java, C#, Eiffel, il peut être une alternative, mais là c'est plus une histoire de communauté, de librairie disponible, de framework et d'extensions du langage qu'on compte mettre dedans dans le futur.
La notation de Lisaac est fonction de sa spécification (on passe bientôt à la 0.2), effectivement on pourra mettre plein de features haut niveau dans les spécifs 0.3, 0.4, etc...
Voir https://linuxfr.org/~Montaigne/20582.html pour des exemples.
Mais effectivement, je pense que Lisaac sera un langage en grande partie destiné à l'embarqué, dans l'industrie, là ou ses performances seont vraiment utile. Parce que quand on voit la lenteur de Java et sa grande popularité on comprend que c'est un paramètre totalement secondaire.
Et puis pour faire marcher Lisaac dans l'info de gestion, il faut de la lib, des framework à la J2EE, des serveurs d'applications, etc...
Donc oui l'intérêt, est de remplacer C, pour C++, Java, on verra plus tard, si c'est possible.
Pour en revenir aux optims, je plussoie ce que tu répond à TImaniac et j'ajouterai que ça permet de l'avoir sans se tapper un code illisible puisque c'est le compilateur qui se tappe les réécriture fastidieuse, chiante et illisibles.
La devise qui prévaut à la conception du compilateur est : "Ne laissez jamais un humain faire le travail d'un programme"
;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
J'ai effectivement pour projet de monter un CLAN (Comprehensive Lisaac Archive Network). C'est d'ailleurs à toi que je dois cette idée, m'étant rendu compte à te lire que c'est effectivement indispensable.
Je pense l'écrire bientôt, quand j'aurai trouvé le temps (en php je pense).
Par contre je ne comprend pas de quoi tu parle avec ton histoire d' "espace de nom".
Pourrais-tu être plus explicite ?
Merci !
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Un débat confus émerge, et nicO a abordé ce point sur la news. C'est un sujet important, en particulier pour lui qui nous bombarde d'excellentes idées pour optimiser le code.
Comment cela peut être possible ?
Premier point : Le minimalisme du code.
Le langage Lisaac est basé sur 7 primitives (elles sont définies dans le manuels, on les trouve aussi dans la librairie sous la forme `1`).
Ce nombre minimaliste permet au compilateur de travailler sur un code intermédiaire extrêment minimaliste et dépouillé.
C'est nécessaire pour réaliser l'ensemble des optimisations.
Second point : La suppression de la liaison dynamique
Je reprend ce que j'ai écrit sur Wikipedia : Les langages objets classiques, jusqu'à SmartEiffel, utilisent des VFTs (de l'anglais Virtual Function Table) pour compiler la liaison dynamique: :
Soient l'objet IMAGE, et ses deux descendants PNG et XCF. Quand on appelle la fonction PNG.affiche_toi() en Java ou en C++, on se retrouve en assembleur avec un appel du type :
L'adresse de PNG (l'objet receveur) pointe sur la base de la VFT, ensuite on ajoute le bon index pour recuperer le champs correspondant à la bonne methode...
Ce qui implique que cela vide le cache du processeur et que l'inlining est bloqué à la compilation.
Le compilateur lisaac supprime la liaison dynamique en analysant finement le type dynamique des objets grâce à un algorithme de prédiction de type. La liaison dynamique supprimée, il devient possible de procéder à des inlining et à des spécialisations de code.
Je devrai y rajouter que le polymorphisme se gère en utilisant une table duchotomique, ce qui implique que la recherche se fait en log de n.
Cela permet surtout d'avoir un code entièrement procédurale, sans dynamicité pour tuer les performances.
Troisième point : L'analyse de flot
Comme vous le savez pour la plupart d'entre vous, l'analyse de flot est une technique qui permet d'analyser le code (son graphe) pour y trouver diverses choses.
Le compilateur Lisaac réalise le graphe de l'ensemble du code, c'est pour cela que compiler 40 000 lignes (libraririe comprise) prend avec ce compilateur 512 Mo de mémoire.
C'est un algo de complexité exponentielle, ce qui est risqué pour des programme de taille plus ample.
L'analyse de flot va par exemple permettre de détecter que l'on ait par exemple n := n*2+1; quelque part et que dans une autre méthode, "10 km plus loin" on fasse un (n mod 2).if
Dans ce cas le test est supprimé.
Ce n'est pas encore implémenté car trop gourmand en mémoire (4 Go pour 400 lignes hors librairie).
Pour le moment, le compilateur recence le code vivant, supprime toutes les étapes inutiles, supprime le code mort, spécialise les types.
L'analyse de flot permet, par reconnaissance de forme, de transformer des structures lourdes en structures légère.
Par exemple le message if, initialement, est écrit comme suit (en C):
if(id_obj) { /*V*/}
else
if (!id_obj) { /*F*/}
transformé en if (id_obj) { /*V*/} else { /*F*/}
de même les récurcivité terminale sont dérécurcivées.
Dans le futur, on peut pense à des techniques d'optimisation de la mémoire, pour se coller à la structure du cache, ou des techniques permettant de gérer automatiquement les threads, ou encore des techniques permettant de spécialiser des corps de calculs en fonction des données.
Ce dernier point vous sera mieux expliqué par nicO qui développe en ce moment ces idées.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
C'est un point auquel j'ai réfléchi avec Benoit Sonntag, et je pense que l'on se dirige vers un interpréteur.
Pour le moment, il faut faire avec le -d (option du compilo)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
C'est vrai que la norme et le standard est un problème fondamental, et le libre ne simplifie pas les choses...
Concernant la librairie, elle est très proche de Eiffel (elle en est tirée).
Je suis pour le moment un peu inquiet là dessus : quel mécanisme juridique peu permettre de garantir un standard ?
Quel mécanisme pour intégrer les bonnes idées et rejeter les autres. Je pense que ce sera son concepteur qui jouera ici le rôle de Linus.
Cela dit la lib n'est que du texte, ce ne sont pas des binaires, donc enlever, rajouter, interchanger n'est pas trop problématique.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Je comprend pas ce que tu veux dire.
En lisaac précisément, tu as un type STRING défini dans la librairie (comme les nombres, booléen, etc...) mais pas dans la grammaire et ceux-ci sont très simple à utiliser.
Mais effectivement, un langage sans string c'est galère.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
De même, avec les blocks (je te les mets entière) :
- while_do body:BLOCK <-
( //? {body!=NULL};
value.if {
body.value;
while_do body;
};
);
- do_while test:BLOCK <-
( //? {test!=NULL};
value;
test.value.if {
do_while test;
};
);
- until_do body:BLOCK <-
( // ? {body!=NULL};
(! value).if {
body.value;
until_do body;
};
);
- do_until test:BLOCK <-
( //? {test!=NULL};
value;
(! test.value).if {
do_until test;
};
);
Et si tu veux en inventer d'autres, tu peux. Tu n'est pas obligé de les implémenter dans la grammaire du langage.
Et cela en gardant les performances du C.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
de faire un "méta" language qui génere du C "optimisé"
Non de faire un langage qui, au lieu de générer de l'asm, génère du C (très bas niveau le C). ou bien à terme d'avoir un compilo capable de généré du code exécutable pour toutes les archi
Je ne vois pas trop à quoi cela pourrait servir : les types qiu font tourner Gcc sur n architectures font très bien leur boulot. Pourquoi s'emm** à refaire la roue ?
ou bien carrément un langage supplémentaire de GCC (qui signifie rappelons le "GCC, the GNU Compiler Collection" )
Why not ? Il faudrait modifier le compilateur afin qu'il crache du langage intermédiaire. Mais l'intérêt est très moyen, vu qu'on peut utiliser le compilateur C.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
1/Le compilateur Lisaac effectue une analyse de flot de ton code, c'est à dire qu'il l'analyse afin de
- recenser le code vivant
- supprimer toutes les instructions inutiles
- résoudre la liaison dynamique -> plus de VFT
L'intérêt du compilateur tient en son minimalisme : la conditionnelle étant défini dans la lib, elle se trouve n'estre qu'une simple résolution de lien dynamique objet.
En effet, le message if est défini comme suit :
dans Boolean.li
- if true_block then false_block <- defered
defered est l'équiv de virtual en Java
Dans true.li
- if true_block then false_block <- (
true_block.value;
);
dans false.li
- if true_block then false_block <- (
false_block.value;
);
Evaluer une condition fausse ou vrai pour le if revient à résoudre un message.
Cela implique que le compilateur ne sait pas faire la différence entre un if, et un héritage dynamique par exemple, il ne connait que la résolution dynamique.
Cela permet d'avoir un langage extrêmement minimaliste en interne et d'optimiser à mort.
2/ Le compilateur peut mettre en place des optimisations qui rendent le code trop vite illisible pour un être humain.
Citons par exemple la gestion de la mémoire qui peut être géré à la main : tu fait un malloc de départ et tu gère l'emplacement de tes données à la main pour en optimiser l'emplacement, pour le cache par exemple.
Tu peux aussi supprimer l'ensemble des appels inutile, c'est à dire inliner ton code, ce qui le rend illisible pour un être humain.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Le problème de C, c'est que la taille de la chaîne est connu du fait qu'on un un '\0' à la fin.
strlen doit donc parcourir celle-ci.
Une gestion (plus lourde d'une chaine) utilisant un entier décrivant la taille, permet d'éviter ce genre de choses.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Je confirme, ce papier est sublime.
J'ai bien envi de mettre pas mal de chose que je vois dedans dans Lisaac.
Pour la v0.4, ça serait bien.
C'est vrai qu'il serait intéressant de définir les choses de manière plus mathématiques, par exemple de parler d'entiers naturels, d'intervals, de réels, de définir des ensembles du genre A={ (x,y) ¤ X | x<20| y>56}
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
je me demande ce qui justifiait d'adopter une écriture aussi laide et tordue. En tout cas ça donne pas envie.
Je voudrais bien comprendre, une bonne fois pour toute, ce que tout le monde trouve de si affreux dans cette syntaxe ?
Donc comment exporter des API en C ?
Ce n'est pas encore très clair pour le moment, mais du fait que Lisaac est censé pondre des objets, c'est à dire un fichier C avec une liste de fonctions et quelques variables, compilable en un .o ensuite utilisé dans l'IsaacOS, on devrait pouvoir produire des API en Lisaac en C, l'idéal serait de générer aussi le .h
Comment utilisé des API écrits en C ?
Voir le manuel utilisateur.
Un exemple tout de même, le driver video adapté à X11, que tu trouveras dans la lib.
On inline le c entre quote inverse `
planes
.when 15 then {
line_tmp := BMP_LINE_15.create w;
data := line_tmp.get_storage;
`ximage = XCreateImage(display,None,15,ZPixmap,0,(char *)@data,@w,1,16,0)`;
}
.when 16 then {
line_tmp := BMP_LINE_16.create w;
data := line_tmp.get_storage;
`ximage = XCreateImage(display,None,16,ZPixmap,0,(char *)@data,@w,1,16,0)`;
}
.when 24 then {
line_tmp := BMP_LINE_32.create w;
data := line_tmp.get_storage;
`ximage = XCreateImage(display,None,24,ZPixmap,0,(char *)@data,@w,1,32,0)`;
}
.when 32 then {
line_tmp := BMP_LINE_32.create w;
data := line_tmp.get_storage;
`ximage = XCreateImage(display,None,32,ZPixmap,0,(char *)@data,@w,1,32,0)`;
};
is_active := TRUE;
);
Plutôt que de faire un décodeur MPEG2, pourquoi ne pas montrer pleins de petits exemples beaucoup plus didactique ?
Parce que depuis deux ans, Benoit perd son temps entre des post-docs où on lui demande de faire des choses inutiles, ou de donner des cours. Faut bien vivre..; Et je pense que tu es au courant que pour un jeune chercheur, en France, c'est dur aujourd'hui.
Le décodeur Mpeg2 est une demande de ST
Pour te donner une idée, Benoit est en train de réécrire le compilateur quasi intégralement, il avait commencé... fin 2004, depuis il n'a jamais réussi à trouver le temps...
Pourquoi ne pas par exemple participer au benchmark http://shootout.alioth.debian.org/ ? On peut facilement y comparer les performances mais aussi admirer l'élégange d'un langage.
Je le ferai quand le compilateur sera libre, pour le moment seule la lib et l'OS le sont (pas encore publié sur le site, car on travaille à préparer la distrib, la doc, finir le compilo, etc... dans deux mois ça devrait être bon)
Le code Lisaac est bourré de brevets top-secret ?
C'est justement que c'est pas encore brêveté, c'est ça le problème, quand ça le sera, ça deviendra libre (normalement).
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Je répond premièrementà Benoit qui dit "Concept très bien pensés, mais réalisation très mal foutue".
Ca résume exactement ce que je pense de Microsoft. C'est même génialement pensé, mais ça tient pas ses promesses.
Poue te répondre PbPg (Benoit le fera peut être aussi), ce qui est caractéristique dans la gestion du noyau de windows est la mémoire.
J'avais lu qq part que Windows swapait une appli dès qu'on ne l'utilisait pas pendant plus de 7 secondes. On m'a expliqué que c'était plus compliqué que ça (heureusement d'ailleurs). Mais en tout cas, c'est l'impression que ce système me donne à l'utlisation, de Nt4 à Xp, et je les aient pas mal pratiqués.
J'ai pas cette impression sous Linux. Autant Linux est horriblement chiant quand le swap est plein à 95 %, parce que la seul alternative reste à essayer de prendre la main (ça peu prendre 20 minutes) pour killer l'app qui prend la place...
Mais au moins Linux ne commence pas à me prendre la tête avec le swap dès le démarrage.
Windows, je sais pas pourquoi, il veut absolument avoir de la mémoire physique libre.
On l'a acheté, elle sert à rien.
Faut qu'elle soit libre, sinon ça pourrai faire peur au client.
C'est un truc que j'ai jamais compris.
On se retrouve avec 30 % de mémoire physique libre et un gros Swap qui tourne tout le temps.
Un Wxp avec 512 Mo de mémoire, avec un Word, un Excel, un Outlook et un Windev, il rame.
Sous linux, avec autant de mémoire, un noyau bien lourd (j'utilise en ce moment même le noyau Mandriva 2006 non d'origine), un gros KDE, etc.. Ben il lui en faut quatre fois plus pour qu'il commence à ramer un peu.
Comment te dire PbPg, Windows en entreprise, en tant que PME, c'est comme un si un commercial viens te vendre une Ferrari qui brille au soleil, le tableau de bord est superbe, léché, bien conçu, le moteur est bien foutu, mais les pièces du moteurs marchent pas entre elles. Ma métaphore est pourri, mais c'est vraiment l'impression que ça donne : ya du génie dans Windows, mais c'est pas fini.
Un mot sur le code (de windows 2000), parce qu'ayant trainé sur les P2p, ben j'ai eu la curiosité de regarder...
50 % de C, 50 % de C++
Un code merveilleusement bien commenté, un modèle du genre, une présentation parfaite...
Mais il y a trop d'intégration ! C'est trop gros ! C'est plus humain, surtout écris en C/C++ avec les pointeurs à trainer, touça !
200 ko de code pour le Notepad (!!) et etc...
Bref, windows c'est certes une belle idée, Bilou est vraiment un architecte de génie, mais je crois qu'il faudrait qu'il se rende compte que ses ingé ont pas les outils pour réaliser son rêve.
Remarque moi, ça m'arrange ;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Effectivement, je n'avais pas perçu que tu devais supporter pas mal de monde te raconter des choses contradictoires, et je prend facilement la mouche sur ce genre de chose, surtout que je rencontrais plein de gens extrêmement rapides et profond par ailleurs.
Merci de m'avoir écouté et j'espère que ça vous aidera à passer ce mauvais cap.
Je compte synthétiser ce que je viens d 'écrire plus haut. Je n'avais jamais réussi à le synthétiser et ça vient (enfin) de sortir tout seul.
C'est vraiment la pure de synthèse de ce qui fait rêver le PDG d'une PME industriel de - 50 salariés (voire jusqu'à 250 personnes) : l'informatique sans souçi.
Tous les outils sont prêt (ou presque sous GNU/Linux) et il faut seulement faire un petit effort d'intégration.
Je vais essayer de creuser ça proprement et t'envoyer ça par mail.
Le marché à prendre est considérable et il faut se dépêcher de porter les coup pendant la période de transition vers Vista...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Comment faire un langage plus rapide que C ?
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
La notation de Lisaac est fonction de sa spécification (on passe bientôt à la 0.2), effectivement on pourra mettre plein de features haut niveau dans les spécifs 0.3, 0.4, etc...
Voir https://linuxfr.org/~Montaigne/20582.html pour des exemples.
Mais effectivement, je pense que Lisaac sera un langage en grande partie destiné à l'embarqué, dans l'industrie, là ou ses performances seont vraiment utile. Parce que quand on voit la lenteur de Java et sa grande popularité on comprend que c'est un paramètre totalement secondaire.
Et puis pour faire marcher Lisaac dans l'info de gestion, il faut de la lib, des framework à la J2EE, des serveurs d'applications, etc...
Donc oui l'intérêt, est de remplacer C, pour C++, Java, on verra plus tard, si c'est possible.
Pour en revenir aux optims, je plussoie ce que tu répond à TImaniac et j'ajouterai que ça permet de l'avoir sans se tapper un code illisible puisque c'est le compilateur qui se tappe les réécriture fastidieuse, chiante et illisibles.
La devise qui prévaut à la conception du compilateur est :
"Ne laissez jamais un humain faire le travail d'un programme"
;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 4.
Je pense l'écrire bientôt, quand j'aurai trouvé le temps (en php je pense).
Par contre je ne comprend pas de quoi tu parle avec ton histoire d' "espace de nom".
Pourrais-tu être plus explicite ?
Merci !
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Comment faire un langage plus rapide que C ?
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 6.
Comment cela peut être possible ?
Premier point : Le minimalisme du code.
Le langage Lisaac est basé sur 7 primitives (elles sont définies dans le manuels, on les trouve aussi dans la librairie sous la forme `1`).
Ce nombre minimaliste permet au compilateur de travailler sur un code intermédiaire extrêment minimaliste et dépouillé.
C'est nécessaire pour réaliser l'ensemble des optimisations.
Second point : La suppression de la liaison dynamique
Je reprend ce que j'ai écrit sur Wikipedia :
Les langages objets classiques, jusqu'à SmartEiffel, utilisent des VFTs (de l'anglais Virtual Function Table) pour compiler la liaison dynamique: :
Soient l'objet IMAGE, et ses deux descendants PNG et XCF. Quand on appelle la fonction PNG.affiche_toi() en Java ou en C++, on se retrouve en assembleur avec un appel du type :
Call dword ptr [__adresse_de_PNG + index_dans la_VFT_de_la_fonction_affiche_toi()]
L'adresse de PNG (l'objet receveur) pointe sur la base de la VFT, ensuite on ajoute le bon index pour recuperer le champs correspondant à la bonne methode...
Ce qui implique que cela vide le cache du processeur et que l'inlining est bloqué à la compilation.
Le compilateur lisaac supprime la liaison dynamique en analysant finement le type dynamique des objets grâce à un algorithme de prédiction de type. La liaison dynamique supprimée, il devient possible de procéder à des inlining et à des spécialisations de code.
Je devrai y rajouter que le polymorphisme se gère en utilisant une table duchotomique, ce qui implique que la recherche se fait en log de n.
Cela permet surtout d'avoir un code entièrement procédurale, sans dynamicité pour tuer les performances.
Troisième point : L'analyse de flot
Comme vous le savez pour la plupart d'entre vous, l'analyse de flot est une technique qui permet d'analyser le code (son graphe) pour y trouver diverses choses.
Le compilateur Lisaac réalise le graphe de l'ensemble du code, c'est pour cela que compiler 40 000 lignes (libraririe comprise) prend avec ce compilateur 512 Mo de mémoire.
C'est un algo de complexité exponentielle, ce qui est risqué pour des programme de taille plus ample.
L'analyse de flot va par exemple permettre de détecter que l'on ait par exemple n := n*2+1; quelque part et que dans une autre méthode, "10 km plus loin" on fasse un (n mod 2).if
Dans ce cas le test est supprimé.
Ce n'est pas encore implémenté car trop gourmand en mémoire (4 Go pour 400 lignes hors librairie).
Pour le moment, le compilateur recence le code vivant, supprime toutes les étapes inutiles, supprime le code mort, spécialise les types.
L'analyse de flot permet, par reconnaissance de forme, de transformer des structures lourdes en structures légère.
Par exemple le message if, initialement, est écrit comme suit (en C):
if(id_obj) { /*V*/}
else
if (!id_obj) { /*F*/}
transformé en if (id_obj) { /*V*/} else { /*F*/}
de même les récurcivité terminale sont dérécurcivées.
Dans le futur, on peut pense à des techniques d'optimisation de la mémoire, pour se coller à la structure du cache, ou des techniques permettant de gérer automatiquement les threads, ou encore des techniques permettant de spécialiser des corps de calculs en fonction des données.
Ce dernier point vous sera mieux expliqué par nicO qui développe en ce moment ces idées.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Portable ?!?
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
Pour le moment, il faut faire avec le -d (option du compilo)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
Concernant la librairie, elle est très proche de Eiffel (elle en est tirée).
Je suis pour le moment un peu inquiet là dessus : quel mécanisme juridique peu permettre de garantir un standard ?
Quel mécanisme pour intégrer les bonnes idées et rejeter les autres. Je pense que ce sera son concepteur qui jouera ici le rôle de Linus.
Cela dit la lib n'est que du texte, ce ne sont pas des binaires, donc enlever, rajouter, interchanger n'est pas trop problématique.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
En lisaac précisément, tu as un type STRING défini dans la librairie (comme les nombres, booléen, etc...) mais pas dans la grammaire et ceux-ci sont très simple à utiliser.
Mais effectivement, un langage sans string c'est galère.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
Différents tests :
+ monboolean, monautrebooleen : BOOLEAN;
monboolean.if_true { cond_vrai;};
monboolean.if_false {cond_fausse;};
monboolean.if { cond_vrai;} else {cond_fausse;};
monboolean.if {
/**/
}.elseif monautrebooleen then {
/**/
} else { /**/ }
etc...
Tu peux en créer autant que tu veux de ce style.
De même, avec les blocks (je te les mets entière) :
- while_do body:BLOCK <-
( //? {body!=NULL};
value.if {
body.value;
while_do body;
};
);
- do_while test:BLOCK <-
( //? {test!=NULL};
value;
test.value.if {
do_while test;
};
);
- until_do body:BLOCK <-
( // ? {body!=NULL};
(! value).if {
body.value;
until_do body;
};
);
- do_until test:BLOCK <-
( //? {test!=NULL};
value;
(! test.value).if {
do_until test;
};
);
Et si tu veux en inventer d'autres, tu peux. Tu n'est pas obligé de les implémenter dans la grammaire du langage.
Et cela en gardant les performances du C.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: N'y-a-t-il pas antinomye ?
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
Non de faire un langage qui, au lieu de générer de l'asm, génère du C (très bas niveau le C).
ou bien à terme d'avoir un compilo capable de généré du code exécutable pour toutes les archi
Je ne vois pas trop à quoi cela pourrait servir : les types qiu font tourner Gcc sur n architectures font très bien leur boulot. Pourquoi s'emm** à refaire la roue ?
ou bien carrément un langage supplémentaire de GCC (qui signifie rappelons le "GCC, the GNU Compiler Collection" )
Why not ? Il faudrait modifier le compilateur afin qu'il crache du langage intermédiaire. Mais l'intérêt est très moyen, vu qu'on peut utiliser le compilateur C.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 4.
Ils seront surement très sensible à ton argumentation.
Tu trouveras les coordonnées utiles ici.
http://www.inria.fr/inria/organigramme/fiche_dirdri.fr.html
Mais faut pas s'en prendre à nous qui sommes intéressés par ce langage, il ne nous appartient pas et on est pas décideurs.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: IDE
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 5.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 1.
1/Le compilateur Lisaac effectue une analyse de flot de ton code, c'est à dire qu'il l'analyse afin de
- recenser le code vivant
- supprimer toutes les instructions inutiles
- résoudre la liaison dynamique -> plus de VFT
L'intérêt du compilateur tient en son minimalisme : la conditionnelle étant défini dans la lib, elle se trouve n'estre qu'une simple résolution de lien dynamique objet.
En effet, le message if est défini comme suit :
dans Boolean.li
- if true_block then false_block <- defered
defered est l'équiv de virtual en Java
Dans true.li
- if true_block then false_block <- (
true_block.value;
);
dans false.li
- if true_block then false_block <- (
false_block.value;
);
Evaluer une condition fausse ou vrai pour le if revient à résoudre un message.
Cela implique que le compilateur ne sait pas faire la différence entre un if, et un héritage dynamique par exemple, il ne connait que la résolution dynamique.
Cela permet d'avoir un langage extrêmement minimaliste en interne et d'optimiser à mort.
2/ Le compilateur peut mettre en place des optimisations qui rendent le code trop vite illisible pour un être humain.
Citons par exemple la gestion de la mémoire qui peut être géré à la main : tu fait un malloc de départ et tu gère l'emplacement de tes données à la main pour en optimiser l'emplacement, pour le cache par exemple.
Tu peux aussi supprimer l'ensemble des appels inutile, c'est à dire inliner ton code, ce qui le rend illisible pour un être humain.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Portable ?!?
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 3.
Cela sera corrigé dans la prochaine version.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 3.
strlen doit donc parcourir celle-ci.
Une gestion (plus lourde d'une chaine) utilisant un entier décrivant la taille, permet d'éviter ce genre de choses.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 5.
RMS lui même m'a conseillé (la mort dans l'âme il est vrai) de brèveter (ça ne m'amuse pas non plus.
Il s'agit de brèveter aux Etats-Unis
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Mieux que le C
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
J'ai bien envi de mettre pas mal de chose que je vois dedans dans Lisaac.
Pour la v0.4, ça serait bien.
C'est vrai qu'il serait intéressant de définir les choses de manière plus mathématiques, par exemple de parler d'entiers naturels, d'intervals, de réels, de définir des ensembles du genre A={ (x,y) ¤ X | x<20| y>56}
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: gestion automatique de la mémoire
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 1.
./lisaac/distrib/lisaac/lib/memory/mem_block.li
Dans ces deux fichiers, la réponse à ta question tu trouveras :)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
Je voudrais bien comprendre, une bonne fois pour toute, ce que tout le monde trouve de si affreux dans cette syntaxe ?
Franchement je préfère
à
C'est beaucoup plus clair, à mon humble avis.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 6.
Ce n'est pas encore très clair pour le moment, mais du fait que Lisaac est censé pondre des objets, c'est à dire un fichier C avec une liste de fonctions et quelques variables, compilable en un .o ensuite utilisé dans l'IsaacOS, on devrait pouvoir produire des API en Lisaac en C, l'idéal serait de générer aussi le .h
Comment utilisé des API écrits en C ?
Voir le manuel utilisateur.
Un exemple tout de même, le driver video adapté à X11, que tu trouveras dans la lib.
On inline le c entre quote inverse `
Plutôt que de faire un décodeur MPEG2, pourquoi ne pas montrer pleins de petits exemples beaucoup plus didactique ?
Parce que depuis deux ans, Benoit perd son temps entre des post-docs où on lui demande de faire des choses inutiles, ou de donner des cours. Faut bien vivre..; Et je pense que tu es au courant que pour un jeune chercheur, en France, c'est dur aujourd'hui.
Le décodeur Mpeg2 est une demande de ST
Pour te donner une idée, Benoit est en train de réécrire le compilateur quasi intégralement, il avait commencé... fin 2004, depuis il n'a jamais réussi à trouver le temps...
Pourquoi ne pas par exemple participer au benchmark http://shootout.alioth.debian.org/ ? On peut facilement y comparer les performances mais aussi admirer l'élégange d'un langage.
Je le ferai quand le compilateur sera libre, pour le moment seule la lib et l'OS le sont (pas encore publié sur le site, car on travaille à préparer la distrib, la doc, finir le compilo, etc... dans deux mois ça devrait être bon)
Le code Lisaac est bourré de brevets top-secret ?
C'est justement que c'est pas encore brêveté, c'est ça le problème, quand ça le sera, ça deviendra libre (normalement).
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Euh ...
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Explication ?
Posté par Ontologia (site web personnel) . En réponse au journal La position d'Alternative Libérale sur les logiciels libres. Évalué à 1.
http://fr.wikipedia.org/wiki/N%C3%A9olib%C3%A9ralisme
Je vous conseille aussi
http://gael.le.divenah.free.fr/Des_sous/020_02_04_02_Serge_H(...)
http://gael.le.divenah.free.fr/Des_sous/019_26_03_02_Serge_H(...)
Où Serge Halimi, du monde diplomatique, décrit la montée de l'idéologie néolibérale les 40 dernières années.
Je trouve d'habitude d'babitude S. Halimi assez crypto marxiste, mais là il est assez récitatif, c'est très intéressant.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Ca devait arriver
Posté par Ontologia (site web personnel) . En réponse au journal Projet Origami de Microsoft. Évalué à 3.
Tu n'aurai pas autre chose ?
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Ca devait arriver
Posté par Ontologia (site web personnel) . En réponse au journal Projet Origami de Microsoft. Évalué à 5.
Ca résume exactement ce que je pense de Microsoft. C'est même génialement pensé, mais ça tient pas ses promesses.
Poue te répondre PbPg (Benoit le fera peut être aussi), ce qui est caractéristique dans la gestion du noyau de windows est la mémoire.
J'avais lu qq part que Windows swapait une appli dès qu'on ne l'utilisait pas pendant plus de 7 secondes. On m'a expliqué que c'était plus compliqué que ça (heureusement d'ailleurs). Mais en tout cas, c'est l'impression que ce système me donne à l'utlisation, de Nt4 à Xp, et je les aient pas mal pratiqués.
J'ai pas cette impression sous Linux. Autant Linux est horriblement chiant quand le swap est plein à 95 %, parce que la seul alternative reste à essayer de prendre la main (ça peu prendre 20 minutes) pour killer l'app qui prend la place...
Mais au moins Linux ne commence pas à me prendre la tête avec le swap dès le démarrage.
Windows, je sais pas pourquoi, il veut absolument avoir de la mémoire physique libre.
On l'a acheté, elle sert à rien.
Faut qu'elle soit libre, sinon ça pourrai faire peur au client.
C'est un truc que j'ai jamais compris.
On se retrouve avec 30 % de mémoire physique libre et un gros Swap qui tourne tout le temps.
Un Wxp avec 512 Mo de mémoire, avec un Word, un Excel, un Outlook et un Windev, il rame.
Sous linux, avec autant de mémoire, un noyau bien lourd (j'utilise en ce moment même le noyau Mandriva 2006 non d'origine), un gros KDE, etc.. Ben il lui en faut quatre fois plus pour qu'il commence à ramer un peu.
Comment te dire PbPg, Windows en entreprise, en tant que PME, c'est comme un si un commercial viens te vendre une Ferrari qui brille au soleil, le tableau de bord est superbe, léché, bien conçu, le moteur est bien foutu, mais les pièces du moteurs marchent pas entre elles. Ma métaphore est pourri, mais c'est vraiment l'impression que ça donne : ya du génie dans Windows, mais c'est pas fini.
Un mot sur le code (de windows 2000), parce qu'ayant trainé sur les P2p, ben j'ai eu la curiosité de regarder...
50 % de C, 50 % de C++
Un code merveilleusement bien commenté, un modèle du genre, une présentation parfaite...
Mais il y a trop d'intégration ! C'est trop gros ! C'est plus humain, surtout écris en C/C++ avec les pointeurs à trainer, touça !
200 ko de code pour le Notepad (!!) et etc...
Bref, windows c'est certes une belle idée, Bilou est vraiment un architecte de génie, mais je crois qu'il faudrait qu'il se rende compte que ses ingé ont pas les outils pour réaliser son rêve.
Remarque moi, ça m'arrange ;-)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Ce sacré Club !
Posté par Ontologia (site web personnel) . En réponse au journal Ça chie pour Mandriva. Évalué à 3.
Merci de m'avoir écouté et j'espère que ça vous aidera à passer ce mauvais cap.
Je compte synthétiser ce que je viens d 'écrire plus haut. Je n'avais jamais réussi à le synthétiser et ça vient (enfin) de sortir tout seul.
C'est vraiment la pure de synthèse de ce qui fait rêver le PDG d'une PME industriel de - 50 salariés (voire jusqu'à 250 personnes) : l'informatique sans souçi.
Tous les outils sont prêt (ou presque sous GNU/Linux) et il faut seulement faire un petit effort d'intégration.
Je vais essayer de creuser ça proprement et t'envoyer ça par mail.
Le marché à prendre est considérable et il faut se dépêcher de porter les coup pendant la période de transition vers Vista...
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker