blob: dd8b94d91bae5b94210eb8e53d64a1ed8f815332 [file] [log] [blame]
Luca Saccarola55adc5b2024-10-31 10:28:40 +01001*develop.txt* For Vim version 9.1. Last change: 2024 Oct 31
Bram Moolenaar071d4272004-06-13 20:20:40 +00002
3
4 VIM REFERENCE MANUAL by Bram Moolenaar
5
6
7Development of Vim. *development*
8
9This text is important for those who want to be involved in further developing
10Vim.
11
121. Design goals |design-goals|
132. Coding style |coding-style|
143. Design decisions |design-decisions|
154. Assumptions |design-assumptions|
16
17See the file README.txt in the "src" directory for an overview of the source
18code.
19
20Vim is open source software. Everybody is encouraged to contribute to help
Bram Moolenaar85eee132018-05-06 17:57:30 +020021improving Vim. For sending patches a unified diff "diff -u" is preferred.
22You can create a pull request on github, but it's not required.
Bram Moolenaar531da592013-05-06 05:58:55 +020023Also see http://vim.wikia.com/wiki/How_to_make_and_submit_a_patch.
Bram Moolenaar071d4272004-06-13 20:20:40 +000024
25==============================================================================
261. Design goals *design-goals*
27
28Most important things come first (roughly).
29
30Note that quite a few items are contradicting. This is intentional. A
31balance must be found between them.
32
33
34VIM IS... VI COMPATIBLE *design-compatible*
35
36First of all, it should be possible to use Vim as a drop-in replacement for
Bram Moolenaare7b1ea02020-08-07 19:54:59 +020037Vi. When the user wants to, Vim can be used in compatible mode and hardly
38any differences with the original Vi will be noticed.
Bram Moolenaar071d4272004-06-13 20:20:40 +000039
40Exceptions:
41- We don't reproduce obvious Vi bugs in Vim.
42- There are different versions of Vi. I am using Version 3.7 (6/7/85) as a
43 reference. But support for other versions is also included when possible.
44 The Vi part of POSIX is not considered a definitive source.
45- Vim adds new commands, you cannot rely on some command to fail because it
46 didn't exist in Vi.
47- Vim will have a lot of features that Vi doesn't have. Going back from Vim
48 to Vi will be a problem, this cannot be avoided.
49- Some things are hardly ever used (open mode, sending an e-mail when
50 crashing, etc.). Those will only be included when someone has a good reason
51 why it should be included and it's not too much work.
52- For some items it is debatable whether Vi compatibility should be
53 maintained. There will be an option flag for these.
54
55
56VIM IS... IMPROVED *design-improved*
57
58The IMproved bits of Vim should make it a better Vi, without becoming a
59completely different editor. Extensions are done with a "Vi spirit".
60- Use the keyboard as much as feasible. The mouse requires a third hand,
61 which we don't have. Many terminals don't have a mouse.
62- When the mouse is used anyway, avoid the need to switch back to the
63 keyboard. Avoid mixing mouse and keyboard handling.
64- Add commands and options in a consistent way. Otherwise people will have a
65 hard time finding and remembering them. Keep in mind that more commands and
66 options will be added later.
67- A feature that people do not know about is a useless feature. Don't add
Bram Moolenaar8f3f58f2010-01-06 20:52:26 +010068 obscure features, or at least add hints in documentation that they exist.
Bram Moolenaar071d4272004-06-13 20:20:40 +000069- Minimize using CTRL and other modifiers, they are more difficult to type.
70- There are many first-time and inexperienced Vim users. Make it easy for
71 them to start using Vim and learn more over time.
72- There is no limit to the features that can be added. Selecting new features
73 is one based on (1) what users ask for, (2) how much effort it takes to
74 implement and (3) someone actually implementing it.
75
76
77VIM IS... MULTI PLATFORM *design-multi-platform*
78
79Vim tries to help as many users on as many platforms as possible.
80- Support many kinds of terminals. The minimal demands are cursor positioning
81 and clear-screen. Commands should only use key strokes that most keyboards
82 have. Support all the keys on the keyboard for mapping.
83- Support many platforms. A condition is that there is someone willing to do
84 Vim development on that platform, and it doesn't mean messing up the code.
85- Support many compilers and libraries. Not everybody is able or allowed to
86 install another compiler or GUI library.
87- People switch from one platform to another, and from GUI to terminal
88 version. Features should be present in all versions, or at least in as many
89 as possible with a reasonable effort. Try to avoid that users must switch
90 between platforms to accomplish their work efficiently.
91- That a feature is not possible on some platforms, or only possible on one
92 platform, does not mean it cannot be implemented. [This intentionally
93 contradicts the previous item, these two must be balanced.]
94
95
96VIM IS... WELL DOCUMENTED *design-documented*
97
98- A feature that isn't documented is a useless feature. A patch for a new
99 feature must include the documentation.
100- Documentation should be comprehensive and understandable. Using examples is
101 recommended.
102- Don't make the text unnecessarily long. Less documentation means that an
103 item is easier to find.
104
105
106VIM IS... HIGH SPEED AND SMALL IN SIZE *design-speed-size*
107
108Using Vim must not be a big attack on system resources. Keep it small and
109fast.
110- Computers are becoming faster and bigger each year. Vim can grow too, but
111 no faster than computers are growing. Keep Vim usable on older systems.
112- Many users start Vim from a shell very often. Startup time must be short.
113- Commands must work efficiently. The time they consume must be as small as
114 possible. Useful commands may take longer.
115- Don't forget that some people use Vim over a slow connection. Minimize the
116 communication overhead.
117- Items that add considerably to the size and are not used by many people
118 should be a feature that can be disabled.
119- Vim is a component among other components. Don't turn it into a massive
120 application, but have it work well together with other programs.
121
122
123VIM IS... MAINTAINABLE *design-maintain*
124
125- The source code should not become a mess. It should be reliable code.
126- Use the same layout in all files to make it easy to read |coding-style|.
Bram Moolenaarae5bce12005-08-15 21:41:48 +0000127- Use comments in a useful way! Quoting the function name and argument names
128 is NOT useful. Do explain what they are for.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000129- Porting to another platform should be made easy, without having to change
130 too much platform-independent code.
131- Use the object-oriented spirit: Put data and code together. Minimize the
132 knowledge spread to other parts of the code.
133
134
135VIM IS... FLEXIBLE *design-flexible*
136
137Vim should make it easy for users to work in their preferred styles rather
138than coercing its users into particular patterns of work. This can be for
139items with a large impact (e.g., the 'compatible' option) or for details. The
140defaults are carefully chosen such that most users will enjoy using Vim as it
141is. Commands and options can be used to adjust Vim to the desire of the user
142and its environment.
143
144
145VIM IS... NOT *design-not*
146
Bram Moolenaarf55e4c82017-08-01 20:44:53 +0200147- Vim is not a shell or an Operating System. It does provide a terminal
148 window, in which you can run a shell or debugger. E.g. to be able to do
149 this over an ssh connection. But if you don't need a text editor with that
150 it is out of scope (use something like screen or tmux instead).
Bram Moolenaar071d4272004-06-13 20:20:40 +0000151 A satirical way to say this: "Unlike Emacs, Vim does not attempt to include
152 everything but the kitchen sink, but some people say that you can clean one
153 with it. ;-)"
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200154 To use Vim with gdb see |terminal-debugger|. Other (older) tools can be
Christian Brabandt1c5728e2024-05-11 11:12:40 +0200155 found at http://www.agide.org (link seems dead) and http://clewn.sf.net.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000156- Vim is not a fancy GUI editor that tries to look nice at the cost of
157 being less consistent over all platforms. But functional GUI features are
158 welcomed.
159
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100160
Bram Moolenaar071d4272004-06-13 20:20:40 +0000161==============================================================================
1622. Coding style *coding-style*
163
164These are the rules to use when making changes to the Vim source code. Please
165stick to these rules, to keep the sources readable and maintainable.
166
167This list is not complete. Look in the source code for more examples.
168
169
170MAKING CHANGES *style-changes*
171
172The basic steps to make changes to the code:
Bram Moolenaar13d5aee2016-01-21 23:36:05 +01001731. Get the code from github. That makes it easier to keep your changed
174 version in sync with the main code base (it may be a while before your
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100175 changes will be included).
Bram Moolenaar13d5aee2016-01-21 23:36:05 +01001762. Adjust the documentation. Doing this first gives you an impression of how
Bram Moolenaar071d4272004-06-13 20:20:40 +0000177 your changes affect the user.
Bram Moolenaar13d5aee2016-01-21 23:36:05 +01001783. Make the source code changes.
1794. Check ../doc/todo.txt if the change affects any listed item.
Luca Saccarola55adc5b2024-10-31 10:28:40 +01001805. Add a test to src/testdir to verify the new behaviour and ensure it won't
181 regress in the future.
1826. Make a patch with "git diff".
1837. Make a note about what changed, preferably mentioning the problem and the
Bram Moolenaar68563932017-01-10 13:31:15 +0100184 solution. Send an email to the |vim-dev| maillist with an explanation and
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100185 include the diff.
186
187For any non-trivial change, please always create a pull request on github,
188since this triggers the test suite.
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100189
190
Bram Moolenaar15142e22018-04-30 22:19:58 +0200191C COMPILER *style-compiler* *ANSI-C* *C89* *C99*
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100192
193The minimal C compiler version supported is C89, also known as ANSI C.
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200194Later standards, such as C99, are not widely supported, or at least not 100%
Bram Moolenaar4cbdcbd2022-09-20 21:23:12 +0100195supported. Therefore we use only some of the C99 features and explicitly
196disallow some (this will gradually be adjusted over time).
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100197
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100198Features not to be used ~
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200199
200These C99 features are not to be used, because not enough compilers support
201them:
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200202- Variable length arrays (even in C11 this is an optional feature).
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100203- C99 _Bool and _Complex types.
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200204- "inline" (it's hardly ever needed, let the optimizer do its work)
Bram Moolenaar285e3352018-04-18 23:01:13 +0200205- flexible array members: Not supported by HP-UX C compiler (John Marriott)
Bram Moolenaar071d4272004-06-13 20:20:40 +0000206
207
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100208COMMENTS *style-comments*
209
210Try to avoid putting multiline comments inside a function body: if the
211function is so complex that you need to separately comment parts of it, you
212should probably rethink the structure of the function.
213
214For file headers and function descriptions use: >
215 /*
216 * Description
217 */
218<
219For everything else use: >
220 // comment
221<
222
223
224INDENTATION *style-indentation*
225
226We use 4 space to indent the code. If you are using Vim to edit the source,
227you don't need to do anything due to the |modeline|.
228
229For other editors an `.editorconfig` is provided at the root of the repo.
230
231
232DECLARATIONS *style-declarations*
233
234Declare, when possible, `for` loop variables in the guard:
235OK: >
236 for (int i = 0; i < len; ++i)
237<
238Wrong: >
239 int i;
240 for (i = 0; i < len; ++i)
241<
242Always declare a variable with a default value:
243OK: >
244 int n = 0;
245 int *ptr = NULL;
246<
247Wrong: >
248 int n;
249 int *ptr;
250<
251
252
253BRACES *style-braces*
254
255All curly braces must be returned onto a new line:
256OK: >
257 if (cond)
258 {
259 cmd;
260 cmd;
261 }
262 else
263 {
264 cmd;
265 cmd;
266 }
267<
268Wrong: >
269 if (cond) {
270 cmd;
271 cmd;
272 } else {
273 cmd;
274 cmd;
275 }
276<
277OK: >
278 while (cond)
279 {
280 cmd;
281 }
282<
283Wrong: >
284 while (cond) {
285 cmd;
286 }
287<
288When a block has one line, including comments, the braces can be left out.
289OK: >
290 if (cond)
291 cmd;
292 else
293 cmd;
294<
295Wrong: >
296 if (cond)
297 /*
298 * comment
299 */
300 cmd;
301 else
302 cmd;
303<
304When an `if`/`else` has braces on one block, the other should have it too.
305OK: >
306 if (cond)
307 {
308 cmd;
309 }
310 else
311 {
312 cmd;
313 cmd;
314 }
315<
316Wrong: >
317 if (cond)
318 cmd;
319 else
320 {
321 cmd;
322 cmd;
323 }
324
325 if (cond)
326 {
327 cmd;
328 cmd;
329 }
330 else
331 cmd;
332<
333OK: >
334 while (cond)
335 cmd;
336<
337Wrong:
338>
339 while (cond)
340 if (cond)
341 cmd;
342<
343
344
345TYPES *style-types*
346
347Use descriptive types. You can find a list of them in the src/structs.h file
348and probably in a typedef in the file you are working on.
349
350Note that all custom types are postfixed with "_T"
351
352OK: >
353 int is_valid_line_number(linenr_T lnum);
354<
355Wrong: >
356 int is_valid_line_number(unsigned long lnum);
357<
358
359
360SPACES AND PUNCTUATION *style-spaces*
361
362No space between a function name and the bracket:
363
364OK: func(arg);
365Wrong: func (arg);
366
367Do use a space after `if`, `while`, `switch`, etc.
368
369OK: if (arg) for (;;)
370Wrong: if(arg) for(;;)
371
372Use a space after a comma or semicolon:
373
374OK: func(arg1, arg2); for (i = 0; i < 2; ++i)
375Wrong: func(arg1,arg2); for (i = 0;i < 2;++i)
376
377Use a space before and after '=', '+', '/', etc.
378
379Wrong: var=a*5;
380OK: var = a * 5;
381
382Use empty lines to group similar actions together.
383
384OK: >
385 msg_puts_title(_("\n--- Signs ---"));
386 msg_putchar('\n');
387
388 if (rbuf == NULL)
389 buf = firstbuf;
390 else
391 buf = rbuf;
392
393 while (buf != NULL && !got_int)
394<
395Wrong: >
396 msg_puts_title(_("\n--- Signs ---"));
397 msg_putchar('\n');
398 if (rbuf == NULL)
399 buf = firstbuf;
400 else
401 buf = rbuf;
402 while (buf != NULL && !got_int)
403<
404
405
406FUNCTIONS *style-functions*
407
408Use function declarations with the return type on a separate indented line.
409
410OK: >
411 int
412 function_name(int arg1, int arg2)
413 {
414 }
415<
416Wrong: >
417 int function_name(int arg1, int arg2)
418 {
419 }
420<
421
422Give meaningful names to function parameters.
423
424
425USE OF COMMON FUNCTIONS *style-common-functions*
Bram Moolenaar071d4272004-06-13 20:20:40 +0000426
427Some functions that are common to use, have a special Vim version. Always
428consider using the Vim version, because they were introduced with a reason.
429
430NORMAL NAME VIM NAME DIFFERENCE OF VIM VERSION
431free() vim_free() Checks for freeing NULL
432malloc() alloc() Checks for out of memory situation
433malloc() lalloc() Like alloc(), but has long argument
434strcpy() STRCPY() Includes cast to (char *), for char_u * args
435strchr() vim_strchr() Accepts special characters
436strrchr() vim_strrchr() Accepts special characters
437isspace() vim_isspace() Can handle characters > 128
Bram Moolenaar9e368db2007-05-12 13:25:01 +0000438iswhite() vim_iswhite() Only TRUE for tab and space
Bram Moolenaar36fc5352006-03-04 21:49:37 +0000439memcpy() mch_memmove() Handles overlapped copies
440bcopy() mch_memmove() Handles overlapped copies
Bram Moolenaar071d4272004-06-13 20:20:40 +0000441memset() vim_memset() Uniform for all systems
442
443
444NAMES *style-names*
445
446Function names can not be more than 31 characters long (because of VMS).
447
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100448Don't use "delete" or "this" as a variable name, C++ doesn't like it.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000449
450Because of the requirement that Vim runs on as many systems as possible, we
451need to avoid using names that are already defined by the system. This is a
452list of names that are known to cause trouble. The name is given as a regexp
453pattern.
454
455is.*() POSIX, ctype.h
456to.*() POSIX, ctype.h
457
458d_.* POSIX, dirent.h
459l_.* POSIX, fcntl.h
460gr_.* POSIX, grp.h
461pw_.* POSIX, pwd.h
462sa_.* POSIX, signal.h
463mem.* POSIX, string.h
464str.* POSIX, string.h
465wcs.* POSIX, string.h
466st_.* POSIX, stat.h
467tms_.* POSIX, times.h
468tm_.* POSIX, time.h
469c_.* POSIX, termios.h
470MAX.* POSIX, limits.h
471__.* POSIX, system
472_[A-Z].* POSIX, system
473E[A-Z0-9]* POSIX, errno.h
474
Bram Moolenaar9964e462007-05-05 17:54:07 +0000475.*_t POSIX, for typedefs. Use .*_T instead.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000476
477wait don't use as argument to a function, conflicts with types.h
478index shadows global declaration
479time shadows global declaration
480new C++ reserved keyword
Bram Moolenaar071d4272004-06-13 20:20:40 +0000481
Bram Moolenaar6be7f872012-01-20 21:08:56 +0100482clear Mac curses.h
483echo Mac curses.h
484instr Mac curses.h
485meta Mac curses.h
486newwin Mac curses.h
487nl Mac curses.h
488overwrite Mac curses.h
489refresh Mac curses.h
490scroll Mac curses.h
491typeahead Mac curses.h
492
Bram Moolenaar071d4272004-06-13 20:20:40 +0000493basename() GNU string function
494dirname() GNU string function
495get_env_value() Linux system function
496
497
498VARIOUS *style-various*
499
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100500Define'd names should be uppercase: >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000501 #define SOME_THING
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100502<
503
Bram Moolenaar071d4272004-06-13 20:20:40 +0000504Features always start with "FEAT_": >
505 #define FEAT_FOO
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100506<
Bram Moolenaar071d4272004-06-13 20:20:40 +0000507
508Don't use '\"', some compilers can't handle it. '"' works fine.
509
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100510Don't use: >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000511 #if HAVE_SOME
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100512<
Bram Moolenaar071d4272004-06-13 20:20:40 +0000513Some compilers can't handle that and complain that "HAVE_SOME" is not defined.
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100514Use >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000515 #ifdef HAVE_SOME
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100516<
517or >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000518 #if defined(HAVE_SOME)
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100519<
Bram Moolenaar071d4272004-06-13 20:20:40 +0000520
521STYLE *style-examples*
522
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100523One statement per line.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000524
525Wrong: if (cond) a = 1;
526
527OK: if (cond)
528 a = 1;
529
530Wrong: while (cond);
531
532OK: while (cond)
533 ;
534
535Wrong: do a = 1; while (cond);
536
537OK: do
538 a = 1;
539 while (cond);
540
Bram Moolenaar071d4272004-06-13 20:20:40 +0000541
542==============================================================================
5433. Design decisions *design-decisions*
544
545Folding
546
547Several forms of folding should be possible for the same buffer. For example,
548have one window that shows the text with function bodies folded, another
549window that shows a function body.
550
551Folding is a way to display the text. It should not change the text itself.
552Therefore the folding has been implemented as a filter between the text stored
553in a buffer (buffer lines) and the text displayed in a window (logical lines).
554
555
556Naming the window
557
558The word "window" is commonly used for several things: A window on the screen,
559the xterm window, a window inside Vim to view a buffer.
560To avoid confusion, other items that are sometimes called window have been
561given another name. Here is an overview of the related items:
562
563screen The whole display. For the GUI it's something like 1024x768
564 pixels. The Vim shell can use the whole screen or part of it.
565shell The Vim application. This can cover the whole screen (e.g.,
566 when running in a console) or part of it (xterm or GUI).
567window View on a buffer. There can be several windows in Vim,
568 together with the command line, menubar, toolbar, etc. they
569 fit in the shell.
570
571
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000572Spell checking *develop-spell*
573
574When spell checking was going to be added to Vim a survey was done over the
575available spell checking libraries and programs. Unfortunately, the result
576was that none of them provided sufficient capabilities to be used as the spell
577checking engine in Vim, for various reasons:
578
Bram Moolenaar207f0092020-08-30 17:20:20 +0200579- Missing support for multibyte encodings. At least UTF-8 must be supported,
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000580 so that more than one language can be used in the same file.
Bram Moolenaar9ba0eb82005-06-13 22:28:56 +0000581 Doing on-the-fly conversion is not always possible (would require iconv
582 support).
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000583- For the programs and libraries: Using them as-is would require installing
Bram Moolenaar9ba0eb82005-06-13 22:28:56 +0000584 them separately from Vim. That's mostly not impossible, but a drawback.
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000585- Performance: A few tests showed that it's possible to check spelling on the
586 fly (while redrawing), just like syntax highlighting. But the mechanisms
Bram Moolenaar4770d092006-01-12 23:22:24 +0000587 used by other code are much slower. Myspell uses a hashtable, for example.
588 The affix compression that most spell checkers use makes it slower too.
Bram Moolenaar51485f02005-06-04 21:55:20 +0000589- For using an external program like aspell a communication mechanism would
590 have to be setup. That's complicated to do in a portable way (Unix-only
591 would be relatively simple, but that's not good enough). And performance
592 will become a problem (lots of process switching involved).
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000593- Missing support for words with non-word characters, such as "Etten-Leur" and
594 "et al.", would require marking the pieces of them OK, lowering the
595 reliability.
596- Missing support for regions or dialects. Makes it difficult to accept
597 all English words and highlight non-Canadian words differently.
598- Missing support for rare words. Many words are correct but hardly ever used
599 and could be a misspelled often-used word.
Bram Moolenaar9ba0eb82005-06-13 22:28:56 +0000600- For making suggestions the speed is less important and requiring to install
601 another program or library would be acceptable. But the word lists probably
602 differ, the suggestions may be wrong words.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000603
Bram Moolenaar4770d092006-01-12 23:22:24 +0000604
605Spelling suggestions *develop-spell-suggestions*
606
607For making suggestions there are two basic mechanisms:
6081. Try changing the bad word a little bit and check for a match with a good
609 word. Or go through the list of good words, change them a little bit and
610 check for a match with the bad word. The changes are deleting a character,
611 inserting a character, swapping two characters, etc.
6122. Perform soundfolding on both the bad word and the good words and then find
613 matches, possibly with a few changes like with the first mechanism.
614
615The first is good for finding typing mistakes. After experimenting with
616hashtables and looking at solutions from other spell checkers the conclusion
617was that a trie (a kind of tree structure) is ideal for this. Both for
618reducing memory use and being able to try sensible changes. For example, when
619inserting a character only characters that lead to good words need to be
620tried. Other mechanisms (with hashtables) need to try all possible letters at
621every position in the word. Also, a hashtable has the requirement that word
622boundaries are identified separately, while a trie does not require this.
623That makes the mechanism a lot simpler.
624
625Soundfolding is useful when someone knows how the words sounds but doesn't
626know how it is spelled. For example, the word "dictionary" might be written
627as "daktonerie". The number of changes that the first method would need to
628try is very big, it's hard to find the good word that way. After soundfolding
629the words become "tktnr" and "tkxnry", these differ by only two letters.
630
631To find words by their soundfolded equivalent (soundalike word) we need a list
632of all soundfolded words. A few experiments have been done to find out what
633the best method is. Alternatives:
6341. Do the sound folding on the fly when looking for suggestions. This means
635 walking through the trie of good words, soundfolding each word and
636 checking how different it is from the bad word. This is very efficient for
637 memory use, but takes a long time. On a fast PC it takes a couple of
638 seconds for English, which can be acceptable for interactive use. But for
639 some languages it takes more than ten seconds (e.g., German, Catalan),
Bram Moolenaar088e8e32019-08-08 22:15:18 +0200640 which is unacceptably slow. For batch processing (automatic corrections)
Bram Moolenaar82038d72007-05-10 17:15:45 +0000641 it's too slow for all languages.
Bram Moolenaar4770d092006-01-12 23:22:24 +00006422. Use a trie for the soundfolded words, so that searching can be done just
643 like how it works without soundfolding. This requires remembering a list
644 of good words for each soundfolded word. This makes finding matches very
645 fast but requires quite a lot of memory, in the order of 1 to 10 Mbyte.
646 For some languages more than the original word list.
6473. Like the second alternative, but reduce the amount of memory by using affix
648 compression and store only the soundfolded basic word. This is what Aspell
649 does. Disadvantage is that affixes need to be stripped from the bad word
650 before soundfolding it, which means that mistakes at the start and/or end
651 of the word will cause the mechanism to fail. Also, this becomes slow when
652 the bad word is quite different from the good word.
653
654The choice made is to use the second mechanism and use a separate file. This
655way a user with sufficient memory can get very good suggestions while a user
656who is short of memory or just wants the spell checking and no suggestions
657doesn't use so much memory.
658
659
660Word frequency
661
662For sorting suggestions it helps to know which words are common. In theory we
663could store a word frequency with the word in the dictionary. However, this
664requires storing a count per word. That degrades word tree compression a lot.
665And maintaining the word frequency for all languages will be a heavy task.
666Also, it would be nice to prefer words that are already in the text. This way
667the words that appear in the specific text are preferred for suggestions.
668
669What has been implemented is to count words that have been seen during
670displaying. A hashtable is used to quickly find the word count. The count is
671initialized from words listed in COMMON items in the affix file, so that it
672also works when starting a new file.
673
674This isn't ideal, because the longer Vim is running the higher the counts
Bram Moolenaar82038d72007-05-10 17:15:45 +0000675become. But in practice it is a noticeable improvement over not using the word
Bram Moolenaar4770d092006-01-12 23:22:24 +0000676count.
677
Bram Moolenaar071d4272004-06-13 20:20:40 +0000678==============================================================================
6794. Assumptions *design-assumptions*
680
681Size of variables:
682char 8 bit signed
683char_u 8 bit unsigned
Bram Moolenaar4770d092006-01-12 23:22:24 +0000684int 32 or 64 bit signed (16 might be possible with limited features)
685unsigned 32 or 64 bit unsigned (16 as with ints)
Bram Moolenaar071d4272004-06-13 20:20:40 +0000686long 32 or 64 bit signed, can hold a pointer
687
688Note that some compilers cannot handle long lines or strings. The C89
689standard specifies a limit of 509 characters.
690
Bram Moolenaar91f84f62018-07-29 15:07:52 +0200691 vim:tw=78:ts=8:noet:ft=help:norl: