infinisi1 has joined #nix-lang
infinisil has quit [Ping timeout: 240 seconds]
jtojnar has quit [Ping timeout: 265 seconds]
siraben has quit [Ping timeout: 265 seconds]
jtojnar has joined #nix-lang
siraben has joined #nix-lang
rajivr has joined #nix-lang
infinisi1 is now known as infinisil
jtojnar has quit [*.net *.split]
jtojnar has joined #nix-lang
colemickens has quit [Ping timeout: 240 seconds]
siraben has quit [Ping timeout: 265 seconds]
awaxa has quit [Ping timeout: 268 seconds]
l33[m] has quit [Ping timeout: 268 seconds]
JJJollyjim has quit [Ping timeout: 268 seconds]
jtojnar has quit [Ping timeout: 258 seconds]
kalbasit[m] has quit [Ping timeout: 260 seconds]
colemickens has joined #nix-lang
Dotz0cat has quit [Ping timeout: 264 seconds]
Dotz0cat has joined #nix-lang
colemickens has quit [Ping timeout: 244 seconds]
l33[m] has joined #nix-lang
siraben has joined #nix-lang
jtojnar has joined #nix-lang
kalbasit[m] has joined #nix-lang
awaxa has joined #nix-lang
colemickens has joined #nix-lang
mvnetbiz_5 has joined #nix-lang
mvnetbiz_ has quit [*.net *.split]
ekleog has quit [*.net *.split]
mvnetbiz_5 is now known as mvnetbiz_
colemickens has quit [Ping timeout: 240 seconds]
l33[m] has quit [Ping timeout: 240 seconds]
ekleog has joined #nix-lang
l33[m] has joined #nix-lang
colemickens has joined #nix-lang
kalbasit_ has joined #nix-lang
kalbasit_ has quit [Ping timeout: 246 seconds]
mvnetbiz_ has quit [Quit: Ping timeout (120 seconds)]
mvnetbiz_ has joined #nix-lang
niksnut has joined #nix-lang
__monty__ has joined #nix-lang
ekleog has quit [*.net *.split]
Dotz0cat has quit [*.net *.split]
kalbasit[m] has quit [*.net *.split]
siraben has quit [*.net *.split]
elvishjerricco has quit [*.net *.split]
globin has quit [*.net *.split]
mvnetbiz_ has quit [*.net *.split]
awaxa has quit [*.net *.split]
jtojnar has quit [*.net *.split]
niksnut has quit [*.net *.split]
evanjs has quit [*.net *.split]
edef has quit [*.net *.split]
__monty__ has quit [*.net *.split]
jeaye has quit [*.net *.split]
mpickering has quit [*.net *.split]
infinisil has quit [*.net *.split]
kini has quit [*.net *.split]
{^_^} has quit [*.net *.split]
manveru has quit [*.net *.split]
angerman has quit [*.net *.split]
ehmry has quit [*.net *.split]
sphalerite has quit [*.net *.split]
qyliss has quit [*.net *.split]
puck has quit [*.net *.split]
FireFly has quit [*.net *.split]
davidtwco_ has quit [*.net *.split]
jared-w has quit [*.net *.split]
andi- has quit [*.net *.split]
nf has quit [*.net *.split]
WilliButz has quit [*.net *.split]
inara has quit [*.net *.split]
samueldr has quit [*.net *.split]
colemickens has quit [*.net *.split]
tazjin has quit [*.net *.split]
simpson has quit [*.net *.split]
srhb has quit [*.net *.split]
ris has quit [*.net *.split]
pie_ has quit [*.net *.split]
pingiun has quit [*.net *.split]
Graypup_ has quit [*.net *.split]
l33[m] has quit [*.net *.split]
rmdashrf has quit [*.net *.split]
davidtwco_ has joined #nix-lang
pie_ has joined #nix-lang
awaxa has joined #nix-lang
angerman has joined #nix-lang
sphalerite has joined #nix-lang
Graypup_ has joined #nix-lang
ris has joined #nix-lang
Dotz0cat has joined #nix-lang
elvishjerricco has joined #nix-lang
siraben has joined #nix-lang
jeaye has joined #nix-lang
infinisil has joined #nix-lang
siraben has quit [Max SendQ exceeded]
kalbasit[m] has joined #nix-lang
kalbasit[m] has quit [Max SendQ exceeded]
awaxa has quit [Ping timeout: 260 seconds]
jtojnar has joined #nix-lang
l33[m] has joined #nix-lang
JJJollyjim has joined #nix-lang
kalbasit[m] has joined #nix-lang
awaxa has joined #nix-lang
colemickens has joined #nix-lang
siraben has joined #nix-lang
Profpatsch has joined #nix-lang
<
Profpatsch>
infinisil: > let val = "${throw "noo"}"; in builtins.isAttrs val
<
Profpatsch>
error: noo
<
Profpatsch>
can … we fix that
<
Profpatsch>
> let val = "${throw "noo"}"; in builtins.isAttrs val
<
infinisil>
well it evaluates the string to whnf before trying to determine its type, which evaluates all interpolations
<
infinisil>
I guess we could have some type inference that doesn't have to evaluate as much though
<
infinisil>
But not sure how useful that would be
rajivr has quit [Quit: Connection closed for inactivity]
Dotz0cat has quit [Ping timeout: 240 seconds]
<
niksnut>
yes, I think this is the "correct" behaviour
<
Profpatsch>
I don’t feel like having to run all interpolations just to find out whether something is a string is a good idea
<
Profpatsch>
e.g. the string could be fairly large, or the interpolations contain IfD
<
Profpatsch>
(the latter is specifically what I stumbled over)
<
__monty__>
Can interpolations turn a string into anything else?
<
niksnut>
I mean, it's a dynamically typed language, so we don't know it's a string until we evaluate it
<
niksnut>
and strings are not lazy
sterni has joined #nix-lang
<
Profpatsch>
but you know it’s string once you reach the string constructor right
<
niksnut>
yes but the string is constructed after throw "noo"
Dotz0cat has joined #nix-lang