J'ai la même question. Si tu as un type "trié + validé" issue d'une string, souvent tu va avoir besoin de fonction de base de string, parfois que pour "trié" ou que pour "validé", comment gères-tu ces cas ?
Depuis j'ai moi aussi fais mon bout de chemin et maintenant ce que j'aimerais c'est pouvoir faire plus de choses avec les types, mais les langages généralistes que je côtoient n'ont pas ce qu'il faut pour gérer ça.
Qu'est-ce que tu entends par là ? J'ai un peu réfléchit à un système de type plus complet, mais c'est en standby pour l'instant.
Je parle de créer une couche de compatibilité entre drivers windows et Linux, et tu me parles de "des matos qui ont besoin de drivers pour des versions anterieurs de windows, qui ne seront jamais au grand jamais upgrader", tu me reproches de vouloir réécrire des drivers ! Et tu t'étonnes que je râle ?
Si on regarde leur but affiché, cela ressemble aux syndromes NIH, avec une perte de temps et d'énergie énorme à la clef.
Si le but est de se faire plaisir, ce n'est plus vraiment du NIH, mais un jeu. Réinventer la roue est amusant, mais pas utile. Si le but est de supporter les drivers windows, par rapport à Wine qui supporte les applications windows, il y a des tonnes de techniques plus simple que de réécrire un OS !
Je crois que tu n'a rien compris au sujet. Il est évidement question d'une couche de compatibilité avec les drivers windows, sinon, cela n'aurait aucun sens.
là où une simple surcouche logicielle ne suffirait pas.
La surcouche en question pourrait très bien être un module noyau linux. En quoi recoder la gestion de tache, des disques, du réseau a un quelconque intérêt ?
Il existe déjà le ndiswrapper pour les drivers windows sous linux, il me semble. Ajouter une couche de compatibilité dans Linux pour des drivers windows, doit être plus simple que de recoder un OS de zéro !
De mon point de vue, on dirait un bon gros syndrome NIH.
Qt semble une évidence à supporter. Mais je pense tout de même qu'une GUI purement fonctionnel (arbre+type sum) serait plus facile à utiliser en ocaml qu'un truc objet.
Ensuite, il doit être possible de faire un "proxy" fonctionnel des truc Qt, mais cela ne doit pas être simple.
A moins qu'elle est beaucoup changé, elle était très très moche et ne disposait pas de widget digne de ce nom (tableau "lazy", arbre, canvas moderne).
Qu'est-ce que tu entends par serveur HTML correct? Il y a 36 000 bibliothèques pour faire ça, à défaut d'apprendre Eliom j'ai commencé à travailler avec webmachine, c'est très bien.
En général, quand il y a en 50, c'est que aucune fonctionne correctement : trop lent, ne passe pas à l'échelle, ou propose des latences dû au gc trop importante, ou encore sont trop pauvre. J'avais espoir dans oscigen, mais je ne comprends rien à leur super tuto. De plus, il n'utilise pas du ocaml standard.
Tu es pénible. Vraiment. C'est marqué de long en large sur le site du benchmark en question. Les codes sont fournis par les utilisateurs du langage. Si tu penses faire mieux fait une proposition.
Et j'imagine que tu n'as sans doute pas compris que l'algorithme est fixe.
[^] # Re: ouai
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Données vs Code. Évalué à 2.
Tu veux faire un filtrage dans chaque fonction qui prendrait un de ces types en argument ?
Mais comment faire pour utiliser une fonction standard ? Tu filtres avant ?
"La première sécurité est la liberté"
[^] # Re: ouai
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Données vs Code. Évalué à 3.
J'ai la même question. Si tu as un type "trié + validé" issue d'une string, souvent tu va avoir besoin de fonction de base de string, parfois que pour "trié" ou que pour "validé", comment gères-tu ces cas ?
"La première sécurité est la liberté"
[^] # Re: ouai
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Données vs Code. Évalué à 3.
Depuis j'ai moi aussi fais mon bout de chemin et maintenant ce que j'aimerais c'est pouvoir faire plus de choses avec les types, mais les langages généralistes que je côtoient n'ont pas ce qu'il faut pour gérer ça.
Qu'est-ce que tu entends par là ? J'ai un peu réfléchit à un système de type plus complet, mais c'est en standby pour l'instant.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à 1.
Avoir un drivers GPL, par exemple ? Gérer des fonctionnalités nouvelles, comme la gestion d'énergie plus fine ?
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à 5.
Linux aussi était un hobby au début.
"La première sécurité est la liberté"
[^] # Re: Intérêt d'un truc pareil ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "Meilleur dev de France" ?. Évalué à 3.
Ah, mais oui, mais non. Sinon, la mesure en kloc/jour de production ne veut plus rien dire.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -2.
Tu as des sources ?
Toujours bizarre de recevoir des [-], alors que c'est l'autre personne qui n’essayait même pas de comprendre.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à 0.
Je sais, c'est même l'origine du fil de commentaire, et j'en suis l'auteur : https://linuxfr.org/news/reactos-0-4-0#comment-1647748
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -4.
Je parle de créer une couche de compatibilité entre drivers windows et Linux, et tu me parles de "des matos qui ont besoin de drivers pour des versions anterieurs de windows, qui ne seront jamais au grand jamais upgrader", tu me reproches de vouloir réécrire des drivers ! Et tu t'étonnes que je râle ?
"La première sécurité est la liberté"
[^] # Re: Intérêt d'un truc pareil ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal "Meilleur dev de France" ?. Évalué à 3.
Tu as trouvé le contenu des épreuves ?
J'en ai entendu parler sur BFM qui était en direct hier soir à priori.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -8.
Si on regarde leur but affiché, cela ressemble aux syndromes NIH, avec une perte de temps et d'énergie énorme à la clef.
Si le but est de se faire plaisir, ce n'est plus vraiment du NIH, mais un jeu. Réinventer la roue est amusant, mais pas utile. Si le but est de supporter les drivers windows, par rapport à Wine qui supporte les applications windows, il y a des tonnes de techniques plus simple que de réécrire un OS !
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -6.
C'est ce que je comprends le mieux, alors pourquoi se trouver d'autres raisons ?
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -10.
Avant de me moinser, il faudrait lire ce que j'écris… et essayer de comprendre.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -5.
Je crois que tu n'a rien compris au sujet. Il est évidement question d'une couche de compatibilité avec les drivers windows, sinon, cela n'aurait aucun sens.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -2.
Poursuivre le but initial de faire tourner "out of the box", les applications et drivers spécifiques windows.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -2.
La surcouche en question pourrait très bien être un module noyau linux. En quoi recoder la gestion de tache, des disques, du réseau a un quelconque intérêt ?
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -9.
Il existe déjà le ndiswrapper pour les drivers windows sous linux, il me semble. Ajouter une couche de compatibilité dans Linux pour des drivers windows, doit être plus simple que de recoder un OS de zéro !
De mon point de vue, on dirait un bon gros syndrome NIH.
"La première sécurité est la liberté"
[^] # Re: réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -2.
Oui, justement, c'est inutile de recoder la gestion du hardware pour ça, juste ajouter des api utilisateurs.
"La première sécurité est la liberté"
# réinventer la roue ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche ReactOS 0.4.0. Évalué à -10.
Pourquoi tout reprendre de zéro ? Pourquoi ne pas faire comme google et android ? Un linux et ses drivers, et un userland maison ?
Comment croire qu'un tel projet sorte un jour du niveau jouet ? ils doivent passer leur temps à courir derrière le support matériel.
"La première sécurité est la liberté"
[^] # Re: Pourquoi pas ? Parce queeeeeee !
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Swift sous GNU/Linux - Introduction. Évalué à 2.
Qt semble une évidence à supporter. Mais je pense tout de même qu'une GUI purement fonctionnel (arbre+type sum) serait plus facile à utiliser en ocaml qu'un truc objet.
Ensuite, il doit être possible de faire un "proxy" fonctionnel des truc Qt, mais cela ne doit pas être simple.
"La première sécurité est la liberté"
[^] # Re: Pourquoi ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Swift sous GNU/Linux - Introduction. Évalué à 4.
Tu parles de ça : https://github.com/inhabitedtype/ocaml-webmachine ?
Un truc en version 0.3 qui existe depuis aout 2015 ? Il a des utilisateurs ?
"La première sécurité est la liberté"
[^] # Re: Pourquoi ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Swift sous GNU/Linux - Introduction. Évalué à 6. Dernière modification le 10 mars 2016 à 10:08.
A moins qu'elle est beaucoup changé, elle était très très moche et ne disposait pas de widget digne de ce nom (tableau "lazy", arbre, canvas moderne).
En général, quand il y a en 50, c'est que aucune fonctionne correctement : trop lent, ne passe pas à l'échelle, ou propose des latences dû au gc trop importante, ou encore sont trop pauvre. J'avais espoir dans oscigen, mais je ne comprends rien à leur super tuto. De plus, il n'utilise pas du ocaml standard.
Je vais regarder webmachine, on ne sait jamais.
"La première sécurité est la liberté"
[^] # Re: Agressif
Posté par Nicolas Boulay (site web personnel) . En réponse au journal AlphaGo remporte le premier match contre Lee Sedol. Évalué à 3.
Une position défensive est un moyen de réduire les possibles et de faciliter le calcul.
"La première sécurité est la liberté"
[^] # Re: Machine learning #2
Posté par Nicolas Boulay (site web personnel) . En réponse au journal AlphaGo remporte le premier match contre Lee Sedol. Évalué à 2.
C'est l'extraction de "feature" que tu décris ?
"La première sécurité est la liberté"
[^] # Re: Pourquoi ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Swift sous GNU/Linux - Introduction. Évalué à 4.
Tu es pénible. Vraiment. C'est marqué de long en large sur le site du benchmark en question. Les codes sont fournis par les utilisateurs du langage. Si tu penses faire mieux fait une proposition.
Et j'imagine que tu n'as sans doute pas compris que l'algorithme est fixe.
"La première sécurité est la liberté"