Convert Nix types into Python data (probably)

toPython.nix

let
  inherit (builtins)
    attrValues
    concatStringsSep
    foldl'
    head
    length
    mapAttrs
    tail
    typeOf
    ;

  toPython =
    value:
    {
      bool = if value then "True" else "False";
      float = toString value;
      int = toString value;
      lambda = ""; # @TODO: panic
      list =
        if length value > 0 then
          ''[${(foldl' (acc: elem: acc + "," + (toPython elem)) (toPython (head value)) (tail value))}]''
        else
          "[]";
      null = "None";
      path = toString value;
      set =
        "{"
        + (concatStringsSep "" (
          attrValues (mapAttrs (name: value: ''"${name}":${toPython value},'') value)
        ))
        + "}";
      string = ''"${value}"'';
    }
    .${typeOf value};
in
toPython