@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

@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!
@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 ^^
@luj @raito Salut, des nouvelles concernant ce projet ?
@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!
@luj @raito Ça m'intéresserait la mise en contact oui, merci :)
@tito @raito Je veux bien ton mail alors, en privé