J'aimerais bien l'avis de kantien sur ces 2 problèmes :
Est-ce le "code" est dupliqué pour chaque functor ? J'ai du mal à imaginer ce qui va se passer pour une grosse expression (genre un million de terme). Normalement, ocaml ne duplique rien.
Mais dans le cas de "génération" d'une expression par lecture d'un fichier par exemple, il faut le faire pour chaque functor ? Comment partager une expression qui n'est pas statique ?
Ça n'a pas de sens. Tout logiciel qui fonctionne au dessus de linux serait sous GPL.
Pour Linux, je ne sais pas. Mais pour gcc, la licence de la lib de base autorise explicitement son usage pour du code non GPL.
Linux étant posix, si un programme suit ce standard, cela ne s'applique pas.
J'ai déjà vu passé le problème et la solution choisi, mais j'ai oublié. (api system hors du champs de la GPL, ou … )
Je te crois, mais le système est bien plus daubé que je ne l'imaginais alors…
La GPL utilise le seul et unique moyen qui existe dans la loi sur les droits d'auteur : les droits dérivés. Si il existe un fallback, le code GPL n'est pas nécessaire et la GPL ne se transmet pas.
L'avantage de cette approche, c'est qu'on peut se dire que le fondeur sera responsable de faire lui-même l'addition (généralement il réutilise un truc déjà développé).
Non, en général, c'est le synthétiseurs qui fait le boulot (synopsys DC ou autre).
Si la dépendance est forte. S'il y a un couplage faible (par exemple au moyen d'un webservice), il n'y a pas de contagion.
Si c'était le cas, un serveur web en GPL rendrait tous les navigateurs qui y accèdent sous GPL (mais je doute que ça puisse tenir face à un juge vu qu'il est impossible de vérifier ça avant d'y accéder et très dur après).
N'importe quoi. Vraiment. Vu que le navigateur peut servir à autre chose, et pas seulement à ce connecter à un seul serveur web sous GPL, ton équivalence n'a aucun sens.
un "tas" de gens ne supportait pas que l'on puisse dire que lisaac était le premier langage à prototype compilé. Ils prenaient l'exemple de javascript en version .net alors que pour compiler il laissait tomber des trucs de base comme le remplacement de méthode au runtime.
On essayait de vendre le truc, certain ne supportait pas le discours un peu trop marketing, même si Lisaac a été 1er pendant un temps dans le langage shoutout.
Je ne pense pas que cela a été la seule raison, mais le manque de reconnaissance a vraiment compté. Mais je n'en sais pas plus l'auteur a coupé les ponts.
Le copyleft coté serveur (donc dans les services), ça n'a pas de sens. Ça ne fonctionne pas.
Le coté vaccin de la GPL se base sur le droits des dérivées du droit d'auteur (c'était pensé pour les traduction d'un texte, pour la représentation au théatre, etc…). En gros, si le code GPL est nécessaire pour faire le boulot, le code qui en dépend est en GPL. Le moyen de s'en passer est de proposer 2 interfaces, et la licence GPL n'est plus obligatoire. Et cela peut importe le mode de communication.
Le coup du "link" n'est qu'une simplification, et n'est jamais évoqué dans la GPL.
Ça permet de lier n'importe quel type "d'entrée" qui respecte certaines propriétés à un type de sortie qui maintient certaines de ces propriétés de manière générique.
Tu peux faire la même chose avec des paramètres de constructeur qui fournissent une classe concrète d'un type abstrait interne, non ? La seul différence est que tu es emmerdé si le type abstrait "ressort" de ta classe, car cela veut dire des casts moche.
Du coup pour ce qui est des passes d'optimisation ça permet de les écrire de manière générique et de les chaîner un peu comme tu veux.
Faut que je rerelise cette partie de toute façon.
Mais … pour poser ces questions tu as lu les articles non ?
Merci c'est plus clair. Je dois encore comprendre ce que contiennent les functors de plus qu'une classe. D'un point de vue pratique, je veux dire.
Est-ce le "code" est dupliqué pour chaque functor ? J'ai du mal à imaginer ce qui va se passer pour une grosse expression (genre un million de terme). Normalement, ocaml ne duplique rien.
Mais dans le cas de "génération" d'une expression par lecture d'un fichier par exemple, il faut le faire pour chaque functor ? Comment partager une expression qui n'est pas statique ?
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 ?
[^] # 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é à 4.
J'aimerais bien l'avis de kantien sur ces 2 problèmes :
Est-ce le "code" est dupliqué pour chaque functor ? J'ai du mal à imaginer ce qui va se passer pour une grosse expression (genre un million de terme). Normalement, ocaml ne duplique rien.
Mais dans le cas de "génération" d'une expression par lecture d'un fichier par exemple, il faut le faire pour chaque functor ? Comment partager une expression qui n'est pas statique ?
"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é à 3.
Pour Linux, je ne sais pas. Mais pour gcc, la licence de la lib de base autorise explicitement son usage pour du code non GPL.
Linux étant posix, si un programme suit ce standard, cela ne s'applique pas.
J'ai déjà vu passé le problème et la solution choisi, mais j'ai oublié. (api system hors du champs de la GPL, ou … )
La GPL utilise le seul et unique moyen qui existe dans la loi sur les droits d'auteur : les droits dérivés. Si il existe un fallback, le code GPL n'est pas nécessaire et la GPL ne se transmet pas.
"La première sécurité est la liberté"
[^] # Re: Code VHDL : peu de lignes ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal OPEN-V : premier microcontrôleur libre ?. Évalué à 6.
Non, en général, c'est le synthétiseurs qui fait le boulot (synopsys DC ou autre).
"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é à 2.
N'importe quoi. Vraiment. Vu que le navigateur peut servir à autre chose, et pas seulement à ce connecter à un seul serveur web sous GPL, ton équivalence n'a aucun sens.
"La première sécurité est la liberté"
[^] # Re: Au boulot ?
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é à 4.
un "tas" de gens ne supportait pas que l'on puisse dire que lisaac était le premier langage à prototype compilé. Ils prenaient l'exemple de javascript en version .net alors que pour compiler il laissait tomber des trucs de base comme le remplacement de méthode au runtime.
On essayait de vendre le truc, certain ne supportait pas le discours un peu trop marketing, même si Lisaac a été 1er pendant un temps dans le langage shoutout.
Je ne pense pas que cela a été la seule raison, mais le manque de reconnaissance a vraiment compté. Mais je n'en sais pas plus l'auteur a coupé les ponts.
"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é à 3.
Le coté vaccin de la GPL se base sur le droits des dérivées du droit d'auteur (c'était pensé pour les traduction d'un texte, pour la représentation au théatre, etc…). En gros, si le code GPL est nécessaire pour faire le boulot, le code qui en dépend est en GPL. Le moyen de s'en passer est de proposer 2 interfaces, et la licence GPL n'est plus obligatoire. Et cela peut importe le mode de communication.
Le coup du "link" n'est qu'une simplification, et n'est jamais évoqué dans la GPL.
"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é à 3.
Tu peux faire la même chose avec des paramètres de constructeur qui fournissent une classe concrète d'un type abstrait interne, non ? La seul différence est que tu es emmerdé si le type abstrait "ressort" de ta classe, car cela veut dire des casts moche.
Faut que je rerelise cette partie de toute façon.
Pas tous, non. J'ai déjà du mal avec le tien :)
"La première sécurité est la liberté"
[^] # Re: Au boulot ?
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.
Tient cela me rappelle mes postes lisaac. On s'était tellement fait démonter que le dev principal a fini par tout laisser tomber.
"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.
Merci c'est plus clair. Je dois encore comprendre ce que contiennent les functors de plus qu'une classe. D'un point de vue pratique, je veux dire.
Est-ce le "code" est dupliqué pour chaque functor ? J'ai du mal à imaginer ce qui va se passer pour une grosse expression (genre un million de terme). Normalement, ocaml ne duplique rien.
Mais dans le cas de "génération" d'une expression par lecture d'un fichier par exemple, il faut le faire pour chaque functor ? Comment partager une expression qui n'est pas statique ?
"La première sécurité est la liberté"
[^] # Re: DEL, tension inverse. Plomb
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Les diodes ne sont pas toutes des lumières. Évalué à 3.
Si je parle de varistance au lieu de plomb, il aurait fallut expliquer encore plus.
mais c'est l'idéal :
https://fr.wikipedia.org/wiki/Varistance
"La première sécurité est la liberté"
[^] # 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é"