!UUqahLbShAYkkrXmKs:matrix.org

DevOS

36 Members
Seeking help and geeking out together on https://github.com/divnix/devos & https://github.com/divnix/digga10 Servers

Load older messages


SenderMessageTime
18 Oct 2021
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.orghere are several syntaxes that i managed to think of05:53:43
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.org *
{ abc }: {

  a1 = let
    a = 123;
  in {
    b = 123;
  };

  a2 = let inherit (builtins) mapAttrs; in {
    b = 123;
  };

  a3 = abc: let
    xyz = 123;
  in {
    abc = 123;
  };

  a4 = let x = 5; in {
    y = x;
  };

  a5 = let x = 5; in x + 5;

  a5 = let
    x = 5;
  in if x == t then 10 else null;


  a6 = obj: {
    x = 5;
  } // obj;

}

05:54:51
@blaggacao:matrix.orgDavid Arnold (blaggacao)I have to pick which kettle to put on the stove. Out of principle, I'm agnostic to whatever formatting as long as it's canonical. Hence, I'd have to leave that discussion to others. 😆12:52:37
@blaggacao:matrix.orgDavid Arnold (blaggacao)Otoh, https://discourse.nixos.org/t/introducing-peerix-share-your-nix-store-between-your-computers/15544 is an interesting project for DevOps. And if it will be using the purpoted IANA registered nix-cacje specific multicast ipv6, it might even be rock solid.12:53:47
@blaggacao:matrix.orgDavid Arnold (blaggacao)* Otoh, https://discourse.nixos.org/t/introducing-peerix-share-your-nix-store-between-your-computers/15544 is an interesting project for DevOp s. And if it will be using the purpoted IANA registered nix-cacje specific multicast ipv6, it might even be rock solid.12:53:57
@blaggacao:matrix.orgDavid Arnold (blaggacao)* Otoh, https://discourse.nixos.org/t/introducing-peerix-share-your-nix-store-between-your-computers/15544 is an interesting project for DevOs. And if it will be using the purpoted IANA registered nix-cacje specific multicast ipv6, it might even be rock solid.12:54:03
@blaggacao:matrix.orgDavid Arnold (blaggacao) I also want to hint your attention at https://github.com/NixOS/nix/pull/5403 for any non-nixos config management need that you might have. I'm somewhat sceptical to the tendency to wrap everything into NixOS (not nix!). NixOS is not a great datacenter(-aware) operating system. No wonder as it hasn't been designed for it. 12:57:02
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.org
In reply to @blaggacao:matrix.org
I have to pick which kettle to put on the stove. Out of principle, I'm agnostic to whatever formatting as long as it's canonical. Hence, I'd have to leave that discussion to others. 😆
what a polically correct answer
12:57:32
@blaggacao:matrix.orgDavid Arnold (blaggacao)So that PR will ultimately allow to just json-schema type-validate your data.12:58:05
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.orgoh nice12:58:27
@blaggacao:matrix.orgDavid Arnold (blaggacao)* Otoh, https://discourse.nixos.org/t/introducing-peerix-share-your-nix-store-between-your-computers/15544 is an interesting project for DevOs. And if it will be using the purpoted IANA registered nix-cache specific multicast ipv6, it might even be rock solid.12:59:01
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.orgthis is not compatible with existing modules system by the looks of things?12:59:23
@blaggacao:matrix.orgDavid Arnold (blaggacao)No, it is purely a compatibility layer to the json schema (industry) standard.12:59:59
@blaggacao:matrix.orgDavid Arnold (blaggacao)("standing on the shoulders of giants", and such)13:00:31
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.orgwould be nice to be able to turn it into module system of sorts13:01:05
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.orgi guess it is already a module system on its own, just without definitions13:01:24
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.orgright and there is none overwrites magic13:01:57
@gytis-ivaskevicius:matrix.org@gytis-ivaskevicius:matrix.orgthe first thought that poped into my mind is light weight modules system for stuff like stdenv.mkDerivation13:02:21
@blaggacao:matrix.orgDavid Arnold (blaggacao) divnix/data-merge attemts to bridge the gap to the module system, by implementing array merge strategies in a mini DSL that only lives on the RHS. (No need for additional spec or a specifically prepared LHS) 13:02:29
@blaggacao:matrix.orgDavid Arnold (blaggacao)https://discourse.nixos.org/t/nix-data-merge-mini-dsl-with-array-merge-semantics/1554013:03:30
@blaggacao:matrix.orgDavid Arnold (blaggacao) (a hastily / badly written anouncement of divnix/data-merge) 13:03:54
@blaggacao:matrix.orgDavid Arnold (blaggacao)* Otoh, https://discourse.nixos.org/t/introducing-peerix-share-your-nix-store-between-your-computers/15544 is an interesting project for DevOS. And if it will be using the purpoted IANA registered nix-cache specific multicast ipv6, it might even be rock solid.13:10:52
@meccine:matrix.org@meccine:matrix.org joined the room.17:36:41
@kamadorueda:matrix.orgkamadoruedaThe simpler the better, I really like that22:45:06
@timdeh:matrix.org@timdeh:matrix.orgI'd be interested to analyze it's formal worst case complexity in comparison to the module system 🤔23:27:45
@blaggacao:matrix.orgDavid Arnold (blaggacao)
In reply to @timdeh:matrix.org
I'd be interested to analyze it's formal worst case complexity in comparison to the module system 🤔
It is monotonistic both, in general, and in the use of a mental "+" operator.
23:52:00
@blaggacao:matrix.orgDavid Arnold (blaggacao)It can support branching and merging of branches.23:52:21
@blaggacao:matrix.orgDavid Arnold (blaggacao)My feeling is it should never be more complex than git.23:52:42
@blaggacao:matrix.orgDavid Arnold (blaggacao)(comparing mental models)23:53:06
@blaggacao:matrix.orgDavid Arnold (blaggacao)In practice, though, one would seldomly want to merge branches, since branches almost exclusively represent specializations.23:53:48

Show newer messages


Back to Room ListRoom Version: 6