Hi Peng,
On Tue, 22 Jan 2019 14:20:50 -0600
Peng Yu <pengyu.ut@gmail.com> 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 vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Thursday, January 24, 2019
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment