sdf45

2 ms·

1. 1.▲
   by sdf45 11y ago

   While the advice in the article is funny, on a deeper level the author seems to argue that program text is a rather basic representation that often obstructs insight into the semantics of the program. The quest for other program representat
2. 2.▲
   by sdf45 11y ago

   I don't know much about Lua and LuaJIT, so let me ask a naive question: If you would start out with a JavaScript JIT (like V8) what things would you have to add (i.e. things that are not required to JIT JavaScript) besides the obvious
3. 3.▲
   by sdf45 11y ago

   First of all a graph library does not communicate with the outside world. My point was that even for the ubiquitous task of implementing a graph structure, unsafe is necessary. So while Rust may provide a clean separation between unsafe and
4. 4.▲
   by sdf45 11y ago

   While tooling may help, I think that a completely new approach is necessary. The correctness invariants of complex C++ programs (such as browsers and JITs) cannot be 'discovered' by static analysis - they must be, at least in part
5. 5.▲
   by sdf45 11y ago

   Please show me how to implement a graph library without using unsafe in Rust.
6. 6.▲
   by sdf45 11y ago

   As of yet, a browser (in particular the JavaScript JIT) cannot be implemented in a safe language. It is not even clear how a safe language that would permit this would look like. Thinking that banning C/C++ magically solves all problem