eschew
Joined 18 years ago
Joined 18 years ago
There are also some papers being published that were funded by TRACTOR, such as https://homes.cs.washington.edu/~mernst/pubs/c-rust-macros-p...
mkPlayer :: Maybe Weapon -> Class -> Either Error Player
mkPlayer (Just Staff) Warrior = Left "A Warrior cannot equip a Staff"
mkPlayer (Just Sword) Wizard = Left "A Wizard cannot equip a Sword"
mkPlayer weapon klass = Right (Player weapon klass)1) LLVM doesn't place any restrictions on how a language runtime allocates memory.
2) LLVM doesn't "expect" a stack map -- it provides infrastructure to compute them if the front end wants to, but the front end is completely free to ignore that infrastructure.
Poking through GHC's runtime source, I see a writer barrier but no locking -- did I miss something?
http://www.philipreames.com/Blog/2014/02/21/why-not-use-gcro...
and also
http://www.philipreames.com/Blog/2014/10/21/statepoints-vs-g...
"To explicitly state this again since I screwed this up once before, both statepoints and gc.roots can correctly represent relocation semantics in the IR. In fact, the underlying reasoning about their correctness are rather similar."
When the content is AI-generated, it's very hard to suss out what, if any, human judgement was involved.