Stream: cull-os

Topic: Bind expressions

RGBCube (Jul 23 2024 at 12:21):

I wanted to make fix and makeScope a built in operator in my language and this is the way I'm going to do it:

RGBCube (Jul 23 2024 at 12:21):

myident @ {
  foo = 132;
  bar = myident.foo;
}

RGBCube (Jul 23 2024 at 12:23):

This behaves the way you expect it to, just like fix. But you can also override the bind:

{
  needsBaz = self @ { bar = self.baz; };
} ==> {
  bazzed = setMeta { bind = (getMeta needsBaz).bind // { baz = 123; } needsBaz;
}

RGBCube (Jul 23 2024 at 12:24):

So you can leverage this to implement anything, basically. Also the bind in foo @ { pattern, here }: here will act specially and bind to the argument instead of the lambda itself. So it is basically identical to the Nix version here.

RGBCube (Jul 23 2024 at 12:27):

Further, when you do inputs @ { ... } ==> ..., the bind inputs will bind to the "use"d attribute set, and it will get overriden by the language itself when the "use"d attribute set gets overriden. So it will all work magically.

RGBCube (Oct 26 2024 at 19:47):

Going to rethink the "bind can be overriden" stuff

Last updated: Nov 21 2024 at 09:35 UTC