blob: 84aa53dc8c3ff3a8f99b59a11c24d5dc248c83a1 [file] [log] [blame]
Luca Saccarolafeea1b42024-11-11 21:33:50 +01001*develop.txt* For Vim version 9.1. Last change: 2024 Nov 11
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
Luca Saccarolafeea1b42024-11-11 21:33:50 +0100169The code repository contains an editorconfig file, that can be used together
170with the distributed editorconfig plugin |editorconfig-install| to ensure the
171recommended style is followed.
172
Bram Moolenaar071d4272004-06-13 20:20:40 +0000173
174MAKING CHANGES *style-changes*
175
176The basic steps to make changes to the code:
Bram Moolenaar13d5aee2016-01-21 23:36:05 +01001771. Get the code from github. That makes it easier to keep your changed
178 version in sync with the main code base (it may be a while before your
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100179 changes will be included).
Bram Moolenaar13d5aee2016-01-21 23:36:05 +01001802. Adjust the documentation. Doing this first gives you an impression of how
Bram Moolenaar071d4272004-06-13 20:20:40 +0000181 your changes affect the user.
Bram Moolenaar13d5aee2016-01-21 23:36:05 +01001823. Make the source code changes.
1834. Check ../doc/todo.txt if the change affects any listed item.
Luca Saccarola55adc5b2024-10-31 10:28:40 +01001845. Add a test to src/testdir to verify the new behaviour and ensure it won't
185 regress in the future.
1866. Make a patch with "git diff".
1877. Make a note about what changed, preferably mentioning the problem and the
Bram Moolenaar68563932017-01-10 13:31:15 +0100188 solution. Send an email to the |vim-dev| maillist with an explanation and
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100189 include the diff.
190
191For any non-trivial change, please always create a pull request on github,
192since this triggers the test suite.
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100193
194
Bram Moolenaar15142e22018-04-30 22:19:58 +0200195C COMPILER *style-compiler* *ANSI-C* *C89* *C99*
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100196
197The minimal C compiler version supported is C89, also known as ANSI C.
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200198Later standards, such as C99, are not widely supported, or at least not 100%
Bram Moolenaar4cbdcbd2022-09-20 21:23:12 +0100199supported. Therefore we use only some of the C99 features and explicitly
200disallow some (this will gradually be adjusted over time).
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100201
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100202Features not to be used ~
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200203
204These C99 features are not to be used, because not enough compilers support
205them:
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200206- Variable length arrays (even in C11 this is an optional feature).
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100207- C99 _Bool and _Complex types.
Bram Moolenaar561f8a52018-04-17 22:02:45 +0200208- "inline" (it's hardly ever needed, let the optimizer do its work)
Bram Moolenaar285e3352018-04-18 23:01:13 +0200209- flexible array members: Not supported by HP-UX C compiler (John Marriott)
Bram Moolenaar071d4272004-06-13 20:20:40 +0000210
211
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100212COMMENTS *style-comments*
213
214Try to avoid putting multiline comments inside a function body: if the
215function is so complex that you need to separately comment parts of it, you
216should probably rethink the structure of the function.
217
218For file headers and function descriptions use: >
219 /*
220 * Description
221 */
222<
223For everything else use: >
224 // comment
225<
226
227
228INDENTATION *style-indentation*
229
230We use 4 space to indent the code. If you are using Vim to edit the source,
231you don't need to do anything due to the |modeline|.
232
233For other editors an `.editorconfig` is provided at the root of the repo.
234
235
236DECLARATIONS *style-declarations*
237
238Declare, when possible, `for` loop variables in the guard:
239OK: >
240 for (int i = 0; i < len; ++i)
241<
242Wrong: >
243 int i;
244 for (i = 0; i < len; ++i)
245<
246Always declare a variable with a default value:
247OK: >
248 int n = 0;
249 int *ptr = NULL;
250<
251Wrong: >
252 int n;
253 int *ptr;
254<
255
256
257BRACES *style-braces*
258
259All curly braces must be returned onto a new line:
260OK: >
261 if (cond)
262 {
263 cmd;
264 cmd;
265 }
266 else
267 {
268 cmd;
269 cmd;
270 }
271<
272Wrong: >
273 if (cond) {
274 cmd;
275 cmd;
276 } else {
277 cmd;
278 cmd;
279 }
280<
281OK: >
282 while (cond)
283 {
284 cmd;
285 }
286<
287Wrong: >
288 while (cond) {
289 cmd;
290 }
291<
292When a block has one line, including comments, the braces can be left out.
293OK: >
294 if (cond)
295 cmd;
296 else
297 cmd;
298<
299Wrong: >
300 if (cond)
301 /*
302 * comment
303 */
304 cmd;
305 else
306 cmd;
307<
308When an `if`/`else` has braces on one block, the other should have it too.
309OK: >
310 if (cond)
311 {
312 cmd;
313 }
314 else
315 {
316 cmd;
317 cmd;
318 }
319<
320Wrong: >
321 if (cond)
322 cmd;
323 else
324 {
325 cmd;
326 cmd;
327 }
328
329 if (cond)
330 {
331 cmd;
332 cmd;
333 }
334 else
335 cmd;
336<
337OK: >
338 while (cond)
339 cmd;
340<
341Wrong:
342>
343 while (cond)
344 if (cond)
345 cmd;
346<
347
348
349TYPES *style-types*
350
351Use descriptive types. You can find a list of them in the src/structs.h file
352and probably in a typedef in the file you are working on.
353
354Note that all custom types are postfixed with "_T"
355
356OK: >
357 int is_valid_line_number(linenr_T lnum);
358<
359Wrong: >
360 int is_valid_line_number(unsigned long lnum);
361<
362
363
364SPACES AND PUNCTUATION *style-spaces*
365
366No space between a function name and the bracket:
367
368OK: func(arg);
369Wrong: func (arg);
370
371Do use a space after `if`, `while`, `switch`, etc.
372
373OK: if (arg) for (;;)
374Wrong: if(arg) for(;;)
375
376Use a space after a comma or semicolon:
377
378OK: func(arg1, arg2); for (i = 0; i < 2; ++i)
379Wrong: func(arg1,arg2); for (i = 0;i < 2;++i)
380
381Use a space before and after '=', '+', '/', etc.
382
383Wrong: var=a*5;
384OK: var = a * 5;
385
386Use empty lines to group similar actions together.
387
388OK: >
389 msg_puts_title(_("\n--- Signs ---"));
390 msg_putchar('\n');
391
392 if (rbuf == NULL)
393 buf = firstbuf;
394 else
395 buf = rbuf;
396
397 while (buf != NULL && !got_int)
398<
399Wrong: >
400 msg_puts_title(_("\n--- Signs ---"));
401 msg_putchar('\n');
402 if (rbuf == NULL)
403 buf = firstbuf;
404 else
405 buf = rbuf;
406 while (buf != NULL && !got_int)
407<
408
409
410FUNCTIONS *style-functions*
411
412Use function declarations with the return type on a separate indented line.
413
414OK: >
415 int
416 function_name(int arg1, int arg2)
417 {
418 }
419<
420Wrong: >
421 int function_name(int arg1, int arg2)
422 {
423 }
424<
425
426Give meaningful names to function parameters.
427
428
429USE OF COMMON FUNCTIONS *style-common-functions*
Bram Moolenaar071d4272004-06-13 20:20:40 +0000430
431Some functions that are common to use, have a special Vim version. Always
432consider using the Vim version, because they were introduced with a reason.
433
434NORMAL NAME VIM NAME DIFFERENCE OF VIM VERSION
435free() vim_free() Checks for freeing NULL
436malloc() alloc() Checks for out of memory situation
437malloc() lalloc() Like alloc(), but has long argument
438strcpy() STRCPY() Includes cast to (char *), for char_u * args
439strchr() vim_strchr() Accepts special characters
440strrchr() vim_strrchr() Accepts special characters
441isspace() vim_isspace() Can handle characters > 128
Bram Moolenaar9e368db2007-05-12 13:25:01 +0000442iswhite() vim_iswhite() Only TRUE for tab and space
Bram Moolenaar36fc5352006-03-04 21:49:37 +0000443memcpy() mch_memmove() Handles overlapped copies
444bcopy() mch_memmove() Handles overlapped copies
Bram Moolenaar071d4272004-06-13 20:20:40 +0000445memset() vim_memset() Uniform for all systems
446
447
448NAMES *style-names*
449
450Function names can not be more than 31 characters long (because of VMS).
451
Bram Moolenaar13d5aee2016-01-21 23:36:05 +0100452Don't use "delete" or "this" as a variable name, C++ doesn't like it.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000453
454Because of the requirement that Vim runs on as many systems as possible, we
455need to avoid using names that are already defined by the system. This is a
456list of names that are known to cause trouble. The name is given as a regexp
457pattern.
458
459is.*() POSIX, ctype.h
460to.*() POSIX, ctype.h
461
462d_.* POSIX, dirent.h
463l_.* POSIX, fcntl.h
464gr_.* POSIX, grp.h
465pw_.* POSIX, pwd.h
466sa_.* POSIX, signal.h
467mem.* POSIX, string.h
468str.* POSIX, string.h
469wcs.* POSIX, string.h
470st_.* POSIX, stat.h
471tms_.* POSIX, times.h
472tm_.* POSIX, time.h
473c_.* POSIX, termios.h
474MAX.* POSIX, limits.h
475__.* POSIX, system
476_[A-Z].* POSIX, system
477E[A-Z0-9]* POSIX, errno.h
478
Bram Moolenaar9964e462007-05-05 17:54:07 +0000479.*_t POSIX, for typedefs. Use .*_T instead.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000480
481wait don't use as argument to a function, conflicts with types.h
482index shadows global declaration
483time shadows global declaration
484new C++ reserved keyword
Bram Moolenaar071d4272004-06-13 20:20:40 +0000485
Bram Moolenaar6be7f872012-01-20 21:08:56 +0100486clear Mac curses.h
487echo Mac curses.h
488instr Mac curses.h
489meta Mac curses.h
490newwin Mac curses.h
491nl Mac curses.h
492overwrite Mac curses.h
493refresh Mac curses.h
494scroll Mac curses.h
495typeahead Mac curses.h
496
Bram Moolenaar071d4272004-06-13 20:20:40 +0000497basename() GNU string function
498dirname() GNU string function
499get_env_value() Linux system function
500
501
502VARIOUS *style-various*
503
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100504Define'd names should be uppercase: >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000505 #define SOME_THING
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100506<
507
Bram Moolenaar071d4272004-06-13 20:20:40 +0000508Features always start with "FEAT_": >
509 #define FEAT_FOO
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100510<
Bram Moolenaar071d4272004-06-13 20:20:40 +0000511
512Don't use '\"', some compilers can't handle it. '"' works fine.
513
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100514Don't use: >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000515 #if HAVE_SOME
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100516<
Bram Moolenaar071d4272004-06-13 20:20:40 +0000517Some compilers can't handle that and complain that "HAVE_SOME" is not defined.
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100518Use >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000519 #ifdef HAVE_SOME
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100520<
521or >
Bram Moolenaar071d4272004-06-13 20:20:40 +0000522 #if defined(HAVE_SOME)
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100523<
Bram Moolenaar071d4272004-06-13 20:20:40 +0000524
525STYLE *style-examples*
526
Luca Saccarola55adc5b2024-10-31 10:28:40 +0100527One statement per line.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000528
529Wrong: if (cond) a = 1;
530
531OK: if (cond)
532 a = 1;
533
534Wrong: while (cond);
535
536OK: while (cond)
537 ;
538
539Wrong: do a = 1; while (cond);
540
541OK: do
542 a = 1;
543 while (cond);
544
Bram Moolenaar071d4272004-06-13 20:20:40 +0000545
546==============================================================================
5473. Design decisions *design-decisions*
548
549Folding
550
551Several forms of folding should be possible for the same buffer. For example,
552have one window that shows the text with function bodies folded, another
553window that shows a function body.
554
555Folding is a way to display the text. It should not change the text itself.
556Therefore the folding has been implemented as a filter between the text stored
557in a buffer (buffer lines) and the text displayed in a window (logical lines).
558
559
560Naming the window
561
562The word "window" is commonly used for several things: A window on the screen,
563the xterm window, a window inside Vim to view a buffer.
564To avoid confusion, other items that are sometimes called window have been
565given another name. Here is an overview of the related items:
566
567screen The whole display. For the GUI it's something like 1024x768
568 pixels. The Vim shell can use the whole screen or part of it.
569shell The Vim application. This can cover the whole screen (e.g.,
570 when running in a console) or part of it (xterm or GUI).
571window View on a buffer. There can be several windows in Vim,
572 together with the command line, menubar, toolbar, etc. they
573 fit in the shell.
574
575
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000576Spell checking *develop-spell*
577
578When spell checking was going to be added to Vim a survey was done over the
579available spell checking libraries and programs. Unfortunately, the result
580was that none of them provided sufficient capabilities to be used as the spell
581checking engine in Vim, for various reasons:
582
Bram Moolenaar207f0092020-08-30 17:20:20 +0200583- Missing support for multibyte encodings. At least UTF-8 must be supported,
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000584 so that more than one language can be used in the same file.
Bram Moolenaar9ba0eb82005-06-13 22:28:56 +0000585 Doing on-the-fly conversion is not always possible (would require iconv
586 support).
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000587- For the programs and libraries: Using them as-is would require installing
Bram Moolenaar9ba0eb82005-06-13 22:28:56 +0000588 them separately from Vim. That's mostly not impossible, but a drawback.
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000589- Performance: A few tests showed that it's possible to check spelling on the
590 fly (while redrawing), just like syntax highlighting. But the mechanisms
Bram Moolenaar4770d092006-01-12 23:22:24 +0000591 used by other code are much slower. Myspell uses a hashtable, for example.
592 The affix compression that most spell checkers use makes it slower too.
Bram Moolenaar51485f02005-06-04 21:55:20 +0000593- For using an external program like aspell a communication mechanism would
594 have to be setup. That's complicated to do in a portable way (Unix-only
595 would be relatively simple, but that's not good enough). And performance
596 will become a problem (lots of process switching involved).
Bram Moolenaar402d2fe2005-04-15 21:00:38 +0000597- Missing support for words with non-word characters, such as "Etten-Leur" and
598 "et al.", would require marking the pieces of them OK, lowering the
599 reliability.
600- Missing support for regions or dialects. Makes it difficult to accept
601 all English words and highlight non-Canadian words differently.
602- Missing support for rare words. Many words are correct but hardly ever used
603 and could be a misspelled often-used word.
Bram Moolenaar9ba0eb82005-06-13 22:28:56 +0000604- For making suggestions the speed is less important and requiring to install
605 another program or library would be acceptable. But the word lists probably
606 differ, the suggestions may be wrong words.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000607
Bram Moolenaar4770d092006-01-12 23:22:24 +0000608
609Spelling suggestions *develop-spell-suggestions*
610
611For making suggestions there are two basic mechanisms:
6121. Try changing the bad word a little bit and check for a match with a good
613 word. Or go through the list of good words, change them a little bit and
614 check for a match with the bad word. The changes are deleting a character,
615 inserting a character, swapping two characters, etc.
6162. Perform soundfolding on both the bad word and the good words and then find
617 matches, possibly with a few changes like with the first mechanism.
618
619The first is good for finding typing mistakes. After experimenting with
620hashtables and looking at solutions from other spell checkers the conclusion
621was that a trie (a kind of tree structure) is ideal for this. Both for
622reducing memory use and being able to try sensible changes. For example, when
623inserting a character only characters that lead to good words need to be
624tried. Other mechanisms (with hashtables) need to try all possible letters at
625every position in the word. Also, a hashtable has the requirement that word
626boundaries are identified separately, while a trie does not require this.
627That makes the mechanism a lot simpler.
628
629Soundfolding is useful when someone knows how the words sounds but doesn't
630know how it is spelled. For example, the word "dictionary" might be written
631as "daktonerie". The number of changes that the first method would need to
632try is very big, it's hard to find the good word that way. After soundfolding
633the words become "tktnr" and "tkxnry", these differ by only two letters.
634
635To find words by their soundfolded equivalent (soundalike word) we need a list
636of all soundfolded words. A few experiments have been done to find out what
637the best method is. Alternatives:
6381. Do the sound folding on the fly when looking for suggestions. This means
639 walking through the trie of good words, soundfolding each word and
640 checking how different it is from the bad word. This is very efficient for
641 memory use, but takes a long time. On a fast PC it takes a couple of
642 seconds for English, which can be acceptable for interactive use. But for
643 some languages it takes more than ten seconds (e.g., German, Catalan),
Bram Moolenaar088e8e32019-08-08 22:15:18 +0200644 which is unacceptably slow. For batch processing (automatic corrections)
Bram Moolenaar82038d72007-05-10 17:15:45 +0000645 it's too slow for all languages.
Bram Moolenaar4770d092006-01-12 23:22:24 +00006462. Use a trie for the soundfolded words, so that searching can be done just
647 like how it works without soundfolding. This requires remembering a list
648 of good words for each soundfolded word. This makes finding matches very
649 fast but requires quite a lot of memory, in the order of 1 to 10 Mbyte.
650 For some languages more than the original word list.
6513. Like the second alternative, but reduce the amount of memory by using affix
652 compression and store only the soundfolded basic word. This is what Aspell
653 does. Disadvantage is that affixes need to be stripped from the bad word
654 before soundfolding it, which means that mistakes at the start and/or end
655 of the word will cause the mechanism to fail. Also, this becomes slow when
656 the bad word is quite different from the good word.
657
658The choice made is to use the second mechanism and use a separate file. This
659way a user with sufficient memory can get very good suggestions while a user
660who is short of memory or just wants the spell checking and no suggestions
661doesn't use so much memory.
662
663
664Word frequency
665
666For sorting suggestions it helps to know which words are common. In theory we
667could store a word frequency with the word in the dictionary. However, this
668requires storing a count per word. That degrades word tree compression a lot.
669And maintaining the word frequency for all languages will be a heavy task.
670Also, it would be nice to prefer words that are already in the text. This way
671the words that appear in the specific text are preferred for suggestions.
672
673What has been implemented is to count words that have been seen during
674displaying. A hashtable is used to quickly find the word count. The count is
675initialized from words listed in COMMON items in the affix file, so that it
676also works when starting a new file.
677
678This isn't ideal, because the longer Vim is running the higher the counts
Bram Moolenaar82038d72007-05-10 17:15:45 +0000679become. But in practice it is a noticeable improvement over not using the word
Bram Moolenaar4770d092006-01-12 23:22:24 +0000680count.
681
Bram Moolenaar071d4272004-06-13 20:20:40 +0000682==============================================================================
6834. Assumptions *design-assumptions*
684
685Size of variables:
686char 8 bit signed
687char_u 8 bit unsigned
Bram Moolenaar4770d092006-01-12 23:22:24 +0000688int 32 or 64 bit signed (16 might be possible with limited features)
689unsigned 32 or 64 bit unsigned (16 as with ints)
Bram Moolenaar071d4272004-06-13 20:20:40 +0000690long 32 or 64 bit signed, can hold a pointer
691
692Note that some compilers cannot handle long lines or strings. The C89
693standard specifies a limit of 509 characters.
694
Bram Moolenaar91f84f62018-07-29 15:07:52 +0200695 vim:tw=78:ts=8:noet:ft=help:norl: