NixCon 2023

Compiling to Nix: A Quick Overview
09-08, 14:30–14:35 (Europe/Berlin), Lecture hall (Room 122)

What are the languages that target Nix? Why might someone choose not to write an expression directly in Nix? How do these languages differ from one another?

This lightning talk will offer a brief overview of languages that can compile to Nix. For instance, Dhall, PureScript and Nickel (even though it doesn't directly translate to Nix). What do the generated expressions look like? Can I use them to write a package definition or a NixOS configuration?

EDIT: I will not have the time to introduce an experimental toy project of mine: a Scheme dialect that compiles to Nix, featuring a static type system inspired by the contracts library. But I will be more than happy to discuss it while HackDay!

Do you allow your talk to be recorded? – yes What level of experience in Nix is the talk addressed to?


See also: Slides

Yvan Sraka holds a master's degree in maths and computer sciences applied to biology from the Sorbonne University in Paris. Having discovered C++ programming as a child, he is involved in open-source communities. His previous commercial experience includes working in 3D Graphics and Runtime design with Rust, Nix, and Haskell. He used to teach Systems programming, Architecture, and DevOps to master's students and design algorithm competitions and kids/teens coding workshops (where he helps them build small video games). He lives in Belgium, loves biking, hiking, climbing, and vegan cooking.