safety risk of .fetch/2

monte-language / monte

A dynamic language inspired by Python and E.

Other

78 stars 11 forks source link

safety risk of .fetch/2 #80

Open dckc opened 7 years ago

dckc commented 7 years ago

<simpson> I feel like we need a space for documenting POLA maybe-not-safe-but-nobody-has-really-shown-a-good-PoC stuff.
<DanC_> PoC = proof of concept?
<simpson> Yeah.
 Stuff like .fetch/2 on Maps.
<DanC_> oh.
<DanC_> yes, the risk around .fetch/2 merits documenting. I'm raising an issue

erights commented 7 years ago

What is the safety risk or POLA violation of .fetch/2 ?

dckc commented 7 years ago

Something about f keeping a reference to k after m.fetch(k, f) I think.

dckc commented 7 years ago

http://wiki.erights.org/wiki/POLA_fetch