TitoMar 3
@luj Salut, je suis tombé sur ce projet dans lequel est impliqué Numtide :
https://nlnet.nl/project/TypedNix/
Est-ce que tu aurais plus de détails ? Ça m'intéresse parce que je m'apprête à encadrer un stage MPRI sur la sémantique opérationnelle du langage Nix (@raito est un peu dans le coup ^^) et je me demande s'il y aurait des collaborations pertinentes possibles
NLnet; Typed Nix

Show threadLuj
@tito @raito Hello, je vais le renseigner sur qui travaille là dessus! Ça a l’air cool comme idée de stage, si le sujet complet est disponible qq part je serai intéressé de le lire!
Mar 3 at 4:13pmWeb
Show threadTitoMar 3
@luj Let sujet est là :
https://nguyentito.eu/stage-nix.pdf
Pour l'instant c'est assez vague parce que je connais mal Nix, à vrai dire :p (mais d'ici la LixCon j'espère avoir eu le temps d'apprendre davantage !)
En fait, mon but c'est surtout de faire de la recherche en PL appliquée, après avoir fait de la théorie du λ-calcul jusqu'ici. C'est @raito qui m'a soufflé l'idée que Nix pouvait être un bon cas d'étude ^^
Show threadTito4d ago
@luj @raito Salut, des nouvelles concernant ce projet ?
Show threadLuj2d ago
@tito @raito Yes, j'ai demandé et je crois que le projet est pas encore vraiment commencé. Je peux faire une mise en contact avec la personne à numtide qui va bosser dessus si vous voulez discuter!
Show threadTito2d ago
@luj @raito Ça m'intéresserait la mise en contact oui, merci :)
Show threadLuj2d ago
@tito @raito Je veux bien ton mail alors, en privé