Yann Hamdaoui

Additional info: the actual error is `json parse error: data did not match any variant of untagged enum Term`. So the problem is maybe that this error is not located.

> Maybe the closed-record contracts are not as useful as we thought they were. And their interaction with merging i kind of icky, so we could just remove them. I...

> I’m a bit skeptical of the x | #C1 | #C2 | #C3 way of writing intersections. As much as combining contracts that way makes sense for merging (say...

Hey, thank you for your request. If possible, could you please explain even quickly what exactly doesn't work about `password` and `passwordFile` in Nix in practice? And how the ability...

Thanks for the explanations. Then you probably need to serialize "closures", that is functions that capture some already partially evaluated environment. This may not be trivial to do efficiently, but...

> Maybe we could prevent this by (assuming that Bar is defined as Bar

> I don't really agree on this, for me it would be very limiting to restrict this feature to builtin types or static types. Not restricting it would be dangerous...

>I assume that we can already use types as values (their value is the underlying contract) There isn't, actually. There is currently no way of getting the contract corresponding to...

The fact that switch takes the argument last is a bit unfortunate. I don't know yet if we will keep the syntax this way. However, if we do, I guess...

There's also `.nicl`, in the same theme of chemistry.