mcoblenz

3 ms·

1. 1.▲
   by mcoblenz 5y ago

   We were particularly interested in learnability for this study, which CAN be assessed in a study with students.
2. 2.▲
   by mcoblenz 5y ago

   I just added a clarification to the README about this. The main issue is that the current implementation keeps track of roots with a shadow stack technique ( https://llvm.org/docs/GarbageCollection.html#using-llvm-gcwr..
3. 3.▲
   by mcoblenz 7y ago

   Rust does provide some help in its type system (via ownership), but it is not nearly as expressive as Obsidian's. Rust, AFAIK, does not support linearity (i.e. will not warn you when you accidentally lose an owning reference to an obje
4. 4.▲
   by mcoblenz 7y ago

   Glad to see the interest — thanks! What we'd especially appreciate is if you'd participate in the experiment: http://obsidian-lang.com/experiment.html
5. 5.▲
   by mcoblenz 7y ago

   There are some examples in the repository, e.g. https://github.com/mcoblenz/Obsidian/tree/master/resources/c... Also see a draft paper: http://obsidian-lang.com/obsidian-oopsla-19-su