nixos/rfcs
1
0
Fork 0
mirror of https://github.com/NixOS/rfcs.git synced 2025-11-09 03:56:11 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Document unresolved binding strength

Browse source
This commit is contained in:
piegames 2024-07-21 10:40:19 +02:00
parent a4bf3d935c
commit ea1cbf92f9
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
rfcs/0148-pipe-operator.md
View file

@ -106,7 +106,7 @@ Having a dedicated operator also increases visibility and discoverability of the
A new operator `|>` is introduced into the Nix language. A new operator `|>` is introduced into the Nix language.
It is defined as function application with the order of arguments swapped: `f a` = `a |> f`. It is defined as function application with the order of arguments swapped: `f a` = `a |> f`.
It is left-associative and has a binding strength one weaker than function application: It is left-associative and has a binding strength weaker than function application:
`a |> f |> g b |> h` = `h ((g b) (f a))`. `a |> f |> g b |> h` = `h ((g b) (f a))`.
## `builtins.pipe` ## `builtins.pipe`
@ -307,6 +307,7 @@ which would require solving language versioning first (see RFC #137).
# Unresolved questions # Unresolved questions
[unresolved]: #unresolved-questions [unresolved]: #unresolved-questions
- What is the precise binding strength of the operator?
- Who is going to implement this in Nix? - Who is going to implement this in Nix?
- How difficult will the implementation be? - How difficult will the implementation be?
- Will this affect evaluation performance in some way? - Will this affect evaluation performance in some way?