4 ms·

I would prefer a functional approach and formal verification so we can know for sure it will exit.

• aargh_aargh 7y ago
  Since the real world is not necessarily deterministic as demonstrated by the methods using random(), I hope to see more development in stochastical methods describing parameters of probability distributions of successful exits.
  • nurettin 7y ago
    In the face of vim's unyielding resilience to exiting, I think we may need to devise a new algorithm for this using quantum superposition. I heard IBM can help with that.
• Dowwie 7y ago
  But who would support it? While a formally verified functional approach may satisfy one's doctorate requirements, the author will graduate and move onto blockchain development, leaving behind an exit-vim code base that no other engineer could possibly understand without the equivalent training. Upon receiving said training, an engineer would also take newly acquired doctorate and also move onto blockchain development. Essentially, supporting a formally verified functional approach to exiting Vim creates a pipeline of well-credentialed and rigorously trained professionals for blockchain development. If Vim were, however, put on the blockchain, we may be able to address this concern and you can get what you wanted. Or, you could have just used Rust and SIMD.
  • dt5702 7y ago
    This hits so close to home.
• strbean 7y ago
  Let me halt you right there...