Hi Peng, On Tue, 22 Jan 2019 14:20:50 -0600 Peng Yu <[email protected]> wrote:
> Hi, > > I'd like to evaluate the cost of typing in vim. It should not just > simply counting the number of characters or words. > > For example, the metric should capture things like the following and more. > > - If there are two lines that are the same, people would type the > first line and copy-paste to generate the 2nd line. So the number of > keystrokes would be less than the total number of characters. > - If two strings are similar, people would make a copy and edit the copy. > - Repeatedly type something would be considered of less cost than type > non-repetitive characters of the same length. > - ctrl-P/N to save keystrokes for the words already typed before. > etc. > > Is there a tool to evaluate the least cost to type something in vim as > accurately as possible? Thanks. > well, vi (and ergo vim) keystrokes are https://en.wikipedia.org/wiki/Turing_completeness (also see https://stackoverflow.com/questions/7284/what-is-turing-complete ). As a result, finding the minimal user input that yields a buffer with the input falls under https://en.wikipedia.org/wiki/Code_golf or perhaps https://en.wikipedia.org/wiki/Kolmogorov_complexity . Also see http://www.vimgolf.com/ for vim golf. Regards, Shlomi -- ----------------------------------------------------------------- Shlomi Fish http://www.shlomifish.org/ Parody of "The Fountainhead" - http://shlom.in/towtf <rindolf> We have a saying: “We survived Pharaoh - we’ll survive this.” <sorabji5252> I suppose it’s all cake after Pharaoh. — Freenode’s #reddit channel Please reply to list if it's a mailing list post - http://shlom.in/reply . -- -- You received this message from the "vim_use" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_use" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
