Type Inference for nix working group

Development
1

Hi,

I have attributed my bachelor’s thesis to static type inference for the Nix language and will pick up on the topic again for my master’s degree. I will try to implement a second calculus that supports Nix’s deeply nested records (Attrsets) throughout the summer and would like to connect with other pioneers interested in the topic. If you are interested, please contact me at sk925@email.uni-freiburg.de

I’m looking forward to meeting you :slight_smile:

9 Likes
2

I just want to let people who stumble upon this know, I’m still alive and working on it, presumably until the end of November 2026, when I try to finish my Master’s Degree. So if you’re interested in it, feel free to reach out any time :slight_smile: Also, excitingly, someone else has published in Nix language theory recently: https://dl.acm.org/doi/10.1145/3747537

6 Likes