Je sais que je suis vieux jeu et que mon dégoût des interfaces web est probablement comparable à ton dégoût du courriel, désolé.
J'ai peut-être été un peu dûr contre les courriels :) Mon argument principal en faveur du web est simplement que ça rend notre échange public. Ça peut être bien utile d'avoir accès aux code reviews pour les prochains mainteneurs du code.
Bonne question. Peut-être que le plus simple c'est de faire: mv Serialization_types.atdgen_j.ml Serialization_types.ml
J'y avais pensé, mais les modules se réfèrent entre eux. J'imagine qu'on pourrait faire une substituer de texte, mais ça semble (un peu) fragile.
Hmm... non c'était une erreur de mon côté, probablement parce que j'avais pas grand chose à dire, ça m'a plu et je t'ai mis un autre A+.
Pas de problème. Merci! :)
La mise en contexte était un peu moins convaincante que pour les présentations précédentes, mais visiblement t'es moins familier avec ce sujet donc compte tenu de ça c'était quand même très bien, surtout pour ift-2035.
En effet, cette présentation était beaucoup moins maîtrisée que les autres!
J'ai cependant un commentaire général à faire sur tes présentations: j'ai été laxe sur la gestion du temps, étant donné le contexte qui se prêtait bien à une présentation de durée plus courte ou plus longue selon l'intérêt du public, mais sinon il faudrait que tu y fasses un peu plus attention. Un autre aspect c'est l'esthétique un peu austère: moi ça me convient et je fais aussi des présentations austères, mais quand ton public n'est pas gagné d'avance c'est important d'essayer de les distraire avec des jolies couleurs ou qqch (l'usage d'exemples interactifs comme tu l'as fait est aussi une bonne technique pour ça).
Je suis d'accord que la gestion du temps était absente. À améliorer à mes prochaines présentations! L'esthétique austère était surtout pour sauver du temps, mais je suis d'accord que ça aurait pu être mieux. Sûrement qu'un meilleur support visuel aurait aidé à rendre ça plus intéressant à la partie du public n'étant pas trop familière avec les macros.
Hmm... que je sache tu devrais déjà avoir ta note (D-) dans Synchro.
Super, ça augmente ma moyenne!
Le ven. 28 août 2020, à 18 h 33, Stefan Monnier monnier@iro.umontreal.ca a écrit :
Je ne sais pas comment utiliser les merge-requests sans passer par l'interface web, et j'aime pas tellement cette interface.
Si l'alternative est de faire des reviews par courriel, je ne sais pas si c'est mieux.
Je sais que je suis vieux jeu et que mon dégoût des interfaces web est probablement comparable à ton dégoût du courriel, désolé.
Comment les projets n'utilisant pas GitHub, GitLab ou autre service web pour hoster leur VCS font?
Courriel?
Si je comprends bien c'est une syntaxe spécifique à atdgen, donc `.atd` ou `.atdgen` semble approprié. Je n'y vois pas de problème.
Est-ce possible d'avoir 'open Serialization_types.atdgen_j'? Ça dit syntax error sur '.atdgen_j'.
Bonne question. Peut-être que le plus simple c'est de faire:
mv Serialization_types.atdgen_j.ml Serialization_types.ml
La représentation sans sharing peut avoir une taille exponentiellement plus grande que celle avec sharing. Le hash-consing permet d'éviter cet usage exponentiel de mémoire, mais il faut *aussi* éviter le travail de construction exponentiel
La construction était polynomiale non?
Possible, j'ai pas regardé, je le disais seulement en général: il est semble-t-il naturel/courant de faire l'erreur de présumer que le hash-consing élimine le problème mais finir par appeler le "hash-constructor" un nombre exponentiel de fois :-(
Chaque objet était créé qu'une seule fois et réutilisé les fois
suivantes.
Ça ne garanti pas le bon comportement. E.g. Si tu construits deux fois
App (Var x, [Var y])
de la manière suivante:
t1 = mkVar x t2 = mkVar y t3 = mkApp (t1, [t2]) t4 = mkVar x t5 = mkVar y t6 = mkApp (t4, [t5])
tu as effectivement créé l'arbre une seule fois, mais tu as quand même fais le travail à double. Pour éviter ça il faut généralement une forme de memoization. Dans notre cas, la table de memoization est celle qui mappe depuis l'"index" vars le terme correspondant.
Pour la représentation universelle, je le ferai peut-être une fois que j'arrive à faire fonctionner le tout. Même après les récents changements, j'ai la même erreur qu'avant.
Ah, oops, j'ai pas encore regardé. Je m'y mets.
Sur un autre sujet, je ne pense pas avoir reçu ton feedback par rapport à ma dernière présentation. Aies-je manqué ton courriel?
Hmm... non c'était une erreur de mon côté, probablement parce que j'avais pas grand chose à dire, ça m'a plu et je t'ai mis un autre A+. La mise en contexte était un peu moins convaincante que pour les présentations précédentes, mais visiblement t'es moins familier avec ce sujet donc compte tenu de ça c'était quand même très bien, surtout pour ift-2035.
J'ai cependant un commentaire général à faire sur tes présentations: j'ai été laxe sur la gestion du temps, étant donné le contexte qui se prêtait bien à une présentation de durée plus courte ou plus longue selon l'intérêt du public, mais sinon il faudrait que tu y fasses un peu plus attention. Un autre aspect c'est l'esthétique un peu austère: moi ça me convient et je fais aussi des présentations austères, mais quand ton public n'est pas gagné d'avance c'est important d'essayer de les distraire avec des jolies couleurs ou qqch (l'usage d'exemples interactifs comme tu l'as fait est aussi une bonne technique pour ça).
Aussi, je ne sais pas quand est la date limite de remise des notes, mais j'imagine que c'est bientôt et je n'ai toujours rien.
Hmm... que je sache tu devrais déjà avoir ta note (D-) dans Synchro.
Stefan