C'est un langage de recherche. Pendant un moment, il y avait 5 ou 6 personnes sur le nouveau système de typage (GADT), mais une demi pour gérer la correction de bugs. Ocaml pro va peut être changer cela.
Le système de typage permet d'éviter tout un tas de programmation défensive. Globalement le modèle haut niveau est très bon, et donc ils n'ont pas jugé utile d'aller plus loin.
Mais cela veut surtout dire que doubler les performances de certain code doit être possible.
Haskell fait de la deforestation, qui évite la création d'arbre inutile dans un traitement (genre empilement de map).
ocaml fait le minimum. Il fait quelques optimisation haut niveau comme le tail recursif, mais c'est tout : presque pas de propagation de constante, pas d'inlining, pas de spécialisation de fonction, pas de déroulage de boucle.
Oui, c'est de la propagation de constante. Sauf qu'en général, dés qu'un conteneur rentre dans la boucle, cela stop (string, list, etc…). Impossible de compiler une regexp par exemple.
ocaml avec ocamlp4 mais la syntaxe était incompréhensible. On dirait que le nom était bien choisi en rapport avec les reformé du même nom.
Ils ont créé un nouveau truc, les points d'extension qui ressemble à des annotations java, histoire de créer des filtres code vers code, comme lisp, mais les exemples sont incomplets. C'est comme si il montrait les appels de fonctions, sans montrer les définitions de fonctions.
C'est un peu l'idée documenté exactement ce que l'on veut faire, au lieu de mettre le résultat de pré-calcul en dure. Cela permet aussi de relire les pré-calcul.
Cela me fait mal de lire que l'exemple que tu donnes, est dans le truc directement concurrent avec ma boite (qui édite SCADE suite), c'est le karma :)
Moi j'attends d'avoir enfin un langage qui permet d'exprimer la fonction sous forme d'une approximation utilisant un tour de newton rafson, sans montrer un paquet de constant, ou un paquet ignoble de template ou de macro.
Le vrai problème est là : avoir un langage suffisamment expressif pour le codeur qui arrive ensuite, et pour générer exactement ce que l'on veut.
C'est souvent fait avec des templates C++, qui devient un langage dans le langage, ou avec des générateurs de code.
Souvent, on veut simplement de la "propagation de constante balèze" avec gestion des conteneurs (liste, tableau, string). Par exemple, compiler une expression régulière décrite sous forme de string à la compilation, décrire une forme de code plus rapide (fftw), générer des structures de donnés d'après un modèle (EMF d'Eclipse gère la structure de modèle objet, et la sérialisation XML depuis une DTD ou un modèle UML)…
De mémoire, c'est surtout les multiplieurs en un seul cycle qui rende cette astuce inutile.
sqrt(x) est une instruction lente quand elle existe, genre en n cycles, n étant le nombre de bit du nombre. 1/sqrt(x) est au contraire rapide, souvent un seul cycle, et est donc souvent présente dans les jeux d'instruction.
En général, le typage ne laisse pas passer. Il force aussi au codeur suivant à réfléchir un peu.
Si on reste sur du code propre et pas du hack de concours, un code réduit est toujours préférable à un truc verbeux, dont on finit forcément par perdre la structure d'ensemble.
Si tu arrives à pondre un algo avec 4 cas génériques, dans tout les cas, c'est plus simple à maintenir que faire les 60 cas un par un.
J'avais le cas aussi de structures de donné strictement nécessaire, ou pas. Si il existe des champs inutiles, comme le savoir en ne lisant que le code localement ?
Je rajouterais aussi la création de guidelines pour les codeurs de logiciel. J'en ai demandé plusieurs fois, pour un de mes logiciels, sans recevoir aucun (en dehors de : utilises les outils standards).
Peut être que tu pourrais définir une API REST spécifique pour déclarer une nouvelle version ?
Je ne pense pas que le créneau "généraliste" puisse encore être pris dans les distribs.
J'imagine que quelques choses de pointu, peut encore l'être.
L'autre jour, je me demandais si il existait une distribution pour serveur parano. Le genre de truc généré puis passé presque entièrement en read only.
Je pense aussi qu'il manque une distribution à la pointe, mis à jour, sécurisé, mais de "base", où il serait facile de rajouter des sources externes (genre laisser firefox se mettre à jour seul, etc…).
Les 2 ont été développé par Estérel technologies ( https://fr.wikipedia.org/wiki/Esterel_Technologies ). Lustre pour l'embarqué critique, Estérel pour faire du hardware. Malheureusement, la partie EDA a fait faillite (et Gérard Berry est retourné au CNRS). Et Estérel n'est plus vraiment développé industriellement.
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 3.
C'est un langage de recherche. Pendant un moment, il y avait 5 ou 6 personnes sur le nouveau système de typage (GADT), mais une demi pour gérer la correction de bugs. Ocaml pro va peut être changer cela.
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 3.
Oui, cela va vite, mais sans se fouler.
Le système de typage permet d'éviter tout un tas de programmation défensive. Globalement le modèle haut niveau est très bon, et donc ils n'ont pas jugé utile d'aller plus loin.
Mais cela veut surtout dire que doubler les performances de certain code doit être possible.
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 3.
Haskell fait de la deforestation, qui évite la création d'arbre inutile dans un traitement (genre empilement de map).
ocaml fait le minimum. Il fait quelques optimisation haut niveau comme le tail recursif, mais c'est tout : presque pas de propagation de constante, pas d'inlining, pas de spécialisation de fonction, pas de déroulage de boucle.
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 2.
Oui, c'est de la propagation de constante. Sauf qu'en général, dés qu'un conteneur rentre dans la boucle, cela stop (string, list, etc…). Impossible de compiler une regexp par exemple.
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 1.
pas mal.
Mais ça c'est vraiment très con :
"It can call only other constexpr functions"
Cela veut dire pas de lib standard, pas de lecture de fichier, pas d'io, etc…
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 3.
ocaml avec ocamlp4 mais la syntaxe était incompréhensible. On dirait que le nom était bien choisi en rapport avec les reformé du même nom.
Ils ont créé un nouveau truc, les points d'extension qui ressemble à des annotations java, histoire de créer des filtres code vers code, comme lisp, mais les exemples sont incomplets. C'est comme si il montrait les appels de fonctions, sans montrer les définitions de fonctions.
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 2.
C'est un peu l'idée documenté exactement ce que l'on veut faire, au lieu de mettre le résultat de pré-calcul en dure. Cela permet aussi de relire les pré-calcul.
Cela me fait mal de lire que l'exemple que tu donnes, est dans le truc directement concurrent avec ma boite (qui édite SCADE suite), c'est le karma :)
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 4.
Tu sais que tu parles de John Carmack, un des meilleurs codeurs de tous les temps ? https://fr.wikipedia.org/wiki/John_Carmack
Les génies sont incompris…
"La première sécurité est la liberté"
[^] # Re: Asimov...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 3.
L'acier était aussi trop fragile, ce qui a augmenté la taille de la déchirure. Le bateau aurait du couler plus lentement ou pas du tout.
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 2.
Moi j'attends d'avoir enfin un langage qui permet d'exprimer la fonction sous forme d'une approximation utilisant un tour de newton rafson, sans montrer un paquet de constant, ou un paquet ignoble de template ou de macro.
Le vrai problème est là : avoir un langage suffisamment expressif pour le codeur qui arrive ensuite, et pour générer exactement ce que l'on veut.
C'est souvent fait avec des templates C++, qui devient un langage dans le langage, ou avec des générateurs de code.
Souvent, on veut simplement de la "propagation de constante balèze" avec gestion des conteneurs (liste, tableau, string). Par exemple, compiler une expression régulière décrite sous forme de string à la compilation, décrire une forme de code plus rapide (fftw), générer des structures de donnés d'après un modèle (EMF d'Eclipse gère la structure de modèle objet, et la sérialisation XML depuis une DTD ou un modèle UML)…
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 5.
De mémoire, c'est surtout les multiplieurs en un seul cycle qui rende cette astuce inutile.
sqrt(x) est une instruction lente quand elle existe, genre en n cycles, n étant le nombre de bit du nombre. 1/sqrt(x) est au contraire rapide, souvent un seul cycle, et est donc souvent présente dans les jeux d'instruction.
"La première sécurité est la liberté"
[^] # Re: relativité étendue
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 3. Dernière modification le 29 septembre 2014 à 17:22.
En général, le typage ne laisse pas passer. Il force aussi au codeur suivant à réfléchir un peu.
Si on reste sur du code propre et pas du hack de concours, un code réduit est toujours préférable à un truc verbeux, dont on finit forcément par perdre la structure d'ensemble.
"La première sécurité est la liberté"
[^] # Re: relativité étendue
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 2.
Non, il y a des trucs qui restent.
Si tu arrives à pondre un algo avec 4 cas génériques, dans tout les cas, c'est plus simple à maintenir que faire les 60 cas un par un.
J'avais le cas aussi de structures de donné strictement nécessaire, ou pas. Si il existe des champs inutiles, comme le savoir en ne lisant que le code localement ?
"La première sécurité est la liberté"
[^] # Re: Plutôt beauté du design
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "beauté du code". Évalué à 6.
Je pense que cela rentre précisément dans ce qu'il appelle le beau code.
"La première sécurité est la liberté"
[^] # Re: Généraliste ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Maintenir sa distribution : état des lieux de 0Linux après 4 ans de développement. Évalué à 2.
Je rajouterais aussi la création de guidelines pour les codeurs de logiciel. J'en ai demandé plusieurs fois, pour un de mes logiciels, sans recevoir aucun (en dehors de : utilises les outils standards).
Peut être que tu pourrais définir une API REST spécifique pour déclarer une nouvelle version ?
"La première sécurité est la liberté"
# Généraliste ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Maintenir sa distribution : état des lieux de 0Linux après 4 ans de développement. Évalué à 3.
Je ne pense pas que le créneau "généraliste" puisse encore être pris dans les distribs.
J'imagine que quelques choses de pointu, peut encore l'être.
L'autre jour, je me demandais si il existait une distribution pour serveur parano. Le genre de truc généré puis passé presque entièrement en read only.
Je pense aussi qu'il manque une distribution à la pointe, mis à jour, sécurisé, mais de "base", où il serait facile de rajouter des sources externes (genre laisser firefox se mettre à jour seul, etc…).
"La première sécurité est la liberté"
[^] # Re: plop
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Retour aux sources. Évalué à 2.
A part dans des cas tordu, je ne crois pas.
https://en.wikipedia.org/wiki/X_Macro
"La première sécurité est la liberté"
[^] # Re: plop
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Retour aux sources. Évalué à 2.
Tu n'as jamais de class utilitaire définit dans un fichier util.h que tu utilises un peu partout ?
"La première sécurité est la liberté"
[^] # Re: ...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Retour aux sources. Évalué à 3.
moi j'aime bien "gcc -MM" avec make.
Mais c'est pour des trucs simple.
"La première sécurité est la liberté"
[^] # Re: ...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Retour aux sources. Évalué à 3.
pour le 1), c'est gcc (et sans doute aussi visual studio).
pour le 2), c'est du linux, il me semble.
"La première sécurité est la liberté"
# ...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Retour aux sources. Évalué à 5.
Un .h peut maintenant se compiler comme les .c. Cela permet de gagner du temps.
Non, mais il existe des bout de code qui permet de le faire, en récupérant les exceptions.
"La première sécurité est la liberté"
[^] # Re: Et moi
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ne dites pas à ma mère que j'ai installé systemd, elle croit que je suis pianiste dans un bordel.. Évalué à 8.
un motard bas du front pour tous ?
"La première sécurité est la liberté"
[^] # Re: Lien vers le langage
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Gérard Berry médaille d'or 2014 du CNRS. Évalué à 6.
Le grand concurrent était lustre : https://fr.wikipedia.org/wiki/Lustre_%28langage%29#SCADE
Les 2 ont été développé par Estérel technologies ( https://fr.wikipedia.org/wiki/Esterel_Technologies ). Lustre pour l'embarqué critique, Estérel pour faire du hardware. Malheureusement, la partie EDA a fait faillite (et Gérard Berry est retourné au CNRS). Et Estérel n'est plus vraiment développé industriellement.
"La première sécurité est la liberté"
[^] # Re: Page de DPS
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E13 : un an, premier bilan . Évalué à 3.
VLC était tenu par une association de centrale. Cela fait un suivi sur le long terme. Cela évite le truc pas fini.
"La première sécurité est la liberté"
[^] # Re: Page de DPS
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E13 : un an, premier bilan . Évalué à 3.
Faites du bon suivi, VLC a commencé comme ça.
"La première sécurité est la liberté"