MVar is introduced in the paper Concurrent Haskell from 1996 which doesn't exactly spell it out, but says, "A value of type MVar, for some type t, is the name of a mutable location that is either empty or contains a value of type t."
What does the 'M' in Haskell's MVars stand for? Following references gets me to https://link.springer.com/chapter/10.1007/3540543961_26 … which calls them "M-structures" and never says explicitly what the 'M' is. Mutable? Mutex?
-
-
-
Yeah, I'm thinking that 'Mutable' might be the answer (if there is an answer)
Kraj razgovora
Novi razgovor -
-
-
I don’t think the original paper states a rationale for the name.https://www.researchgate.net/publication/225523329_M-structures_Extending_a_parallel_non-strict_functional_language_with_state …
-
It seems to use 'mutable' often though, so I'm guessing that.
- Još 1 odgovor
Novi razgovor -
-
-
One could ask the same question about "I-structures". From the statements below it seems 'I' is for "incremental" for single-assignment construction, and in contrast 'M' could be "mutable" allowing multiple writes. https://dl.acm.org/citation.cfm?id=69562 …pic.twitter.com/7IEhi2bgKR
-
Thanks!
- Još 2 druga odgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.