C'est cela ? Afin de pouvoir mieux comparer les codes et les méthodes ?
Oui, un fichier pour chaque exemple, bien séparer. Pour pouvoir comparer les évolutions et les différences. Genre je suis bloqué sur le fold appliquée aux parenthèses, mais je bloque surtout sur le principe de précédence, plus que sur le code.
Un foncteur est au fond une fonction des modules vers les modules, c'est plus « fonctionnel » dans le principe. On peut écrire une signature de foncteur ainsi :
Mais pourquoi ?! En objet, c'est simplement une injection. Un composant d'un objet qui est construit à l’extérieur de celui-ci et donné en paramètre au constructeur. En quoi instancier un module en fixant un des type paramètre en fait une fonction ?
Si tu te souviens des échanges sur le journal d'Aluminium qui présentait l'encodage de Böhm-Berarducci
Oui, et j'ai toujours mal à la tête. Je pense réécrire mon langage de modalisation avec ce genre de technique. J'utilisais un bête AST. Faut que je relise tout à tête reposé.
Justement, je voudrais les exemples de chaque étape, y compris le premier. Les fichiers dont tu parles doivent être bien trop compliqué pour comprendre le principe.
J'ai codé pendant 2 ans en ocaml fonctionnel simple. Et tout ce qui est foncteur/module, et les opérateurs spécifiques (@@) me semblent bien étrange et peu lisible.
Je n'ai toujours pas compris en quoi un module est si différent d'un objet ou d'une classe.
Pour github, il suffit de s'inscrire dessus, créer un projet, et faire un premier git clone sur sa machine. Puis des "git add" pour ajouter les fichiers dans l'index, "git commit" pour mettre mettre l'index dans le repository local puis "git push" pour mettre à jour github. Il existe un tas de tuto sur le sujet.
Cela serait bien de proposer le code complet minimal par exemple (github ?). C'est parfois pas évident de comprendre les dépendances entre bout de code.
Oula. Tu n'as pas dû utiliser ce genre de compilateur !
Sans même parle des extension de GCC qui sont parfois indispensable, le C dispose de trou dans la spécification, il est possible donc d'avoir des bugs avec un compilateur différent.
Je ne parle pas non plus du support du C99, souvent absent. De openMP ou de la vectorisation, indispensable sur une machine de bureau moderne.
On peut aussi parler de limites arbitraires sur les compilateurs pour l’embarquée (ex: nombre d'argument d'une fonction).
Et je ne parle pas de la quantité de bugs de ce genre d'outils bien moins utilisé que gcc.
ça n'aurait pas avancé plus vite avec la licence BSD et un peu de pédagogie pour expliquer aux gens et aux entreprises pourquoi ils devraient contribuer au libre?
Non, la licence BSD existe depuis plus longtemps. La GPL a "fait" un seul Linux, quand il y a "plein" de fork de BSD.
J'ai l'exemple aussi du langage de description de circuit MOS (spice) qui a été forké avec un ajout de qq fonctionnalité bien propriétaire (dont le format du langage !) ce qui a fait une pléthore de logiciel avec 90% du code en commun mais incompatible.
Même chose avec XFree86 dont des bouts étaient utilisés par les unix commerciaux (server Xfree de Sun et IBM de mémoire), mais au final, personne ne le développait plus vraiment.
Le schéma était toujours le même, on prends un soft en licence BSD ont ajoute 3 trucs pour ses propres besoins, et le truc est vendu, sans apporter au pot commun du logiciel de base.
L'analogie est complètement valide, le problème ne concerne que la résistance. On a pas besoin de la pression, car l'eau est incompressible.
Ce qui compte d'un point de vue puissance, c'est réellement la hauteur de la chute d'eau, et la largeur du tuyau (~le débit), c'est le principe de n'importe quel barrage hydroélectrique.
Du coup, on pourrait peut-être faire une analogie de la tension avec la vitesse de l'eau ?
Pas du tout non, c'est vraiment une différence de potentiel; Donc, c'est vraiment la hauteur de la chute d'eau (cf le thread).
Il faudrait faire une équation au dimension pour trouver le R = U/I.
Pour le barrage, c'est clairement un condensateur, avec stockage des charges.
Pour la résistance, j'avais penser à une "pente", mais une pente plus forte n’accélère pas forcément le débit (pente pour la chute de potentiel à ses bornes).
Par contre, j'aimerais ne pas attendre qq jours pour une validation d'article. Je sais que j'ai poussé la dépêche que hier soir, mais j'aimerais ne pas trop attendre, il y a d'autres trucs dans le pipe.
Tu t'en fous en faite. Ce que tu as besoin de savoir, c'est si un sens est imposé, leur tension max et la résistance parasite. Il faut donc lire leur spec.
Cela change tout le temps. Historiquement, les céramiques sont plutôt petites et rapides(résistance faible). Les électrochimiques ont un sens, et une résistance un poil plus forte. Les supercapa ont une résistance forte, une capacité énorme, et une tension max assez basse.
Autant trouver une analogie pour la tension est facile avec la hauteur de la chute d'eau. Pour le courant, c'est une histoire de débit.
Pour la résistance, j'ai eu un peu de mal à voir la meilleur analogie : c'est une voix plus "étroite" ? il faut plus de tension pour faire passer plus de courant ?
Si on en mets 2 en parallèles, le débit double, c'est ok. Mais 2 en série ? Cela ne fait pas grand chose sur un court d'eau, non ?
Bof, on verra, cela traîne depuis trop longtemps dans mon ordinateur. Autant que cela serve à quelqu'un. Faire un strike avec des journaux notés à plus de 50, c'est amusant aussi :)
Cet article n'expose pas les bases. Je pars du principe que le lecteur a une vague idée de la loi d'ohm ou des anneaux de couleurs, les truc de base les plus connu sur le sujet. Les bases tu les trouves partout sur le web, ce qui n'est pas le cas (je pense), du contenu de cet article.
Les experts judiciaires payé avec 1 an de retard, ils sont ou ? Le ministères de la défense qui ne peux plus payer en 2016 ? Les petites boites qui ne veulent plus bosser pour la rénovation de HLM car ils attendent leur paiement plus de 6 mois, c'est fini ?
[^] # Re: Usage autre des GADTs ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tagless-final ou l'art de l'interprétation modulaire.. Évalué à 3.
Il y aussi une boulette sur x + 0 = 0.
"La première sécurité est la liberté"
[^] # Re: chaud
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tagless-final ou l'art de l'interprétation modulaire.. Évalué à 2.
Oui, un fichier pour chaque exemple, bien séparer. Pour pouvoir comparer les évolutions et les différences. Genre je suis bloqué sur le fold appliquée aux parenthèses, mais je bloque surtout sur le principe de précédence, plus que sur le code.
Mais pourquoi ?! En objet, c'est simplement une injection. Un composant d'un objet qui est construit à l’extérieur de celui-ci et donné en paramètre au constructeur. En quoi instancier un module en fixant un des type paramètre en fait une fonction ?
Oui, et j'ai toujours mal à la tête. Je pense réécrire mon langage de modalisation avec ce genre de technique. J'utilisais un bête AST. Faut que je relise tout à tête reposé.
"La première sécurité est la liberté"
[^] # Re: chaud
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tagless-final ou l'art de l'interprétation modulaire.. Évalué à 2.
Justement, je voudrais les exemples de chaque étape, y compris le premier. Les fichiers dont tu parles doivent être bien trop compliqué pour comprendre le principe.
J'ai codé pendant 2 ans en ocaml fonctionnel simple. Et tout ce qui est foncteur/module, et les opérateurs spécifiques (@@) me semblent bien étrange et peu lisible.
Je n'ai toujours pas compris en quoi un module est si différent d'un objet ou d'une classe.
Pour github, il suffit de s'inscrire dessus, créer un projet, et faire un premier git clone sur sa machine. Puis des "git add" pour ajouter les fichiers dans l'index, "git commit" pour mettre mettre l'index dans le repository local puis "git push" pour mettre à jour github. Il existe un tas de tuto sur le sujet.
"La première sécurité est la liberté"
# chaud
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tagless-final ou l'art de l'interprétation modulaire.. Évalué à 2.
J'ai encore mal au cerveau.
Cela serait bien de proposer le code complet minimal par exemple (github ?). C'est parfois pas évident de comprendre les dépendances entre bout de code.
"La première sécurité est la liberté"
[^] # Re: Mais ça suffit avec Stallman !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De l'autarcie du projet GNU, ou comment Emacs ne veut pas devenir EmacOs. Évalué à 6.
ou 3/ qu'il ne peut pas y avoir de consentements pour les jeunes enfants. Les enfants au US, cela va jusqu'à 21 ans.
C'est un peu court, comme source…
"La première sécurité est la liberté"
[^] # Re: Mais ça suffit avec Stallman !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De l'autarcie du projet GNU, ou comment Emacs ne veut pas devenir EmacOs. Évalué à 6.
Euh ? hein ?! Source ?
"La première sécurité est la liberté"
[^] # Re: Ha les intégristes du libre...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De l'autarcie du projet GNU, ou comment Emacs ne veut pas devenir EmacOs. Évalué à 7.
Oula. Tu n'as pas dû utiliser ce genre de compilateur !
Sans même parle des extension de GCC qui sont parfois indispensable, le C dispose de trou dans la spécification, il est possible donc d'avoir des bugs avec un compilateur différent.
Je ne parle pas non plus du support du C99, souvent absent. De openMP ou de la vectorisation, indispensable sur une machine de bureau moderne.
On peut aussi parler de limites arbitraires sur les compilateurs pour l’embarquée (ex: nombre d'argument d'une fonction).
Et je ne parle pas de la quantité de bugs de ce genre d'outils bien moins utilisé que gcc.
"La première sécurité est la liberté"
[^] # Re: Ha les intégristes du libre...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De l'autarcie du projet GNU, ou comment Emacs ne veut pas devenir EmacOs. Évalué à 5.
Tu plaisantes ?! Il n'y a qu'un seul compilateur utilisable à la place de gcc, c'est clang. Et encore, depuis peu de temps.
"La première sécurité est la liberté"
[^] # Re: Ha les intégristes du libre...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal De l'autarcie du projet GNU, ou comment Emacs ne veut pas devenir EmacOs. Évalué à 10.
Non, la licence BSD existe depuis plus longtemps. La GPL a "fait" un seul Linux, quand il y a "plein" de fork de BSD.
J'ai l'exemple aussi du langage de description de circuit MOS (spice) qui a été forké avec un ajout de qq fonctionnalité bien propriétaire (dont le format du langage !) ce qui a fait une pléthore de logiciel avec 90% du code en commun mais incompatible.
Même chose avec XFree86 dont des bouts étaient utilisés par les unix commerciaux (server Xfree de Sun et IBM de mémoire), mais au final, personne ne le développait plus vraiment.
Le schéma était toujours le même, on prends un soft en licence BSD ont ajoute 3 trucs pour ses propres besoins, et le truc est vendu, sans apporter au pot commun du logiciel de base.
"La première sécurité est la liberté"
[^] # Re: Analogie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 3.
L'analogie est complètement valide, le problème ne concerne que la résistance. On a pas besoin de la pression, car l'eau est incompressible.
Ce qui compte d'un point de vue puissance, c'est réellement la hauteur de la chute d'eau, et la largeur du tuyau (~le débit), c'est le principe de n'importe quel barrage hydroélectrique.
"La première sécurité est la liberté"
[^] # Re: Analogie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 3.
Pas du tout non, c'est vraiment une différence de potentiel; Donc, c'est vraiment la hauteur de la chute d'eau (cf le thread).
Il faudrait faire une équation au dimension pour trouver le R = U/I.
Pour le barrage, c'est clairement un condensateur, avec stockage des charges.
Pour la résistance, j'avais penser à une "pente", mais une pente plus forte n’accélère pas forcément le débit (pente pour la chute de potentiel à ses bornes).
"La première sécurité est la liberté"
[^] # Re: Coquille?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Sortez vos capacités. Évalué à 1.
Par contre, j'aimerais ne pas attendre qq jours pour une validation d'article. Je sais que j'ai poussé la dépêche que hier soir, mais j'aimerais ne pas trop attendre, il y a d'autres trucs dans le pipe.
"La première sécurité est la liberté"
[^] # Re: Types de condensateur
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Sortez vos capacités. Évalué à 2.
Tu t'en fous en faite. Ce que tu as besoin de savoir, c'est si un sens est imposé, leur tension max et la résistance parasite. Il faut donc lire leur spec.
Cela change tout le temps. Historiquement, les céramiques sont plutôt petites et rapides(résistance faible). Les électrochimiques ont un sens, et une résistance un poil plus forte. Les supercapa ont une résistance forte, une capacité énorme, et une tension max assez basse.
"La première sécurité est la liberté"
[^] # Re: Analogie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 2.
Autant trouver une analogie pour la tension est facile avec la hauteur de la chute d'eau. Pour le courant, c'est une histoire de débit.
Pour la résistance, j'ai eu un peu de mal à voir la meilleur analogie : c'est une voix plus "étroite" ? il faut plus de tension pour faire passer plus de courant ?
Si on en mets 2 en parallèles, le débit double, c'est ok. Mais 2 en série ? Cela ne fait pas grand chose sur un court d'eau, non ?
"La première sécurité est la liberté"
[^] # Re: Coquille?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Sortez vos capacités. Évalué à 8.
Image illisible pour ma part, en tout cas.
"La première sécurité est la liberté"
[^] # Re: Coquille?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Sortez vos capacités. Évalué à 4.
Bof, on verra, cela traîne depuis trop longtemps dans mon ordinateur. Autant que cela serve à quelqu'un. Faire un strike avec des journaux notés à plus de 50, c'est amusant aussi :)
"La première sécurité est la liberté"
[^] # Re: Coquille?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Sortez vos capacités. Évalué à 4.
ok. Je ferais la suite en dépêche.
Mais ce n'est pas pour des néophytes complets. C'est pour l'étape juste après. De mémoire, un bac S devrait pouvoir comprendre.
"La première sécurité est la liberté"
[^] # Re: Coquille?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Sortez vos capacités. Évalué à 2.
oui, c'est une coquille. En CMS, les résistances sont plutôt noires et les condensateurs bruns.
"La première sécurité est la liberté"
[^] # Re: toute résistance est … ah on l'a déjà fait.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 5.
Cet article n'expose pas les bases. Je pars du principe que le lecteur a une vague idée de la loi d'ohm ou des anneaux de couleurs, les truc de base les plus connu sur le sujet. Les bases tu les trouves partout sur le web, ce qui n'est pas le cas (je pense), du contenu de cet article.
"La première sécurité est la liberté"
[^] # Re: Analogie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 5.
Comme une hauteur de chute d'eau dans le champ de la gravité.
"La première sécurité est la liberté"
[^] # Re: Analogie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 3.
C'est ce que je fais.
"La première sécurité est la liberté"
[^] # Re: layout de répertoire ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Paperwork 1.0. Évalué à 3.
Ne fais surtout pas ça ! :) Ton outil deviendrait indispensable pour lire les documents.
Tu peux avoir une base sqllite comme mozilla pour gérer les plantages ou un cache, mais pas pour contenir les donnés.
"La première sécurité est la liberté"
[^] # Re: toute résistance est … ah on l'a déjà fait.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 3.
Quelques ? tu es trop gentil.
Je pensais avoir tué une deuxième fois Louis-Nicolas B.
"La première sécurité est la liberté"
# image manquante
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Toute résistance n’est pas futile.. Évalué à 10.
Il manque des exemples de potars. Ils ne sont pas a grand axe. C'est plus pour faire des réglages :
"La première sécurité est la liberté"
[^] # Re: Temporaire pour toujours
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Un autre pouvoir de Google. Évalué à 4.
Les experts judiciaires payé avec 1 an de retard, ils sont ou ? Le ministères de la défense qui ne peux plus payer en 2016 ? Les petites boites qui ne veulent plus bosser pour la rénovation de HLM car ils attendent leur paiement plus de 6 mois, c'est fini ?
"La première sécurité est la liberté"