Bram Moolenaar | d13166e | 2022-11-18 21:49:57 +0000 | [diff] [blame] | 1 | *vim9.txt* For Vim version 9.0. Last change: 2022 Nov 14 |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2 | |
| 3 | |
| 4 | VIM REFERENCE MANUAL by Bram Moolenaar |
| 5 | |
| 6 | |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 7 | Vim9 script commands and expressions. *Vim9* *vim9* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 8 | |
| 9 | Most expression help is in |eval.txt|. This file is about the new syntax and |
| 10 | features in Vim9 script. |
| 11 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 12 | |
| 13 | |
Bram Moolenaar | 7e6a515 | 2021-01-02 16:39:53 +0100 | [diff] [blame] | 14 | 1. What is Vim9 script? |Vim9-script| |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 15 | 2. Differences |vim9-differences| |
| 16 | 3. New style functions |fast-functions| |
| 17 | 4. Types |vim9-types| |
| 18 | 5. Namespace, Import and Export |vim9script| |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 19 | 6. Future work: classes |vim9-classes| |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 20 | |
| 21 | 9. Rationale |vim9-rationale| |
| 22 | |
| 23 | ============================================================================== |
| 24 | |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 25 | 1. What is Vim9 script? *Vim9-script* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 26 | |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 27 | Vim script has been growing over time, while preserving backwards |
| 28 | compatibility. That means bad choices from the past often can't be changed |
Bram Moolenaar | 73fef33 | 2020-06-21 22:12:03 +0200 | [diff] [blame] | 29 | and compatibility with Vi restricts possible solutions. Execution is quite |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 30 | slow, each line is parsed every time it is executed. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 31 | |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 32 | The main goal of Vim9 script is to drastically improve performance. This is |
| 33 | accomplished by compiling commands into instructions that can be efficiently |
| 34 | executed. An increase in execution speed of 10 to 100 times can be expected. |
| 35 | |
| 36 | A secondary goal is to avoid Vim-specific constructs and get closer to |
| 37 | commonly used programming languages, such as JavaScript, TypeScript and Java. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 38 | |
| 39 | The performance improvements can only be achieved by not being 100% backwards |
Bram Moolenaar | 8a3b805 | 2022-06-26 12:21:15 +0100 | [diff] [blame] | 40 | compatible. For example, making function arguments available in the "a:" |
| 41 | dictionary adds quite a lot of overhead. In a Vim9 function this dictionary |
| 42 | is not available. Other differences are more subtle, such as how errors are |
| 43 | handled. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 44 | |
| 45 | The Vim9 script syntax and semantics are used in: |
| 46 | - a function defined with the `:def` command |
| 47 | - a script file where the first command is `vim9script` |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 48 | - an autocommand defined in the context of the above |
Bram Moolenaar | 39f3b14 | 2021-02-14 12:57:36 +0100 | [diff] [blame] | 49 | - a command prefixed with the `vim9cmd` command modifier |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 50 | |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 51 | When using `:function` in a Vim9 script file the legacy syntax is used, with |
| 52 | the highest |scriptversion|. However, this can be confusing and is therefore |
| 53 | discouraged. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 54 | |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 55 | Vim9 script and legacy Vim script can be mixed. There is no requirement to |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 56 | rewrite old scripts, they keep working as before. You may want to use a few |
| 57 | `:def` functions for code that needs to be fast. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 58 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 59 | :vim9[cmd] {cmd} *:vim9* *:vim9cmd* *E1164* |
Bram Moolenaar | 5b1d6e9 | 2022-02-11 20:33:48 +0000 | [diff] [blame] | 60 | Evaluate and execute {cmd} using Vim9 script syntax and |
| 61 | semantics. Useful when typing a command and in a legacy |
| 62 | script or function. |
Bram Moolenaar | 39f3b14 | 2021-02-14 12:57:36 +0100 | [diff] [blame] | 63 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 64 | :leg[acy] {cmd} *:leg* *:legacy* *E1189* *E1234* |
Bram Moolenaar | 5b1d6e9 | 2022-02-11 20:33:48 +0000 | [diff] [blame] | 65 | Evaluate and execute {cmd} using legacy script syntax and |
| 66 | semantics. Only useful in a Vim9 script or a :def function. |
Bram Moolenaar | 96cf4ba | 2021-04-24 14:15:41 +0200 | [diff] [blame] | 67 | Note that {cmd} cannot use local variables, since it is parsed |
| 68 | with legacy expression syntax. |
| 69 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 70 | ============================================================================== |
| 71 | |
| 72 | 2. Differences from legacy Vim script *vim9-differences* |
| 73 | |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 74 | Overview ~ |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 75 | *E1146* |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 76 | Brief summary of the differences you will most often encounter when using Vim9 |
| 77 | script and `:def` functions; details are below: |
| 78 | - Comments start with #, not ": > |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 79 | echo "hello" # comment |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 80 | - Using a backslash for line continuation is hardly ever needed: > |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 81 | echo "hello " |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 82 | .. yourName |
| 83 | .. ", how are you?" |
Bram Moolenaar | 5da3605 | 2021-12-27 15:39:57 +0000 | [diff] [blame] | 84 | - White space is required in many places to improve readability. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 85 | - Assign values without `:let` *E1126* , declare variables with `:var`: > |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 86 | var count = 0 |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 87 | count += 3 |
| 88 | - Constants can be declared with `:final` and `:const`: > |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 89 | final matches = [] # add to the list later |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 90 | const names = ['Betty', 'Peter'] # cannot be changed |
| 91 | - `:final` cannot be used as an abbreviation of `:finally`. |
| 92 | - Variables and functions are script-local by default. |
| 93 | - Functions are declared with argument types and return type: > |
| 94 | def CallMe(count: number, message: string): bool |
| 95 | - Call functions without `:call`: > |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 96 | writefile(['done'], 'file.txt') |
Bram Moolenaar | 8acb9cc | 2022-03-08 13:18:55 +0000 | [diff] [blame] | 97 | - You cannot use old Ex commands: |
| 98 | `:Print` |
| 99 | `:append` |
| 100 | `:change` |
| 101 | `:d` directly followed by 'd' or 'p'. |
| 102 | `:insert` |
| 103 | `:k` |
| 104 | `:mode` |
| 105 | `:open` |
| 106 | `:s` with only flags |
| 107 | `:t` |
| 108 | `:xit` |
| 109 | - Some commands, especially those used for flow control, cannot be shortened. |
Bram Moolenaar | 9712ff1 | 2022-09-18 13:04:22 +0100 | [diff] [blame] | 110 | E.g., `:throw` cannot be written as `:th`. *vim9-no-shorten* |
Bram Moolenaar | 2286304 | 2021-10-16 15:23:36 +0100 | [diff] [blame] | 111 | - You cannot use curly-braces names. |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 112 | - A range before a command must be prefixed with a colon: > |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 113 | :%s/this/that |
Bram Moolenaar | 89a9c15 | 2021-08-29 21:55:35 +0200 | [diff] [blame] | 114 | - Executing a register with "@r" does not work, you can prepend a colon or use |
| 115 | `:exe`: > |
| 116 | :exe @a |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 117 | - Unless mentioned specifically, the highest |scriptversion| is used. |
Bram Moolenaar | fd31be2 | 2022-01-16 14:46:06 +0000 | [diff] [blame] | 118 | - When defining an expression mapping, the expression will be evaluated in the |
| 119 | context of the script where it was defined. |
Bram Moolenaar | d58a3bf | 2020-09-28 21:48:16 +0200 | [diff] [blame] | 120 | |
| 121 | |
Bram Moolenaar | 2c33043 | 2020-04-13 14:41:35 +0200 | [diff] [blame] | 122 | Comments starting with # ~ |
| 123 | |
Bram Moolenaar | f5be8cd | 2020-07-17 20:36:00 +0200 | [diff] [blame] | 124 | In legacy Vim script comments start with double quote. In Vim9 script |
| 125 | comments start with #. > |
| 126 | # declarations |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 127 | var count = 0 # number of occurrences |
Bram Moolenaar | 2c33043 | 2020-04-13 14:41:35 +0200 | [diff] [blame] | 128 | |
Bram Moolenaar | f5be8cd | 2020-07-17 20:36:00 +0200 | [diff] [blame] | 129 | The reason is that a double quote can also be the start of a string. In many |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 130 | places, especially halfway through an expression with a line break, it's hard |
| 131 | to tell what the meaning is, since both a string and a comment can be followed |
| 132 | by arbitrary text. To avoid confusion only # comments are recognized. This |
| 133 | is the same as in shell scripts and Python programs. |
Bram Moolenaar | f5be8cd | 2020-07-17 20:36:00 +0200 | [diff] [blame] | 134 | |
| 135 | In Vi # is a command to list text with numbers. In Vim9 script you can use |
| 136 | `:number` for that. > |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 137 | :101 number |
Bram Moolenaar | f5be8cd | 2020-07-17 20:36:00 +0200 | [diff] [blame] | 138 | |
| 139 | To improve readability there must be a space between a command and the # |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 140 | that starts a comment: > |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 141 | var name = value # comment |
| 142 | var name = value# error! |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 143 | < *E1170* |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 144 | Do not start a comment with #{, it looks like the legacy dictionary literal |
| 145 | and produces an error where this might be confusing. #{{ or #{{{ are OK, |
| 146 | these can be used to start a fold. |
| 147 | |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 148 | When starting to read a script file Vim doesn't know it is |Vim9| script until |
| 149 | the `vim9script` command is found. Until that point you would need to use |
| 150 | legacy comments: > |
| 151 | " legacy comment |
| 152 | vim9script |
| 153 | # Vim9 comment |
| 154 | |
| 155 | That looks ugly, better put `vim9script` in the very first line: > |
| 156 | vim9script |
| 157 | # Vim9 comment |
| 158 | |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 159 | In legacy Vim script # is also used for the alternate file name. In Vim9 |
| 160 | script you need to use %% instead. Instead of ## use %%% (stands for all |
| 161 | arguments). |
Bram Moolenaar | 2c7f8c5 | 2020-04-20 19:52:53 +0200 | [diff] [blame] | 162 | |
Bram Moolenaar | 2c33043 | 2020-04-13 14:41:35 +0200 | [diff] [blame] | 163 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 164 | Vim9 functions ~ |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 165 | *E1099* |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 166 | A function defined with `:def` is compiled. Execution is many times faster, |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 167 | often 10 to 100 times. |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 168 | |
Bram Moolenaar | 388a5d4 | 2020-05-26 21:20:45 +0200 | [diff] [blame] | 169 | Many errors are already found when compiling, before the function is executed. |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 170 | The syntax is strict, to enforce code that is easy to read and understand. |
| 171 | |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 172 | Compilation is done when any of these is encountered: |
Bram Moolenaar | 1b884a0 | 2020-12-10 21:11:27 +0100 | [diff] [blame] | 173 | - the first time the function is called |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 174 | - when the `:defcompile` command is encountered in the script after the |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 175 | function was defined |
| 176 | - `:disassemble` is used for the function. |
| 177 | - a function that is compiled calls the function or uses it as a function |
Bram Moolenaar | 89a9c15 | 2021-08-29 21:55:35 +0200 | [diff] [blame] | 178 | reference (so that the argument and return types can be checked) |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 179 | *E1091* *E1191* |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 180 | If compilation fails it is not tried again on the next call, instead this |
| 181 | error is given: "E1091: Function is not compiled: {name}". |
Bram Moolenaar | 4c29502 | 2021-05-02 17:19:11 +0200 | [diff] [blame] | 182 | Compilation will fail when encountering a user command that has not been |
| 183 | created yet. In this case you can call `execute()` to invoke it at runtime. > |
| 184 | def MyFunc() |
| 185 | execute('DefinedLater') |
| 186 | enddef |
Bram Moolenaar | 388a5d4 | 2020-05-26 21:20:45 +0200 | [diff] [blame] | 187 | |
| 188 | `:def` has no options like `:function` does: "range", "abort", "dict" or |
Bram Moolenaar | 1b884a0 | 2020-12-10 21:11:27 +0100 | [diff] [blame] | 189 | "closure". A `:def` function always aborts on an error (unless `:silent!` was |
Bram Moolenaar | fa3b723 | 2021-12-24 13:18:38 +0000 | [diff] [blame] | 190 | used for the command or the error was caught a `:try` block), does not get a |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 191 | range passed, cannot be a "dict" function, and can always be a closure. |
Bram Moolenaar | 89a9c15 | 2021-08-29 21:55:35 +0200 | [diff] [blame] | 192 | *vim9-no-dict-function* |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 193 | Later classes will be added, which replaces the "dict function" mechanism. |
| 194 | For now you will need to pass the dictionary explicitly: > |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 195 | def DictFunc(self: dict<any>, arg: string) |
| 196 | echo self[arg] |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 197 | enddef |
Bram Moolenaar | 46eea44 | 2022-03-30 10:51:39 +0100 | [diff] [blame] | 198 | var ad = {item: 'value', func: DictFunc} |
Bram Moolenaar | cbaff5e | 2022-04-08 17:45:08 +0100 | [diff] [blame] | 199 | ad.func(ad, 'item') |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 200 | |
Bram Moolenaar | 34cc7d8 | 2021-09-21 20:09:51 +0200 | [diff] [blame] | 201 | You can call a legacy dict function though: > |
| 202 | func Legacy() dict |
| 203 | echo self.value |
| 204 | endfunc |
| 205 | def CallLegacy() |
| 206 | var d = {func: Legacy, value: 'text'} |
| 207 | d.func() |
| 208 | enddef |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 209 | < *E1096* *E1174* *E1175* |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 210 | The argument types and return type need to be specified. The "any" type can |
| 211 | be used, type checking will then be done at runtime, like with legacy |
| 212 | functions. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 213 | *E1106* |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 214 | Arguments are accessed by name, without "a:", just like any other language. |
| 215 | There is no "a:" dictionary or "a:000" list. |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 216 | *vim9-variable-arguments* *E1055* *E1160* *E1180* |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 217 | Variable arguments are defined as the last argument, with a name and have a |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 218 | list type, similar to TypeScript. For example, a list of numbers: > |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 219 | def MyFunc(...itemlist: list<number>) |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 220 | for item in itemlist |
| 221 | ... |
| 222 | |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 223 | When a function argument is optional (it has a default value) passing `v:none` |
| 224 | as the argument results in using the default value. This is useful when you |
| 225 | want to specify a value for an argument that comes after an argument that |
| 226 | should use its default value. Example: > |
Bram Moolenaar | 2286304 | 2021-10-16 15:23:36 +0100 | [diff] [blame] | 227 | def MyFunc(one = 'one', last = 'last') |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 228 | ... |
| 229 | enddef |
| 230 | MyFunc(v:none, 'LAST') # first argument uses default value 'one' |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 231 | < |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 232 | *vim9-ignored-argument* *E1181* |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 233 | The argument "_" (an underscore) can be used to ignore the argument. This is |
| 234 | most useful in callbacks where you don't need it, but do need to give an |
| 235 | argument to match the call. E.g. when using map() two arguments are passed, |
| 236 | the key and the value, to ignore the key: > |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 237 | map(numberList, (_, v) => v * 2) |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 238 | There is no error for using the "_" argument multiple times. No type needs to |
| 239 | be given. |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 240 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 241 | |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 242 | Functions and variables are script-local by default ~ |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 243 | *vim9-scopes* |
Bram Moolenaar | 2c7f8c5 | 2020-04-20 19:52:53 +0200 | [diff] [blame] | 244 | When using `:function` or `:def` to specify a new function at the script level |
Bram Moolenaar | 92f645b | 2022-02-11 13:29:40 +0000 | [diff] [blame] | 245 | in a Vim9 script, the function is local to the script. Like prefixing "s:" in |
| 246 | legacy script. To define a global function or variable the "g:" prefix must |
| 247 | be used. For functions in a script that is to be imported and in an autoload |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 248 | script "export" needs to be used for those to be used elsewhere. > |
Bram Moolenaar | ea2d8d2 | 2020-07-29 22:11:05 +0200 | [diff] [blame] | 249 | def ThisFunction() # script-local |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 250 | def g:ThatFunction() # global |
Bram Moolenaar | 9da17d7 | 2022-02-09 21:50:44 +0000 | [diff] [blame] | 251 | export def Function() # for import and import autoload |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 252 | < *E1058* *E1075* |
Bram Moolenaar | 2bb2658 | 2020-10-03 22:52:39 +0200 | [diff] [blame] | 253 | When using `:function` or `:def` to specify a nested function inside a `:def` |
Bram Moolenaar | 4700398 | 2021-12-05 21:54:04 +0000 | [diff] [blame] | 254 | function and no namespace was given, this nested function is local to the code |
Bram Moolenaar | c51cf03 | 2022-02-26 12:25:45 +0000 | [diff] [blame] | 255 | block it is defined in. It cannot be used in `function()` with a string |
| 256 | argument, pass the function reference itself: > |
| 257 | def Outer() |
| 258 | def Inner() |
| 259 | echo 'inner' |
| 260 | enddef |
| 261 | var Fok = function(Inner) # OK |
| 262 | var Fbad = function('Inner') # does not work |
| 263 | |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 264 | Detail: this is because "Inner" will actually become a function reference to a |
| 265 | function with a generated name. |
| 266 | |
| 267 | It is not possible to define a script-local function in a function. You can |
| 268 | define a local function and assign it to a script-local funcref (it must have |
| 269 | been declared at the script level). It is possible to define a global |
| 270 | function by using the "g:" prefix. |
Bram Moolenaar | 2c7f8c5 | 2020-04-20 19:52:53 +0200 | [diff] [blame] | 271 | |
| 272 | When referring to a function and no "s:" or "g:" prefix is used, Vim will |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 273 | search for the function: |
Bram Moolenaar | 4f4d51a | 2020-10-11 13:57:40 +0200 | [diff] [blame] | 274 | - in the function scope, in block scopes |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 275 | - in the script scope |
| 276 | |
| 277 | Imported functions are found with the prefix from the `:import` command. |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 278 | |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 279 | Since a script-local function reference can be used without "s:" the name must |
Bram Moolenaar | dad4473 | 2021-03-31 20:07:33 +0200 | [diff] [blame] | 280 | start with an upper case letter even when using the "s:" prefix. In legacy |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 281 | script "s:funcref" could be used, because it could not be referred to with |
| 282 | "funcref". In Vim9 script it can, therefore "s:Funcref" must be used to avoid |
| 283 | that the name interferes with builtin functions. |
Bram Moolenaar | 2ecbe53 | 2022-07-29 21:36:21 +0100 | [diff] [blame] | 284 | *vim9-s-namespace* *E1268* |
Bram Moolenaar | 92f645b | 2022-02-11 13:29:40 +0000 | [diff] [blame] | 285 | The use of the "s:" prefix is not supported at the Vim9 script level. All |
| 286 | functions and variables without a prefix are script-local. |
Bram Moolenaar | afa048f | 2022-02-22 20:43:36 +0000 | [diff] [blame] | 287 | |
| 288 | In :def functions the use of "s:" depends on the script: Script-local |
| 289 | variables and functions in a legacy script do use "s:", while in a Vim9 script |
| 290 | they do not use "s:". This matches what you see in the rest of the file. |
| 291 | |
Bram Moolenaar | 92f645b | 2022-02-11 13:29:40 +0000 | [diff] [blame] | 292 | In legacy functions the use of "s:" for script items is required, as before. |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 293 | No matter if the script is Vim9 or legacy. |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 294 | |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 295 | In all cases the function must be defined before used. That is when it is |
Bram Moolenaar | cb80aa2 | 2020-10-26 21:12:46 +0100 | [diff] [blame] | 296 | called, when `:defcompile` causes it to be compiled, or when code that calls |
| 297 | it is being compiled (to figure out the return type). |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 298 | |
Bram Moolenaar | e7b1ea0 | 2020-08-07 19:54:59 +0200 | [diff] [blame] | 299 | The result is that functions and variables without a namespace can usually be |
Bram Moolenaar | 7ceefb3 | 2020-05-01 16:07:38 +0200 | [diff] [blame] | 300 | found in the script, either defined there or imported. Global functions and |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 301 | variables could be defined anywhere (good luck finding out where! You can |
| 302 | often see where it was last set using |:verbose|). |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 303 | *E1102* |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 304 | Global functions can still be defined and deleted at nearly any time. In |
Bram Moolenaar | 2cfb4a2 | 2020-05-07 18:56:00 +0200 | [diff] [blame] | 305 | Vim9 script script-local functions are defined once when the script is sourced |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 306 | and cannot be deleted or replaced by itself (it can be by reloading the |
| 307 | script). |
Bram Moolenaar | 2c7f8c5 | 2020-04-20 19:52:53 +0200 | [diff] [blame] | 308 | |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 309 | When compiling a function and a function call is encountered for a function |
| 310 | that is not (yet) defined, the |FuncUndefined| autocommand is not triggered. |
| 311 | You can use an autoload function if needed, or call a legacy function and have |
| 312 | |FuncUndefined| triggered there. |
| 313 | |
Bram Moolenaar | 2c7f8c5 | 2020-04-20 19:52:53 +0200 | [diff] [blame] | 314 | |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 315 | Reloading a Vim9 script clears functions and variables by default ~ |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 316 | *vim9-reload* *E1149* *E1150* |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 317 | When loading a legacy Vim script a second time nothing is removed, the |
Bram Moolenaar | 30ab04e | 2022-05-14 13:33:50 +0100 | [diff] [blame] | 318 | commands will replace existing variables and functions, create new ones, and |
| 319 | leave removed things hanging around. |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 320 | |
| 321 | When loading a Vim9 script a second time all existing script-local functions |
| 322 | and variables are deleted, thus you start with a clean slate. This is useful |
| 323 | if you are developing a plugin and want to try a new version. If you renamed |
| 324 | something you don't have to worry about the old name still hanging around. |
| 325 | |
| 326 | If you do want to keep items, use: > |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 327 | vim9script noclear |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 328 | |
| 329 | You want to use this in scripts that use a `finish` command to bail out at |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 330 | some point when loaded again. E.g. when a buffer local option is set to a |
| 331 | function, the function does not need to be defined more than once: > |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 332 | vim9script noclear |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 333 | setlocal completefunc=SomeFunc |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 334 | if exists('*SomeFunc') |
Bram Moolenaar | 9da17d7 | 2022-02-09 21:50:44 +0000 | [diff] [blame] | 335 | finish |
| 336 | endif |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 337 | def SomeFunc() |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 338 | .... |
| 339 | |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 340 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 341 | Variable declarations with :var, :final and :const ~ |
Bram Moolenaar | 8acb9cc | 2022-03-08 13:18:55 +0000 | [diff] [blame] | 342 | *vim9-declaration* *:var* *E1079* |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 343 | *E1017* *E1020* *E1054* *E1087* *E1108* *E1124* |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 344 | Local variables need to be declared with `:var`. Local constants need to be |
| 345 | declared with `:final` or `:const`. We refer to both as "variables" in this |
| 346 | section. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 347 | |
| 348 | Variables can be local to a script, function or code block: > |
| 349 | vim9script |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 350 | var script_var = 123 |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 351 | def SomeFunc() |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 352 | var func_var = script_var |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 353 | if cond |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 354 | var block_var = func_var |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 355 | ... |
| 356 | |
| 357 | The variables are only visible in the block where they are defined and nested |
| 358 | blocks. Once the block ends the variable is no longer accessible: > |
| 359 | if cond |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 360 | var inner = 5 |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 361 | else |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 362 | var inner = 0 |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 363 | endif |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 364 | echo inner # Error! |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 365 | |
| 366 | The declaration must be done earlier: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 367 | var inner: number |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 368 | if cond |
| 369 | inner = 5 |
| 370 | else |
| 371 | inner = 0 |
| 372 | endif |
| 373 | echo inner |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 374 | |
| 375 | Although this is shorter and faster for simple values: > |
| 376 | var inner = 0 |
| 377 | if cond |
| 378 | inner = 5 |
| 379 | endif |
| 380 | echo inner |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 381 | < *E1025* *E1128* |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 382 | To intentionally hide a variable from code that follows, a block can be |
| 383 | used: > |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 384 | { |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 385 | var temp = 'temp' |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 386 | ... |
| 387 | } |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 388 | echo temp # Error! |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 389 | |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 390 | This is especially useful in a user command: > |
| 391 | |
| 392 | command -range Rename { |
Bram Moolenaar | 6aa5729 | 2021-08-14 21:25:52 +0200 | [diff] [blame] | 393 | var save = @a |
| 394 | @a = 'some expression' |
| 395 | echo 'do something with ' .. @a |
| 396 | @a = save |
| 397 | } |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 398 | |
| 399 | And with autocommands: > |
| 400 | |
| 401 | au BufWritePre *.go { |
Bram Moolenaar | 6aa5729 | 2021-08-14 21:25:52 +0200 | [diff] [blame] | 402 | var save = winsaveview() |
| 403 | silent! exe ':%! some formatting command' |
| 404 | winrestview(save) |
| 405 | } |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 406 | |
| 407 | Although using a :def function probably works better. |
Bram Moolenaar | 46eea44 | 2022-03-30 10:51:39 +0100 | [diff] [blame] | 408 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 409 | *E1022* *E1103* *E1130* *E1131* *E1133* |
Dominique Pelle | 7765f5c | 2022-04-10 11:26:53 +0100 | [diff] [blame] | 410 | *E1134* |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 411 | Declaring a variable with a type but without an initializer will initialize to |
Bram Moolenaar | 1f318c6 | 2021-12-26 18:09:31 +0000 | [diff] [blame] | 412 | false (for bool), empty (for string, list, dict, etc.) or zero (for number, |
| 413 | any, etc.). This matters especially when using the "any" type, the value will |
Bram Moolenaar | 46eea44 | 2022-03-30 10:51:39 +0100 | [diff] [blame] | 414 | default to the number zero. For example, when declaring a list, items can be |
| 415 | added: > |
| 416 | var myList: list<number> |
| 417 | myList->add(7) |
| 418 | |
| 419 | Initializing a variable to a null value, e.g. `null_list`, differs from not |
| 420 | initializing the variable. This throws an error: > |
| 421 | var myList = null_list |
| 422 | myList->add(7) # E1130: Cannot add to null list |
| 423 | |
| 424 | < *E1016* *E1052* *E1066* |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 425 | In Vim9 script `:let` cannot be used. An existing variable is assigned to |
| 426 | without any command. The same for global, window, tab, buffer and Vim |
Bram Moolenaar | 5da3605 | 2021-12-27 15:39:57 +0000 | [diff] [blame] | 427 | variables, because they are not really declared. Those can also be deleted |
Bram Moolenaar | f5a4801 | 2020-08-01 17:00:03 +0200 | [diff] [blame] | 428 | with `:unlet`. |
Bram Moolenaar | 8acb9cc | 2022-03-08 13:18:55 +0000 | [diff] [blame] | 429 | *E1065* |
| 430 | You cannot use `:va` to declare a variable, it must be written with the full |
| 431 | name `:var`. Just to make sure it is easy to read. |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 432 | *E1178* |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 433 | `:lockvar` does not work on local variables. Use `:const` and `:final` |
| 434 | instead. |
| 435 | |
Bram Moolenaar | 6aa5729 | 2021-08-14 21:25:52 +0200 | [diff] [blame] | 436 | The `exists()` and `exists_compiled()` functions do not work on local variables |
| 437 | or arguments. |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 438 | *E1006* *E1041* *E1167* *E1168* *E1213* |
Bram Moolenaar | 9faec4e | 2021-02-27 16:38:07 +0100 | [diff] [blame] | 439 | Variables, functions and function arguments cannot shadow previously defined |
| 440 | or imported variables and functions in the same script file. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 441 | Variables may shadow Ex commands, rename the variable if needed. |
| 442 | |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 443 | Global variables must be prefixed with "g:", also at the script level. > |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 444 | vim9script |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 445 | var script_local = 'text' |
Bram Moolenaar | 2547aa9 | 2020-07-26 17:00:44 +0200 | [diff] [blame] | 446 | g:global = 'value' |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 447 | var Funcref = g:ThatFunction |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 448 | |
Bram Moolenaar | c4573eb | 2022-01-31 15:40:56 +0000 | [diff] [blame] | 449 | Global functions must be prefixed with "g:": > |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 450 | vim9script |
| 451 | def g:GlobalFunc(): string |
| 452 | return 'text' |
| 453 | enddef |
Bram Moolenaar | c4573eb | 2022-01-31 15:40:56 +0000 | [diff] [blame] | 454 | echo g:GlobalFunc() |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 455 | The "g:" prefix is not needed for auto-load functions. |
| 456 | |
Bram Moolenaar | 6aa5729 | 2021-08-14 21:25:52 +0200 | [diff] [blame] | 457 | *vim9-function-defined-later* |
| 458 | Although global functions can be called without the "g:" prefix, they must |
| 459 | exist when compiled. By adding the "g:" prefix the function can be defined |
| 460 | later. Example: > |
| 461 | def CallPluginFunc() |
| 462 | if exists('g:loaded_plugin') |
| 463 | g:PluginFunc() |
| 464 | endif |
| 465 | enddef |
| 466 | |
Bram Moolenaar | b79ee0c | 2022-01-01 12:17:00 +0000 | [diff] [blame] | 467 | If you do it like this, you get an error at compile time that "PluginFunc" |
| 468 | does not exist, even when "g:loaded_plugin" does not exist: > |
Bram Moolenaar | 6aa5729 | 2021-08-14 21:25:52 +0200 | [diff] [blame] | 469 | def CallPluginFunc() |
| 470 | if exists('g:loaded_plugin') |
| 471 | PluginFunc() # Error - function not found |
| 472 | endif |
| 473 | enddef |
| 474 | |
| 475 | You can use exists_compiled() to avoid the error, but then the function would |
| 476 | not be called, even when "g:loaded_plugin" is defined later: > |
| 477 | def CallPluginFunc() |
| 478 | if exists_compiled('g:loaded_plugin') |
| 479 | PluginFunc() # Function may never be called |
| 480 | endif |
| 481 | enddef |
| 482 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 483 | Since `&opt = value` is now assigning a value to option "opt", ":&" cannot be |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 484 | used to repeat a `:substitute` command. |
Bram Moolenaar | 56994d2 | 2021-04-17 16:31:09 +0200 | [diff] [blame] | 485 | *vim9-unpack-ignore* |
Bram Moolenaar | f93bbd0 | 2021-04-10 22:35:43 +0200 | [diff] [blame] | 486 | For an unpack assignment the underscore can be used to ignore a list item, |
| 487 | similar to how a function argument can be ignored: > |
| 488 | [a, _, c] = theList |
Bram Moolenaar | 56994d2 | 2021-04-17 16:31:09 +0200 | [diff] [blame] | 489 | To ignore any remaining items: > |
Bram Moolenaar | f93bbd0 | 2021-04-10 22:35:43 +0200 | [diff] [blame] | 490 | [a, b; _] = longList |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 491 | < *E1163* *E1080* |
Bram Moolenaar | f93bbd0 | 2021-04-10 22:35:43 +0200 | [diff] [blame] | 492 | Declaring more than one variable at a time, using the unpack notation, is |
Bram Moolenaar | ab36e6a | 2021-11-30 16:14:49 +0000 | [diff] [blame] | 493 | possible. Each variable can have a type or infer it from the value: > |
| 494 | var [v1: number, v2] = GetValues() |
| 495 | Use this only when there is a list with values, declaring one variable per |
| 496 | line is much easier to read and change later. |
Bram Moolenaar | f93bbd0 | 2021-04-10 22:35:43 +0200 | [diff] [blame] | 497 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 498 | |
| 499 | Constants ~ |
| 500 | *vim9-const* *vim9-final* |
| 501 | How constants work varies between languages. Some consider a variable that |
| 502 | can't be assigned another value a constant. JavaScript is an example. Others |
| 503 | also make the value immutable, thus when a constant uses a list, the list |
| 504 | cannot be changed. In Vim9 we can use both. |
Bram Moolenaar | f269eab | 2022-10-03 18:04:35 +0100 | [diff] [blame] | 505 | *E1021* *E1307* |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 506 | `:const` is used for making both the variable and the value a constant. Use |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 507 | this for composite structures that you want to make sure will not be modified. |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 508 | Example: > |
| 509 | const myList = [1, 2] |
| 510 | myList = [3, 4] # Error! |
| 511 | myList[0] = 9 # Error! |
Bram Moolenaar | 9faec4e | 2021-02-27 16:38:07 +0100 | [diff] [blame] | 512 | myList->add(3) # Error! |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 513 | < *:final* *E1125* |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 514 | `:final` is used for making only the variable a constant, the value can be |
| 515 | changed. This is well known from Java. Example: > |
| 516 | final myList = [1, 2] |
| 517 | myList = [3, 4] # Error! |
| 518 | myList[0] = 9 # OK |
Bram Moolenaar | 9faec4e | 2021-02-27 16:38:07 +0100 | [diff] [blame] | 519 | myList->add(3) # OK |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 520 | |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 521 | It is common to write constants as ALL_CAPS, but you don't have to. |
| 522 | |
| 523 | The constant only applies to the value itself, not what it refers to. > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 524 | final females = ["Mary"] |
| 525 | const NAMES = [["John", "Peter"], females] |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 526 | NAMES[0] = ["Jack"] # Error! |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 527 | NAMES[0][0] = "Jack" # Error! |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 528 | NAMES[1] = ["Emma"] # Error! |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 529 | NAMES[1][0] = "Emma" # OK, now females[0] == "Emma" |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 530 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 531 | |
| 532 | Omitting :call and :eval ~ |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 533 | *E1190* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 534 | Functions can be called without `:call`: > |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 535 | writefile(lines, 'file') |
Bram Moolenaar | 560979e | 2020-02-04 22:53:05 +0100 | [diff] [blame] | 536 | Using `:call` is still possible, but this is discouraged. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 537 | |
| 538 | A method call without `eval` is possible, so long as the start is an |
Bram Moolenaar | 0289a09 | 2021-03-14 18:40:19 +0100 | [diff] [blame] | 539 | identifier or can't be an Ex command. For a function either "(" or "->" must |
| 540 | be following, without a line break. Examples: > |
Bram Moolenaar | ae61649 | 2020-07-28 20:07:27 +0200 | [diff] [blame] | 541 | myList->add(123) |
| 542 | g:myList->add(123) |
| 543 | [1, 2, 3]->Process() |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 544 | {a: 1, b: 2}->Process() |
Bram Moolenaar | ae61649 | 2020-07-28 20:07:27 +0200 | [diff] [blame] | 545 | "foobar"->Process() |
| 546 | ("foobar")->Process() |
| 547 | 'foobar'->Process() |
| 548 | ('foobar')->Process() |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 549 | |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 550 | In the rare case there is ambiguity between a function name and an Ex command, |
Bram Moolenaar | e7b1ea0 | 2020-08-07 19:54:59 +0200 | [diff] [blame] | 551 | prepend ":" to make clear you want to use the Ex command. For example, there |
| 552 | is both the `:substitute` command and the `substitute()` function. When the |
| 553 | line starts with `substitute(` this will use the function. Prepend a colon to |
| 554 | use the command instead: > |
Bram Moolenaar | 0c6ceaf | 2020-02-22 18:36:32 +0100 | [diff] [blame] | 555 | :substitute(pattern (replacement ( |
Bram Moolenaar | 5b1c8fe | 2020-02-21 18:42:43 +0100 | [diff] [blame] | 556 | |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 557 | If the expression starts with "!" this is interpreted as a shell command, not |
| 558 | negation of a condition. Thus this is a shell command: > |
| 559 | !shellCommand->something |
Bram Moolenaar | 89a9c15 | 2021-08-29 21:55:35 +0200 | [diff] [blame] | 560 | Put the expression in parentheses to use the "!" for negation: > |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 561 | (!expression)->Method() |
| 562 | |
Bram Moolenaar | cc390ff | 2020-02-29 22:06:30 +0100 | [diff] [blame] | 563 | Note that while variables need to be defined before they can be used, |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 564 | functions can be called before being defined. This is required to allow |
| 565 | for cyclic dependencies between functions. It is slightly less efficient, |
Bram Moolenaar | cc390ff | 2020-02-29 22:06:30 +0100 | [diff] [blame] | 566 | since the function has to be looked up by name. And a typo in the function |
Bram Moolenaar | ae61649 | 2020-07-28 20:07:27 +0200 | [diff] [blame] | 567 | name will only be found when the function is called. |
Bram Moolenaar | cc390ff | 2020-02-29 22:06:30 +0100 | [diff] [blame] | 568 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 569 | |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 570 | Omitting function() ~ |
| 571 | |
| 572 | A user defined function can be used as a function reference in an expression |
| 573 | without `function()`. The argument types and return type will then be checked. |
| 574 | The function must already have been defined. > |
| 575 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 576 | var Funcref = MyFunction |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 577 | |
| 578 | When using `function()` the resulting type is "func", a function with any |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 579 | number of arguments and any return type (including void). The function can be |
Bram Moolenaar | fa3b723 | 2021-12-24 13:18:38 +0000 | [diff] [blame] | 580 | defined later if the argument is in quotes. |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 581 | |
| 582 | |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 583 | Lambda using => instead of -> ~ |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 584 | *vim9-lambda* |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 585 | In legacy script there can be confusion between using "->" for a method call |
| 586 | and for a lambda. Also, when a "{" is found the parser needs to figure out if |
| 587 | it is the start of a lambda or a dictionary, which is now more complicated |
| 588 | because of the use of argument types. |
| 589 | |
| 590 | To avoid these problems Vim9 script uses a different syntax for a lambda, |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 591 | which is similar to JavaScript: > |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 592 | var Lambda = (arg) => expression |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 593 | var Lambda = (arg): type => expression |
| 594 | < *E1157* |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 595 | No line break is allowed in the arguments of a lambda up to and including the |
Bram Moolenaar | 4d8f476 | 2021-06-27 15:18:56 +0200 | [diff] [blame] | 596 | "=>" (so that Vim can tell the difference between an expression in parentheses |
Bram Moolenaar | 2346a63 | 2021-06-13 19:02:49 +0200 | [diff] [blame] | 597 | and lambda arguments). This is OK: > |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 598 | filter(list, (k, v) => |
| 599 | v > 0) |
| 600 | This does not work: > |
| 601 | filter(list, (k, v) |
| 602 | => v > 0) |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 603 | This also does not work: > |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 604 | filter(list, (k, |
| 605 | v) => v > 0) |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 606 | But you can use a backslash to concatenate the lines before parsing: > |
| 607 | filter(list, (k, |
| 608 | \ v) |
| 609 | \ => v > 0) |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 610 | < *vim9-lambda-arguments* *E1172* |
Bram Moolenaar | 962c43b | 2021-04-10 17:18:09 +0200 | [diff] [blame] | 611 | In legacy script a lambda could be called with any number of extra arguments, |
| 612 | there was no way to warn for not using them. In Vim9 script the number of |
| 613 | arguments must match. If you do want to accept any arguments, or any further |
| 614 | arguments, use "..._", which makes the function accept |
| 615 | |vim9-variable-arguments|. Example: > |
| 616 | var Callback = (..._) => 'anything' |
| 617 | echo Callback(1, 2, 3) # displays "anything" |
| 618 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 619 | < *inline-function* *E1171* |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 620 | Additionally, a lambda can contain statements in {}: > |
| 621 | var Lambda = (arg) => { |
| 622 | g:was_called = 'yes' |
| 623 | return expression |
| 624 | } |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 625 | This can be useful for a timer, for example: > |
| 626 | var count = 0 |
| 627 | var timer = timer_start(500, (_) => { |
| 628 | count += 1 |
| 629 | echom 'Handler called ' .. count |
| 630 | }, {repeat: 3}) |
| 631 | |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 632 | The ending "}" must be at the start of a line. It can be followed by other |
| 633 | characters, e.g.: > |
| 634 | var d = mapnew(dict, (k, v): string => { |
| 635 | return 'value' |
| 636 | }) |
| 637 | No command can follow the "{", only a comment can be used there. |
| 638 | |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 639 | *command-block* *E1026* |
Bram Moolenaar | 259f443 | 2021-12-17 12:45:22 +0000 | [diff] [blame] | 640 | The block can also be used for defining a user command. Inside the block Vim9 |
| 641 | syntax will be used. |
| 642 | |
Bram Moolenaar | 0e6adf8 | 2021-12-16 14:41:10 +0000 | [diff] [blame] | 643 | If the statements include a dictionary, its closing bracket must not be |
| 644 | written at the start of a line. Otherwise, it would be parsed as the end of |
| 645 | the block. This does not work: > |
| 646 | command NewCommand { |
Bram Moolenaar | 259f443 | 2021-12-17 12:45:22 +0000 | [diff] [blame] | 647 | g:mydict = { |
Bram Moolenaar | 0e6adf8 | 2021-12-16 14:41:10 +0000 | [diff] [blame] | 648 | 'key': 'value', |
| 649 | } # ERROR: will be recognized as the end of the block |
| 650 | } |
| 651 | Put the '}' after the last item to avoid this: > |
| 652 | command NewCommand { |
Bram Moolenaar | 259f443 | 2021-12-17 12:45:22 +0000 | [diff] [blame] | 653 | g:mydict = { |
Bram Moolenaar | 0e6adf8 | 2021-12-16 14:41:10 +0000 | [diff] [blame] | 654 | 'key': 'value' } |
| 655 | } |
| 656 | |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 657 | Rationale: The "}" cannot be after a command because it would require parsing |
| 658 | the commands to find it. For consistency with that no command can follow the |
| 659 | "{". Unfortunately this means using "() => { command }" does not work, line |
| 660 | breaks are always required. |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 661 | |
Bram Moolenaar | e0e3917 | 2021-01-25 21:14:57 +0100 | [diff] [blame] | 662 | *vim9-curly* |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 663 | To avoid the "{" of a dictionary literal to be recognized as a statement block |
Bram Moolenaar | 9faec4e | 2021-02-27 16:38:07 +0100 | [diff] [blame] | 664 | wrap it in parentheses: > |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 665 | var Lambda = (arg) => ({key: 42}) |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 666 | |
Bram Moolenaar | e0e3917 | 2021-01-25 21:14:57 +0100 | [diff] [blame] | 667 | Also when confused with the start of a command block: > |
| 668 | ({ |
| 669 | key: value |
| 670 | })->method() |
| 671 | |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 672 | |
Bram Moolenaar | 4fdae99 | 2020-04-12 16:38:57 +0200 | [diff] [blame] | 673 | Automatic line continuation ~ |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 674 | *vim9-line-continuation* *E1097* |
Bram Moolenaar | 4fdae99 | 2020-04-12 16:38:57 +0200 | [diff] [blame] | 675 | In many cases it is obvious that an expression continues on the next line. In |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 676 | those cases there is no need to prefix the line with a backslash (see |
| 677 | |line-continuation|). For example, when a list spans multiple lines: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 678 | var mylist = [ |
Bram Moolenaar | 4fdae99 | 2020-04-12 16:38:57 +0200 | [diff] [blame] | 679 | 'one', |
| 680 | 'two', |
| 681 | ] |
Bram Moolenaar | e6085c5 | 2020-04-12 20:19:16 +0200 | [diff] [blame] | 682 | And when a dict spans multiple lines: > |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 683 | var mydict = { |
Bram Moolenaar | e6085c5 | 2020-04-12 20:19:16 +0200 | [diff] [blame] | 684 | one: 1, |
| 685 | two: 2, |
| 686 | } |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 687 | With a function call: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 688 | var result = Func( |
Bram Moolenaar | e6085c5 | 2020-04-12 20:19:16 +0200 | [diff] [blame] | 689 | arg1, |
| 690 | arg2 |
| 691 | ) |
| 692 | |
Bram Moolenaar | df069ee | 2020-06-22 23:02:51 +0200 | [diff] [blame] | 693 | For binary operators in expressions not in [], {} or () a line break is |
| 694 | possible just before or after the operator. For example: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 695 | var text = lead |
Bram Moolenaar | df069ee | 2020-06-22 23:02:51 +0200 | [diff] [blame] | 696 | .. middle |
| 697 | .. end |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 698 | var total = start + |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 699 | end - |
Bram Moolenaar | 9c7e6dd | 2020-04-12 20:55:20 +0200 | [diff] [blame] | 700 | correction |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 701 | var result = positive |
Bram Moolenaar | df069ee | 2020-06-22 23:02:51 +0200 | [diff] [blame] | 702 | ? PosFunc(arg) |
| 703 | : NegFunc(arg) |
Bram Moolenaar | 9c7e6dd | 2020-04-12 20:55:20 +0200 | [diff] [blame] | 704 | |
Bram Moolenaar | 2547aa9 | 2020-07-26 17:00:44 +0200 | [diff] [blame] | 705 | For a method call using "->" and a member using a dot, a line break is allowed |
| 706 | before it: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 707 | var result = GetBuilder() |
Bram Moolenaar | 73fef33 | 2020-06-21 22:12:03 +0200 | [diff] [blame] | 708 | ->BuilderSetWidth(333) |
| 709 | ->BuilderSetHeight(777) |
| 710 | ->BuilderBuild() |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 711 | var result = MyDict |
Bram Moolenaar | 2547aa9 | 2020-07-26 17:00:44 +0200 | [diff] [blame] | 712 | .member |
Bram Moolenaar | 73fef33 | 2020-06-21 22:12:03 +0200 | [diff] [blame] | 713 | |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 714 | For commands that have an argument that is a list of commands, the | character |
| 715 | at the start of the line indicates line continuation: > |
| 716 | autocmd BufNewFile *.match if condition |
| 717 | | echo 'match' |
| 718 | | endif |
| 719 | |
Bram Moolenaar | 2286304 | 2021-10-16 15:23:36 +0100 | [diff] [blame] | 720 | Note that this means that in heredoc the first line cannot start with a bar: > |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 721 | var lines =<< trim END |
| 722 | | this doesn't work |
| 723 | END |
| 724 | Either use an empty line at the start or do not use heredoc. Or temporarily |
| 725 | add the "C" flag to 'cpoptions': > |
| 726 | set cpo+=C |
| 727 | var lines =<< trim END |
Bram Moolenaar | 2286304 | 2021-10-16 15:23:36 +0100 | [diff] [blame] | 728 | | this works |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 729 | END |
| 730 | set cpo-=C |
| 731 | If the heredoc is inside a function 'cpoptions' must be set before :def and |
| 732 | restored after the :enddef. |
| 733 | |
| 734 | In places where line continuation with a backslash is still needed, such as |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 735 | splitting up a long Ex command, comments can start with '#\ ': > |
| 736 | syn region Text |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 737 | \ start='foo' |
| 738 | #\ comment |
| 739 | \ end='bar' |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 740 | Like with legacy script '"\ ' is used. This is also needed when line |
| 741 | continuation is used without a backslash and a line starts with a bar: > |
| 742 | au CursorHold * echom 'BEFORE bar' |
| 743 | #\ some comment |
| 744 | | echom 'AFTER bar' |
| 745 | < |
| 746 | *E1050* |
Bram Moolenaar | df069ee | 2020-06-22 23:02:51 +0200 | [diff] [blame] | 747 | To make it possible for the operator at the start of the line to be |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 748 | recognized, it is required to put a colon before a range. This example will |
| 749 | add "start" and print: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 750 | var result = start |
Bram Moolenaar | df069ee | 2020-06-22 23:02:51 +0200 | [diff] [blame] | 751 | + print |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 752 | Like this: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 753 | var result = start + print |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 754 | |
Bram Moolenaar | df069ee | 2020-06-22 23:02:51 +0200 | [diff] [blame] | 755 | This will assign "start" and print a line: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 756 | var result = start |
Bram Moolenaar | df069ee | 2020-06-22 23:02:51 +0200 | [diff] [blame] | 757 | :+ print |
Bram Moolenaar | 4fdae99 | 2020-04-12 16:38:57 +0200 | [diff] [blame] | 758 | |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 759 | After the range an Ex command must follow. Without the colon you can call a |
| 760 | function without `:call`, but after a range you do need it: > |
| 761 | MyFunc() |
| 762 | :% call MyFunc() |
| 763 | |
Bram Moolenaar | 23515b4 | 2020-11-29 14:36:24 +0100 | [diff] [blame] | 764 | Note that the colon is not required for the |+cmd| argument: > |
| 765 | edit +6 fname |
| 766 | |
Bram Moolenaar | 5e774c7 | 2020-04-12 21:53:00 +0200 | [diff] [blame] | 767 | It is also possible to split a function header over multiple lines, in between |
| 768 | arguments: > |
| 769 | def MyFunc( |
| 770 | text: string, |
| 771 | separator = '-' |
| 772 | ): string |
| 773 | |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 774 | Since a continuation line cannot be easily recognized the parsing of commands |
Bram Moolenaar | 65c4415 | 2020-12-24 15:14:01 +0100 | [diff] [blame] | 775 | has been made stricter. E.g., because of the error in the first line, the |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 776 | second line is seen as a separate command: > |
| 777 | popup_create(some invalid expression, { |
| 778 | exit_cb: Func}) |
| 779 | Now "exit_cb: Func})" is actually a valid command: save any changes to the |
| 780 | file "_cb: Func})" and exit. To avoid this kind of mistake in Vim9 script |
| 781 | there must be white space between most command names and the argument. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 782 | *E1144* |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 783 | |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 784 | However, the argument of a command that is a command won't be recognized. For |
| 785 | example, after "windo echo expr" a line break inside "expr" will not be seen. |
| 786 | |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 787 | |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 788 | Notes: |
| 789 | - "enddef" cannot be used at the start of a continuation line, it ends the |
| 790 | current function. |
| 791 | - No line break is allowed in the LHS of an assignment. Specifically when |
| 792 | unpacking a list |:let-unpack|. This is OK: > |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 793 | [var1, var2] = |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 794 | Func() |
| 795 | < This does not work: > |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 796 | [var1, |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 797 | var2] = |
| 798 | Func() |
| 799 | - No line break is allowed in between arguments of an `:echo`, `:execute` and |
| 800 | similar commands. This is OK: > |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 801 | echo [1, |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 802 | 2] [3, |
| 803 | 4] |
| 804 | < This does not work: > |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 805 | echo [1, 2] |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 806 | [3, 4] |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 807 | - In some cases it is difficult for Vim to parse a command, especially when |
| 808 | commands are used as an argument to another command, such as `windo`. In |
| 809 | those cases the line continuation with a backslash has to be used. |
Bram Moolenaar | 4fdae99 | 2020-04-12 16:38:57 +0200 | [diff] [blame] | 810 | |
Bram Moolenaar | 4c29502 | 2021-05-02 17:19:11 +0200 | [diff] [blame] | 811 | |
| 812 | White space ~ |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 813 | *E1004* *E1068* *E1069* *E1074* *E1127* *E1202* |
Bram Moolenaar | 4c29502 | 2021-05-02 17:19:11 +0200 | [diff] [blame] | 814 | Vim9 script enforces proper use of white space. This is no longer allowed: > |
| 815 | var name=234 # Error! |
| 816 | var name= 234 # Error! |
| 817 | var name =234 # Error! |
| 818 | There must be white space before and after the "=": > |
| 819 | var name = 234 # OK |
| 820 | White space must also be put before the # that starts a comment after a |
| 821 | command: > |
| 822 | var name = 234# Error! |
| 823 | var name = 234 # OK |
| 824 | |
| 825 | White space is required around most operators. |
| 826 | |
| 827 | White space is required in a sublist (list slice) around the ":", except at |
| 828 | the start and end: > |
| 829 | otherlist = mylist[v : count] # v:count has a different meaning |
| 830 | otherlist = mylist[:] # make a copy of the List |
| 831 | otherlist = mylist[v :] |
| 832 | otherlist = mylist[: v] |
| 833 | |
| 834 | White space is not allowed: |
| 835 | - Between a function name and the "(": > |
| 836 | Func (arg) # Error! |
| 837 | Func |
| 838 | \ (arg) # Error! |
| 839 | Func |
| 840 | (arg) # Error! |
| 841 | Func(arg) # OK |
| 842 | Func( |
| 843 | arg) # OK |
| 844 | Func( |
| 845 | arg # OK |
| 846 | ) |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 847 | < *E1205* |
Bram Moolenaar | 89a9c15 | 2021-08-29 21:55:35 +0200 | [diff] [blame] | 848 | White space is not allowed in a `:set` command between the option name and a |
| 849 | following "&", "!", "<", "=", "+=", "-=" or "^=". |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 850 | |
Bram Moolenaar | 4c29502 | 2021-05-02 17:19:11 +0200 | [diff] [blame] | 851 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 852 | No curly braces expansion ~ |
| 853 | |
| 854 | |curly-braces-names| cannot be used. |
| 855 | |
| 856 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 857 | Command modifiers are not ignored ~ |
| 858 | *E1176* |
| 859 | Using a command modifier for a command that does not use it gives an error. |
Bram Moolenaar | 2ecbe53 | 2022-07-29 21:36:21 +0100 | [diff] [blame] | 860 | *E1082* |
| 861 | Also, using a command modifier without a following command is now an error. |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 862 | |
| 863 | |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 864 | Dictionary literals ~ |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 865 | *vim9-literal-dict* *E1014* |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 866 | Traditionally Vim has supported dictionary literals with a {} syntax: > |
| 867 | let dict = {'key': value} |
| 868 | |
Bram Moolenaar | c5e6a71 | 2020-12-04 19:12:14 +0100 | [diff] [blame] | 869 | Later it became clear that using a simple text key is very common, thus |
| 870 | literal dictionaries were introduced in a backwards compatible way: > |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 871 | let dict = #{key: value} |
| 872 | |
Bram Moolenaar | c5e6a71 | 2020-12-04 19:12:14 +0100 | [diff] [blame] | 873 | However, this #{} syntax is unlike any existing language. As it turns out |
| 874 | that using a literal key is much more common than using an expression, and |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 875 | considering that JavaScript uses this syntax, using the {} form for dictionary |
Bram Moolenaar | c5e6a71 | 2020-12-04 19:12:14 +0100 | [diff] [blame] | 876 | literals is considered a much more useful syntax. In Vim9 script the {} form |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 877 | uses literal keys: > |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 878 | var dict = {key: value} |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 879 | |
Bram Moolenaar | c5e6a71 | 2020-12-04 19:12:14 +0100 | [diff] [blame] | 880 | This works for alphanumeric characters, underscore and dash. If you want to |
| 881 | use another character, use a single or double quoted string: > |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 882 | var dict = {'key with space': value} |
| 883 | var dict = {"key\twith\ttabs": value} |
| 884 | var dict = {'': value} # empty key |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 885 | < *E1139* |
Bram Moolenaar | c5e6a71 | 2020-12-04 19:12:14 +0100 | [diff] [blame] | 886 | In case the key needs to be an expression, square brackets can be used, just |
| 887 | like in JavaScript: > |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 888 | var dict = {["key" .. nr]: value} |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 889 | |
Bram Moolenaar | 2e5910b | 2021-02-03 17:41:24 +0100 | [diff] [blame] | 890 | The key type can be string, number, bool or float. Other types result in an |
Bram Moolenaar | d899e51 | 2022-05-07 21:54:03 +0100 | [diff] [blame] | 891 | error. Without using [] the value is used as a string, keeping leading zeros. |
| 892 | An expression given with [] is evaluated and then converted to a string. |
| 893 | Leading zeros will then be dropped: > |
| 894 | var dict = {000123: 'without', [000456]: 'with'} |
Bram Moolenaar | 2e5910b | 2021-02-03 17:41:24 +0100 | [diff] [blame] | 895 | echo dict |
Bram Moolenaar | d899e51 | 2022-05-07 21:54:03 +0100 | [diff] [blame] | 896 | {'456': 'with', '000123': 'without'} |
| 897 | A float only works inside [] because the dot is not accepted otherwise: > |
| 898 | var dict = {[00.013]: 'float'} |
| 899 | echo dict |
| 900 | {'0.013': 'float'} |
Bram Moolenaar | 2e5910b | 2021-02-03 17:41:24 +0100 | [diff] [blame] | 901 | |
Bram Moolenaar | 2bede17 | 2020-11-19 18:53:18 +0100 | [diff] [blame] | 902 | |
Bram Moolenaar | 10b9421 | 2021-02-19 21:42:57 +0100 | [diff] [blame] | 903 | No :xit, :t, :k, :append, :change or :insert ~ |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 904 | *E1100* |
Bram Moolenaar | f5a4801 | 2020-08-01 17:00:03 +0200 | [diff] [blame] | 905 | These commands are too easily confused with local variable names. |
| 906 | Instead of `:x` or `:xit` you can use `:exit`. |
| 907 | Instead of `:t` you can use `:copy`. |
Bram Moolenaar | 10b9421 | 2021-02-19 21:42:57 +0100 | [diff] [blame] | 908 | Instead of `:k` you can use `:mark`. |
Bram Moolenaar | 560979e | 2020-02-04 22:53:05 +0100 | [diff] [blame] | 909 | |
| 910 | |
| 911 | Comparators ~ |
| 912 | |
| 913 | The 'ignorecase' option is not used for comparators that use strings. |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 914 | Thus "=~" works like "=~#". |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 915 | |
Bram Moolenaar | e1f3fd1 | 2022-08-15 18:51:32 +0100 | [diff] [blame] | 916 | "is" and "isnot" (|expr-is| and |expr-isnot|) when used on strings now return |
| 917 | false. In legacy script they just compare the strings, in |Vim9| script they |
| 918 | check identity, and strings are copied when used, thus two strings are never |
| 919 | the same (this might change some day if strings are not copied but reference |
| 920 | counted). |
| 921 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 922 | |
Bram Moolenaar | 4c29502 | 2021-05-02 17:19:11 +0200 | [diff] [blame] | 923 | Abort after error ~ |
| 924 | |
| 925 | In legacy script, when an error is encountered, Vim continues to execute |
| 926 | following lines. This can lead to a long sequence of errors and need to type |
| 927 | CTRL-C to stop it. In Vim9 script execution of commands stops at the first |
| 928 | error. Example: > |
| 929 | vim9script |
| 930 | var x = does-not-exist |
| 931 | echo 'not executed' |
| 932 | |
| 933 | |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 934 | For loop ~ |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 935 | *E1254* |
Bram Moolenaar | 4700398 | 2021-12-05 21:54:04 +0000 | [diff] [blame] | 936 | The loop variable must not be declared yet: > |
Bram Moolenaar | 6304be6 | 2021-11-27 10:57:26 +0000 | [diff] [blame] | 937 | var i = 1 |
| 938 | for i in [1, 2, 3] # Error! |
| 939 | |
Bram Moolenaar | 4700398 | 2021-12-05 21:54:04 +0000 | [diff] [blame] | 940 | It is possible to use a global variable though: > |
| 941 | g:i = 1 |
| 942 | for g:i in [1, 2, 3] |
| 943 | echo g:i |
| 944 | endfor |
| 945 | |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 946 | Legacy Vim script has some tricks to make a for loop over a list handle |
| 947 | deleting items at the current or previous item. In Vim9 script it just uses |
| 948 | the index, if items are deleted then items in the list will be skipped. |
| 949 | Example legacy script: > |
| 950 | let l = [1, 2, 3, 4] |
| 951 | for i in l |
| 952 | echo i |
| 953 | call remove(l, index(l, i)) |
| 954 | endfor |
| 955 | Would echo: |
| 956 | 1 |
| 957 | 2 |
| 958 | 3 |
| 959 | 4 |
| 960 | In compiled Vim9 script you get: |
| 961 | 1 |
| 962 | 3 |
| 963 | Generally, you should not change the list that is iterated over. Make a copy |
| 964 | first if needed. |
Bram Moolenaar | 7c6cd44 | 2022-10-11 21:54:04 +0100 | [diff] [blame] | 965 | When looping over a list of lists, the nested lists can be changed. The loop |
| 966 | variable is "final", it cannot be changed but what its value can be changed. |
Bram Moolenaar | 9fbdbb8 | 2022-09-27 17:30:34 +0100 | [diff] [blame] | 967 | *E1306* |
| 968 | The depth of loops, :for and :while loops added together, cannot exceed 10. |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 969 | |
| 970 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 971 | Conditions and expressions ~ |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 972 | *vim9-boolean* |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 973 | Conditions and expressions are mostly working like they do in other languages. |
| 974 | Some values are different from legacy Vim script: |
| 975 | value legacy Vim script Vim9 script ~ |
| 976 | 0 falsy falsy |
| 977 | 1 truthy truthy |
| 978 | 99 truthy Error! |
| 979 | "0" falsy Error! |
| 980 | "99" truthy Error! |
| 981 | "text" falsy Error! |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 982 | |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 983 | For the "??" operator and when using "!" then there is no error, every value |
| 984 | is either falsy or truthy. This is mostly like JavaScript, except that an |
| 985 | empty list and dict is falsy: |
| 986 | |
| 987 | type truthy when ~ |
Bram Moolenaar | 7e6a515 | 2021-01-02 16:39:53 +0100 | [diff] [blame] | 988 | bool true, v:true or 1 |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 989 | number non-zero |
| 990 | float non-zero |
| 991 | string non-empty |
| 992 | blob non-empty |
| 993 | list non-empty (different from JavaScript) |
| 994 | dictionary non-empty (different from JavaScript) |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 995 | func when there is a function name |
Bram Moolenaar | 7e6a515 | 2021-01-02 16:39:53 +0100 | [diff] [blame] | 996 | special true or v:true |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 997 | job when not NULL |
| 998 | channel when not NULL |
| 999 | class when not NULL |
Bram Moolenaar | 7e6a515 | 2021-01-02 16:39:53 +0100 | [diff] [blame] | 1000 | object when not NULL (TODO: when isTrue() returns true) |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1001 | |
Bram Moolenaar | 2bb2658 | 2020-10-03 22:52:39 +0200 | [diff] [blame] | 1002 | The boolean operators "||" and "&&" expect the values to be boolean, zero or |
| 1003 | one: > |
| 1004 | 1 || false == true |
| 1005 | 0 || 1 == true |
| 1006 | 0 || false == false |
| 1007 | 1 && true == true |
| 1008 | 0 && 1 == false |
| 1009 | 8 || 0 Error! |
| 1010 | 'yes' && 0 Error! |
| 1011 | [] || 99 Error! |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1012 | |
Bram Moolenaar | 2bb2658 | 2020-10-03 22:52:39 +0200 | [diff] [blame] | 1013 | When using "!" for inverting, there is no error for using any type and the |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 1014 | result is a boolean. "!!" can be used to turn any value into boolean: > |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 1015 | !'yes' == false |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 1016 | !![] == false |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 1017 | !![1, 2, 3] == true |
Bram Moolenaar | 2bb2658 | 2020-10-03 22:52:39 +0200 | [diff] [blame] | 1018 | |
| 1019 | When using "`.."` for string concatenation arguments of simple types are |
Bram Moolenaar | 1310660 | 2020-10-04 16:06:05 +0200 | [diff] [blame] | 1020 | always converted to string: > |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1021 | 'hello ' .. 123 == 'hello 123' |
Bram Moolenaar | 7e6a515 | 2021-01-02 16:39:53 +0100 | [diff] [blame] | 1022 | 'hello ' .. v:true == 'hello true' |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1023 | |
Bram Moolenaar | 5da3605 | 2021-12-27 15:39:57 +0000 | [diff] [blame] | 1024 | Simple types are Number, Float, Special and Bool. For other types |string()| |
| 1025 | should be used. |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1026 | *false* *true* *null* *E1034* |
Bram Moolenaar | 8acb9cc | 2022-03-08 13:18:55 +0000 | [diff] [blame] | 1027 | In Vim9 script one can use the following predefined values: > |
| 1028 | true |
| 1029 | false |
| 1030 | null |
| 1031 | null_blob |
| 1032 | null_channel |
| 1033 | null_dict |
| 1034 | null_function |
| 1035 | null_job |
| 1036 | null_list |
| 1037 | null_partial |
| 1038 | null_string |
| 1039 | `true` is the same as `v:true`, `false` the same as `v:false`, `null` the same |
| 1040 | as `v:null`. |
| 1041 | |
Bram Moolenaar | 76db9e0 | 2022-11-09 21:21:04 +0000 | [diff] [blame] | 1042 | While `null` has the type "special", the other "null_" values have the type |
Bram Moolenaar | 8acb9cc | 2022-03-08 13:18:55 +0000 | [diff] [blame] | 1043 | indicated by their name. Quite often a null value is handled the same as an |
| 1044 | empty value, but not always. The values can be useful to clear a script-local |
| 1045 | variable, since they cannot be deleted with `:unlet`. E.g.: > |
| 1046 | var theJob = job_start(...) |
| 1047 | # let the job do its work |
| 1048 | theJob = null_job |
| 1049 | |
| 1050 | The values can also be useful as the default value for an argument: > |
| 1051 | def MyFunc(b: blob = null_blob) |
| 1052 | if b == null_blob |
| 1053 | # b argument was not given |
| 1054 | |
Bram Moolenaar | 47c532e | 2022-03-19 15:18:53 +0000 | [diff] [blame] | 1055 | It is possible to compare `null` with any value, this will not give a type |
| 1056 | error. However, comparing `null` with a number, float or bool will always |
| 1057 | result in `false`. This is different from legacy script, where comparing |
| 1058 | `null` with zero or `false` would return `true`. |
| 1059 | |
Bram Moolenaar | 8acb9cc | 2022-03-08 13:18:55 +0000 | [diff] [blame] | 1060 | When converting a boolean to a string `false` and `true` are used, not |
| 1061 | `v:false` and `v:true` like in legacy script. `v:none` has no `none` |
| 1062 | replacement, it has no equivalent in other languages. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1063 | |
Bram Moolenaar | 0289a09 | 2021-03-14 18:40:19 +0100 | [diff] [blame] | 1064 | Indexing a string with [idx] or taking a slice with [idx : idx] uses character |
| 1065 | indexes instead of byte indexes. Composing characters are included. |
| 1066 | Example: > |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 1067 | echo 'bár'[1] |
| 1068 | In legacy script this results in the character 0xc3 (an illegal byte), in Vim9 |
| 1069 | script this results in the string 'á'. |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 1070 | A negative index is counting from the end, "[-1]" is the last character. |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1071 | To exclude the last character use |slice()|. |
Bram Moolenaar | 38a3bfa | 2021-03-29 22:14:55 +0200 | [diff] [blame] | 1072 | To count composing characters separately use |strcharpart()|. |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 1073 | If the index is out of range then an empty string results. |
| 1074 | |
| 1075 | In legacy script "++var" and "--var" would be silently accepted and have no |
| 1076 | effect. This is an error in Vim9 script. |
| 1077 | |
| 1078 | Numbers starting with zero are not considered to be octal, only numbers |
| 1079 | starting with "0o" are octal: "0o744". |scriptversion-4| |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 1080 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1081 | |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1082 | What to watch out for ~ |
| 1083 | *vim9-gotchas* |
| 1084 | Vim9 was designed to be closer to often used programming languages, but at the |
| 1085 | same time tries to support the legacy Vim commands. Some compromises had to |
| 1086 | be made. Here is a summary of what might be unexpected. |
| 1087 | |
| 1088 | Ex command ranges need to be prefixed with a colon. > |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1089 | -> legacy Vim: shifts the previous line to the right |
| 1090 | ->func() Vim9: method call in a continuation line |
| 1091 | :-> Vim9: shifts the previous line to the right |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1092 | |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1093 | %s/a/b legacy Vim: substitute on all lines |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1094 | x = alongname |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1095 | % another Vim9: modulo operator in a continuation line |
| 1096 | :%s/a/b Vim9: substitute on all lines |
| 1097 | 't legacy Vim: jump to mark t |
| 1098 | 'text'->func() Vim9: method call |
| 1099 | :'t Vim9: jump to mark t |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1100 | |
Bram Moolenaar | e7b1ea0 | 2020-08-07 19:54:59 +0200 | [diff] [blame] | 1101 | Some Ex commands can be confused with assignments in Vim9 script: > |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1102 | g:name = value # assignment |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1103 | :g:pattern:cmd # :global command |
Bram Moolenaar | e7b1ea0 | 2020-08-07 19:54:59 +0200 | [diff] [blame] | 1104 | |
Bram Moolenaar | 7b82926 | 2021-10-13 15:04:34 +0100 | [diff] [blame] | 1105 | To avoid confusion between a `:global` or `:substitute` command and an |
| 1106 | expression or assignment, a few separators cannot be used when these commands |
| 1107 | are abbreviated to a single character: ':', '-' and '.'. > |
| 1108 | g:pattern:cmd # invalid command - ERROR |
| 1109 | s:pattern:repl # invalid command - ERROR |
| 1110 | g-pattern-cmd # invalid command - ERROR |
| 1111 | s-pattern-repl # invalid command - ERROR |
| 1112 | g.pattern.cmd # invalid command - ERROR |
| 1113 | s.pattern.repl # invalid command - ERROR |
| 1114 | |
| 1115 | Also, there cannot be a space between the command and the separator: > |
| 1116 | g /pattern/cmd # invalid command - ERROR |
| 1117 | s /pattern/repl # invalid command - ERROR |
| 1118 | |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1119 | Functions defined with `:def` compile the whole function. Legacy functions |
| 1120 | can bail out, and the following lines are not parsed: > |
| 1121 | func Maybe() |
| 1122 | if !has('feature') |
| 1123 | return |
| 1124 | endif |
| 1125 | use-feature |
| 1126 | endfunc |
| 1127 | Vim9 functions are compiled as a whole: > |
| 1128 | def Maybe() |
| 1129 | if !has('feature') |
| 1130 | return |
| 1131 | endif |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 1132 | use-feature # May give a compilation error |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1133 | enddef |
| 1134 | For a workaround, split it in two functions: > |
| 1135 | func Maybe() |
| 1136 | if has('feature') |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1137 | call MaybeInner() |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1138 | endif |
| 1139 | endfunc |
| 1140 | if has('feature') |
| 1141 | def MaybeInner() |
| 1142 | use-feature |
| 1143 | enddef |
| 1144 | endif |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 1145 | Or put the unsupported code inside an `if` with a constant expression that |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1146 | evaluates to false: > |
| 1147 | def Maybe() |
| 1148 | if has('feature') |
| 1149 | use-feature |
| 1150 | endif |
| 1151 | enddef |
Bram Moolenaar | 6aa5729 | 2021-08-14 21:25:52 +0200 | [diff] [blame] | 1152 | The `exists_compiled()` function can also be used for this. |
| 1153 | *vim9-user-command* |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 1154 | Another side effect of compiling a function is that the presence of a user |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 1155 | command is checked at compile time. If the user command is defined later an |
| 1156 | error will result. This works: > |
| 1157 | command -nargs=1 MyCommand echom <q-args> |
| 1158 | def Works() |
| 1159 | MyCommand 123 |
| 1160 | enddef |
| 1161 | This will give an error for "MyCommand" not being defined: > |
| 1162 | def Works() |
| 1163 | command -nargs=1 MyCommand echom <q-args> |
| 1164 | MyCommand 123 |
| 1165 | enddef |
| 1166 | A workaround is to invoke the command indirectly with `:execute`: > |
| 1167 | def Works() |
| 1168 | command -nargs=1 MyCommand echom <q-args> |
| 1169 | execute 'MyCommand 123' |
| 1170 | enddef |
| 1171 | |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1172 | Note that for unrecognized commands there is no check for "|" and a following |
| 1173 | command. This will give an error for missing `endif`: > |
| 1174 | def Maybe() |
| 1175 | if has('feature') | use-feature | endif |
| 1176 | enddef |
Bram Moolenaar | e46a440 | 2020-06-30 20:38:27 +0200 | [diff] [blame] | 1177 | |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 1178 | Other differences ~ |
| 1179 | |
| 1180 | Patterns are used like 'magic' is set, unless explicitly overruled. |
| 1181 | The 'edcompatible' option value is not used. |
| 1182 | The 'gdefault' option value is not used. |
| 1183 | |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 1184 | You may also find this wiki useful. It was written by an early adopter of |
Bram Moolenaar | c8cdf0f | 2021-03-13 13:28:13 +0100 | [diff] [blame] | 1185 | Vim9 script: https://github.com/lacygoill/wiki/blob/master/vim/vim9.md |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 1186 | |
Bram Moolenaar | 4d8f476 | 2021-06-27 15:18:56 +0200 | [diff] [blame] | 1187 | *:++* *:--* |
| 1188 | The ++ and -- commands have been added. They are very similar to adding or |
| 1189 | subtracting one: > |
| 1190 | ++var |
| 1191 | var += 1 |
| 1192 | --var |
| 1193 | var -= 1 |
| 1194 | |
| 1195 | Using ++var or --var in an expression is not supported yet. |
| 1196 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1197 | ============================================================================== |
| 1198 | |
| 1199 | 3. New style functions *fast-functions* |
| 1200 | |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1201 | *:def* *E1028* |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 1202 | :def[!] {name}([arguments])[: {return-type}] |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1203 | Define a new function by the name {name}. The body of |
| 1204 | the function follows in the next lines, until the |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1205 | matching `:enddef`. *E1073* |
| 1206 | *E1011* |
| 1207 | The {name} must be less than 100 bytes long. |
| 1208 | *E1003* *E1027* *E1056* *E1059* |
| 1209 | The type of value used with `:return` must match |
| 1210 | {return-type}. When {return-type} is omitted or is |
| 1211 | "void" the function is not expected to return |
| 1212 | anything. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1213 | *E1077* *E1123* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1214 | {arguments} is a sequence of zero or more argument |
| 1215 | declarations. There are three forms: |
| 1216 | {name}: {type} |
| 1217 | {name} = {value} |
| 1218 | {name}: {type} = {value} |
| 1219 | The first form is a mandatory argument, the caller |
| 1220 | must always provide them. |
| 1221 | The second and third form are optional arguments. |
| 1222 | When the caller omits an argument the {value} is used. |
| 1223 | |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 1224 | The function will be compiled into instructions when |
Bram Moolenaar | 2547aa9 | 2020-07-26 17:00:44 +0200 | [diff] [blame] | 1225 | called, or when `:disassemble` or `:defcompile` is |
| 1226 | used. Syntax and type errors will be produced at that |
| 1227 | time. |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 1228 | |
Bram Moolenaar | 2547aa9 | 2020-07-26 17:00:44 +0200 | [diff] [blame] | 1229 | It is possible to nest `:def` inside another `:def` or |
| 1230 | `:function` up to about 50 levels deep. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1231 | *E1117* |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1232 | [!] is used as with `:function`. Note that |
| 1233 | script-local functions cannot be deleted or redefined |
| 1234 | later in Vim9 script. They can only be removed by |
| 1235 | reloading the same script. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1236 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1237 | *:enddef* *E1057* *E1152* *E1173* |
Bram Moolenaar | 2547aa9 | 2020-07-26 17:00:44 +0200 | [diff] [blame] | 1238 | :enddef End of a function defined with `:def`. It should be on |
| 1239 | a line by its own. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1240 | |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 1241 | You may also find this wiki useful. It was written by an early adopter of |
Bram Moolenaar | 0289a09 | 2021-03-14 18:40:19 +0100 | [diff] [blame] | 1242 | Vim9 script: https://github.com/lacygoill/wiki/blob/master/vim/vim9.md |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1243 | |
Bram Moolenaar | 5b1c8fe | 2020-02-21 18:42:43 +0100 | [diff] [blame] | 1244 | If the script the function is defined in is Vim9 script, then script-local |
| 1245 | variables can be accessed without the "s:" prefix. They must be defined |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 1246 | before the function is compiled. If the script the function is defined in is |
| 1247 | legacy script, then script-local variables must be accessed with the "s:" |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 1248 | prefix if they do not exist at the time of compiling. |
Bram Moolenaar | 2ecbe53 | 2022-07-29 21:36:21 +0100 | [diff] [blame] | 1249 | *E1269* |
| 1250 | Script-local variables in a |Vim9| script must be declared at the script |
| 1251 | level. They cannot be created in a function, also not in a legacy function. |
Bram Moolenaar | 5b1c8fe | 2020-02-21 18:42:43 +0100 | [diff] [blame] | 1252 | |
Bram Moolenaar | 388a5d4 | 2020-05-26 21:20:45 +0200 | [diff] [blame] | 1253 | *:defc* *:defcompile* |
| 1254 | :defc[ompile] Compile functions defined in the current script that |
| 1255 | were not compiled yet. |
Bram Moolenaar | f79d9dd | 2022-05-21 15:39:02 +0100 | [diff] [blame] | 1256 | This will report any errors found during compilation. |
| 1257 | |
| 1258 | :defc[ompile] {func} |
| 1259 | :defc[ompile] debug {func} |
| 1260 | :defc[ompile] profile {func} |
| 1261 | Compile function {func}, if needed. Use "debug" and |
| 1262 | "profile" to specify the compilation mode. |
| 1263 | This will report any errors found during compilation. |
Bram Moolenaar | 5b1c8fe | 2020-02-21 18:42:43 +0100 | [diff] [blame] | 1264 | |
Bram Moolenaar | ebdf3c9 | 2020-02-15 21:41:42 +0100 | [diff] [blame] | 1265 | *:disa* *:disassemble* |
| 1266 | :disa[ssemble] {func} Show the instructions generated for {func}. |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1267 | This is for debugging and testing. *E1061* |
Bram Moolenaar | cc390ff | 2020-02-29 22:06:30 +0100 | [diff] [blame] | 1268 | Note that for command line completion of {func} you |
| 1269 | can prepend "s:" to find script-local functions. |
Bram Moolenaar | ebdf3c9 | 2020-02-15 21:41:42 +0100 | [diff] [blame] | 1270 | |
Bram Moolenaar | 2346a63 | 2021-06-13 19:02:49 +0200 | [diff] [blame] | 1271 | :disa[ssemble] profile {func} |
| 1272 | Like `:disassemble` but with the instructions used for |
Bram Moolenaar | e0e3917 | 2021-01-25 21:14:57 +0100 | [diff] [blame] | 1273 | profiling. |
| 1274 | |
Bram Moolenaar | 2346a63 | 2021-06-13 19:02:49 +0200 | [diff] [blame] | 1275 | :disa[ssemble] debug {func} |
| 1276 | Like `:disassemble` but with the instructions used for |
| 1277 | debugging. |
| 1278 | |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 1279 | Limitations ~ |
| 1280 | |
| 1281 | Local variables will not be visible to string evaluation. For example: > |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 1282 | def MapList(): list<string> |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1283 | var list = ['aa', 'bb', 'cc', 'dd'] |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 1284 | return range(1, 2)->map('list[v:val]') |
| 1285 | enddef |
| 1286 | |
| 1287 | The map argument is a string expression, which is evaluated without the |
| 1288 | function scope. Instead, use a lambda: > |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 1289 | def MapList(): list<string> |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1290 | var list = ['aa', 'bb', 'cc', 'dd'] |
Bram Moolenaar | 2286304 | 2021-10-16 15:23:36 +0100 | [diff] [blame] | 1291 | return range(1, 2)->map((_, v) => list[v]) |
Bram Moolenaar | 7ff7846 | 2020-07-10 22:00:53 +0200 | [diff] [blame] | 1292 | enddef |
| 1293 | |
Bram Moolenaar | 3d2e031 | 2021-12-01 09:27:20 +0000 | [diff] [blame] | 1294 | For commands that are not compiled, such as `:edit`, backtick expansion can be |
| 1295 | used and it can use the local scope. Example: > |
Bram Moolenaar | 2b32700 | 2020-12-26 15:39:31 +0100 | [diff] [blame] | 1296 | def Replace() |
Bram Moolenaar | 3d2e031 | 2021-12-01 09:27:20 +0000 | [diff] [blame] | 1297 | var fname = 'blah.txt' |
| 1298 | edit `=fname` |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 1299 | enddef |
| 1300 | |
Bram Moolenaar | dad4473 | 2021-03-31 20:07:33 +0200 | [diff] [blame] | 1301 | Closures defined in a loop will share the same context. For example: > |
| 1302 | var flist: list<func> |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 1303 | for i in range(5) |
Bram Moolenaar | dad4473 | 2021-03-31 20:07:33 +0200 | [diff] [blame] | 1304 | var inloop = i |
| 1305 | flist[i] = () => inloop |
| 1306 | endfor |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 1307 | echo range(5)->map((i, _) => flist[i]()) |
| 1308 | # Result: [4, 4, 4, 4, 4] |
Bram Moolenaar | 47c532e | 2022-03-19 15:18:53 +0000 | [diff] [blame] | 1309 | < *E1271* |
| 1310 | A closure must be compiled in the context that it is defined in, so that |
| 1311 | variables in that context can be found. This mostly happens correctly, except |
| 1312 | when a function is marked for debugging with `breakadd` after it was compiled. |
Bram Moolenaar | 46eea44 | 2022-03-30 10:51:39 +0100 | [diff] [blame] | 1313 | Make sure to define the breakpoint before compiling the outer function. |
Bram Moolenaar | dad4473 | 2021-03-31 20:07:33 +0200 | [diff] [blame] | 1314 | |
| 1315 | The "inloop" variable will exist only once, all closures put in the list refer |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 1316 | to the same instance, which in the end will have the value 4. This is |
| 1317 | efficient, also when looping many times. If you do want a separate context |
Bram Moolenaar | 71b6d33 | 2022-09-10 13:13:14 +0100 | [diff] [blame] | 1318 | for each closure, call a function to define it: > |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 1319 | def GetClosure(i: number): func |
| 1320 | var infunc = i |
| 1321 | return () => infunc |
Bram Moolenaar | dad4473 | 2021-03-31 20:07:33 +0200 | [diff] [blame] | 1322 | enddef |
| 1323 | |
| 1324 | var flist: list<func> |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 1325 | for i in range(5) |
| 1326 | flist[i] = GetClosure(i) |
Bram Moolenaar | dad4473 | 2021-03-31 20:07:33 +0200 | [diff] [blame] | 1327 | endfor |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 1328 | echo range(5)->map((i, _) => flist[i]()) |
| 1329 | # Result: [0, 1, 2, 3, 4] |
Bram Moolenaar | dad4473 | 2021-03-31 20:07:33 +0200 | [diff] [blame] | 1330 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1331 | In some situations, especially when calling a Vim9 closure from legacy |
| 1332 | context, the evaluation will fail. *E1248* |
| 1333 | |
Bram Moolenaar | 71b6d33 | 2022-09-10 13:13:14 +0100 | [diff] [blame] | 1334 | Note that at the script level the loop variable will be invalid after the |
| 1335 | loop, also when used in a closure that is called later, e.g. with a timer. |
| 1336 | This will generate error |E1302|: > |
| 1337 | for n in range(4) |
| 1338 | timer_start(500 * n, (_) => { |
| 1339 | echowin n |
| 1340 | }) |
| 1341 | endfor |
| 1342 | |
Bram Moolenaar | 9712ff1 | 2022-09-18 13:04:22 +0100 | [diff] [blame] | 1343 | You need to use a block and define a variable there, and use that one in the |
| 1344 | closure: > |
Bram Moolenaar | 71b6d33 | 2022-09-10 13:13:14 +0100 | [diff] [blame] | 1345 | for n in range(4) |
Bram Moolenaar | 9712ff1 | 2022-09-18 13:04:22 +0100 | [diff] [blame] | 1346 | { |
| 1347 | var nr = n |
| 1348 | timer_start(500 * n, (_) => { |
| 1349 | echowin nr |
| 1350 | }) |
| 1351 | } |
Bram Moolenaar | 71b6d33 | 2022-09-10 13:13:14 +0100 | [diff] [blame] | 1352 | endfor |
| 1353 | |
| 1354 | Using `echowindow` is useful in a timer, the messages go into a popup and will |
| 1355 | not interfere with what the user is doing when it triggers. |
| 1356 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1357 | |
| 1358 | Converting a function from legacy to Vim9 ~ |
| 1359 | *convert_legacy_function_to_vim9* |
| 1360 | These are the most changes that need to be made to convert a legacy function |
| 1361 | to a Vim9 function: |
| 1362 | |
| 1363 | - Change `func` or `function` to `def`. |
| 1364 | - Change `endfunc` or `endfunction` to `enddef`. |
| 1365 | - Add types to the function arguments. |
| 1366 | - If the function returns something, add the return type. |
| 1367 | - Change comments to start with # instead of ". |
| 1368 | |
| 1369 | For example, a legacy function: > |
| 1370 | func MyFunc(text) |
| 1371 | " function body |
| 1372 | endfunc |
| 1373 | < Becomes: > |
| 1374 | def MyFunc(text: string): number |
| 1375 | # function body |
| 1376 | enddef |
| 1377 | |
| 1378 | - Remove "a:" used for arguments. E.g.: > |
| 1379 | return len(a:text) |
| 1380 | < Becomes: > |
| 1381 | return len(text) |
| 1382 | |
| 1383 | - Change `let` used to declare a variable to `var`. |
| 1384 | - Remove `let` used to assign a value to a variable. This is for local |
| 1385 | variables already declared and b: w: g: and t: variables. |
| 1386 | |
| 1387 | For example, legacy function: > |
| 1388 | let lnum = 1 |
| 1389 | let lnum += 3 |
| 1390 | let b:result = 42 |
| 1391 | < Becomes: > |
| 1392 | var lnum = 1 |
| 1393 | lnum += 3 |
| 1394 | b:result = 42 |
| 1395 | |
| 1396 | - Insert white space in expressions where needed. |
| 1397 | - Change "." used for concatenation to "..". |
| 1398 | |
| 1399 | For example, legacy function: > |
| 1400 | echo line(1).line(2) |
| 1401 | < Becomes: > |
| 1402 | echo line(1) .. line(2) |
| 1403 | |
| 1404 | - line continuation does not always require a backslash: > |
| 1405 | echo ['one', |
| 1406 | \ 'two', |
| 1407 | \ 'three' |
| 1408 | \ ] |
| 1409 | < Becomes: > |
| 1410 | echo ['one', |
| 1411 | 'two', |
| 1412 | 'three' |
| 1413 | ] |
| 1414 | |
Bram Moolenaar | 87b4e5c | 2022-10-01 15:32:46 +0100 | [diff] [blame] | 1415 | |
| 1416 | Calling a function in an expr option ~ |
| 1417 | *expr-option-function* |
Bram Moolenaar | f269eab | 2022-10-03 18:04:35 +0100 | [diff] [blame] | 1418 | The value of a few options, such as 'foldexpr', is an expression that is |
| 1419 | evaluated to get a value. The evaluation can have quite a bit of overhead. |
| 1420 | One way to minimize the overhead, and also to keep the option value very |
| 1421 | simple, is to define a compiled function and set the option to call it |
| 1422 | without arguments. Example: > |
Bram Moolenaar | 87b4e5c | 2022-10-01 15:32:46 +0100 | [diff] [blame] | 1423 | vim9script |
| 1424 | def MyFoldFunc(): any |
| 1425 | ... compute fold level for line v:lnum |
| 1426 | return level |
| 1427 | enddef |
| 1428 | set foldexpr=s:MyFoldFunc() |
| 1429 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1430 | ============================================================================== |
| 1431 | |
| 1432 | 4. Types *vim9-types* |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1433 | *E1008* *E1009* *E1010* *E1012* |
| 1434 | *E1013* *E1029* *E1030* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1435 | The following builtin types are supported: |
| 1436 | bool |
| 1437 | number |
| 1438 | float |
| 1439 | string |
| 1440 | blob |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1441 | list<{type}> |
| 1442 | dict<{type}> |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1443 | job |
| 1444 | channel |
Bram Moolenaar | b17893a | 2020-03-14 08:19:51 +0100 | [diff] [blame] | 1445 | func |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 1446 | func: {type} |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1447 | func({type}, ...) |
| 1448 | func({type}, ...): {type} |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1449 | void |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1450 | |
| 1451 | Not supported yet: |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1452 | tuple<a: {type}, b: {type}, ...> |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1453 | |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 1454 | These types can be used in declarations, but no simple value will actually |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1455 | have the "void" type. Trying to use a void (e.g. a function without a |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1456 | return value) results in error *E1031* *E1186* . |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1457 | |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1458 | There is no array type, use list<{type}> instead. For a list constant an |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1459 | efficient implementation is used that avoids allocating lot of small pieces of |
| 1460 | memory. |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1461 | *E1005* *E1007* |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1462 | A partial and function can be declared in more or less specific ways: |
| 1463 | func any kind of function reference, no type |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 1464 | checking for arguments or return value |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 1465 | func: void any number and type of arguments, no return |
| 1466 | value |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1467 | func: {type} any number and type of arguments with specific |
| 1468 | return type |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 1469 | |
| 1470 | func() function with no argument, does not return a |
| 1471 | value |
| 1472 | func(): void same |
| 1473 | func(): {type} function with no argument and return type |
| 1474 | |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 1475 | func({type}) function with argument type, does not return |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1476 | a value |
Bram Moolenaar | d1caa94 | 2020-04-10 22:10:56 +0200 | [diff] [blame] | 1477 | func({type}): {type} function with argument type and return type |
| 1478 | func(?{type}) function with type of optional argument, does |
| 1479 | not return a value |
| 1480 | func(...{type}) function with type of variable number of |
| 1481 | arguments, does not return a value |
| 1482 | func({type}, ?{type}, ...{type}): {type} |
| 1483 | function with: |
| 1484 | - type of mandatory argument |
| 1485 | - type of optional argument |
| 1486 | - type of variable number of arguments |
| 1487 | - return type |
Bram Moolenaar | d77a852 | 2020-04-03 21:59:57 +0200 | [diff] [blame] | 1488 | |
| 1489 | If the return type is "void" the function does not return a value. |
| 1490 | |
| 1491 | The reference can also be a |Partial|, in which case it stores extra arguments |
| 1492 | and/or a dictionary, which are not visible to the caller. Since they are |
| 1493 | called in the same way the declaration is the same. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1494 | |
| 1495 | Custom types can be defined with `:type`: > |
| 1496 | :type MyList list<string> |
Bram Moolenaar | 127542b | 2020-08-09 17:22:04 +0200 | [diff] [blame] | 1497 | Custom types must start with a capital letter, to avoid name clashes with |
| 1498 | builtin types added later, similarly to user functions. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1499 | {not implemented yet} |
| 1500 | |
| 1501 | And classes and interfaces can be used as types: > |
| 1502 | :class MyClass |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1503 | :var mine: MyClass |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1504 | |
| 1505 | :interface MyInterface |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1506 | :var mine: MyInterface |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1507 | |
| 1508 | :class MyTemplate<Targ> |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1509 | :var mine: MyTemplate<number> |
| 1510 | :var mine: MyTemplate<string> |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1511 | |
| 1512 | :class MyInterface<Targ> |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1513 | :var mine: MyInterface<number> |
| 1514 | :var mine: MyInterface<string> |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1515 | {not implemented yet} |
| 1516 | |
| 1517 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1518 | Variable types and type casting ~ |
| 1519 | *variable-types* |
Bram Moolenaar | 64d662d | 2020-08-09 19:02:50 +0200 | [diff] [blame] | 1520 | Variables declared in Vim9 script or in a `:def` function have a type, either |
| 1521 | specified explicitly or inferred from the initialization. |
| 1522 | |
| 1523 | Global, buffer, window and tab page variables do not have a specific type, the |
| 1524 | value can be changed at any time, possibly changing the type. Therefore, in |
| 1525 | compiled code the "any" type is assumed. |
| 1526 | |
| 1527 | This can be a problem when the "any" type is undesired and the actual type is |
| 1528 | expected to always be the same. For example, when declaring a list: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1529 | var l: list<number> = [1, g:two] |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 1530 | At compile time Vim doesn't know the type of "g:two" and the expression type |
| 1531 | becomes list<any>. An instruction is generated to check the list type before |
| 1532 | doing the assignment, which is a bit inefficient. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1533 | *type-casting* *E1104* |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 1534 | To avoid this, use a type cast: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1535 | var l: list<number> = [1, <number>g:two] |
Bram Moolenaar | 4072ba5 | 2020-12-23 13:56:35 +0100 | [diff] [blame] | 1536 | The compiled code will then only check that "g:two" is a number and give an |
| 1537 | error if it isn't. This is called type casting. |
Bram Moolenaar | 64d662d | 2020-08-09 19:02:50 +0200 | [diff] [blame] | 1538 | |
| 1539 | The syntax of a type cast is: "<" {type} ">". There cannot be white space |
| 1540 | after the "<" or before the ">" (to avoid them being confused with |
| 1541 | smaller-than and bigger-than operators). |
| 1542 | |
| 1543 | The semantics is that, if needed, a runtime type check is performed. The |
| 1544 | value is not actually changed. If you need to change the type, e.g. to change |
| 1545 | it to a string, use the |string()| function. Or use |str2nr()| to convert a |
| 1546 | string to a number. |
| 1547 | |
Bram Moolenaar | 2ecbe53 | 2022-07-29 21:36:21 +0100 | [diff] [blame] | 1548 | If a type is given where it is not expected you can get *E1272* . |
| 1549 | |
Bram Moolenaar | 64d662d | 2020-08-09 19:02:50 +0200 | [diff] [blame] | 1550 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1551 | Type inference ~ |
| 1552 | *type-inference* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1553 | In general: Whenever the type is clear it can be omitted. For example, when |
| 1554 | declaring a variable and giving it a value: > |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1555 | var name = 0 # infers number type |
| 1556 | var name = 'hello' # infers string type |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1557 | |
Bram Moolenaar | 127542b | 2020-08-09 17:22:04 +0200 | [diff] [blame] | 1558 | The type of a list and dictionary comes from the common type of the values. |
| 1559 | If the values all have the same type, that type is used for the list or |
| 1560 | dictionary. If there is a mix of types, the "any" type is used. > |
| 1561 | [1, 2, 3] list<number> |
| 1562 | ['a', 'b', 'c'] list<string> |
| 1563 | [1, 'x', 3] list<any> |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1564 | |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 1565 | The common type of function references, if they do not all have the same |
| 1566 | number of arguments, uses "(...)" to indicate the number of arguments is not |
| 1567 | specified. For example: > |
| 1568 | def Foo(x: bool) |
| 1569 | enddef |
| 1570 | def Bar(x: bool, y: bool) |
| 1571 | enddef |
| 1572 | var funclist = [Foo, Bar] |
| 1573 | echo funclist->typename() |
| 1574 | Results in: |
| 1575 | list<func(...)> |
| 1576 | |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 1577 | For script-local variables in Vim9 script the type is checked, also when the |
| 1578 | variable was declared in a legacy function. |
| 1579 | |
Bram Moolenaar | 9da17d7 | 2022-02-09 21:50:44 +0000 | [diff] [blame] | 1580 | When a type has been declared this is attached to a List or Dictionary. When |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1581 | later some expression attempts to change the type an error will be given: > |
| 1582 | var ll: list<number> = [1, 2, 3] |
Bram Moolenaar | c4573eb | 2022-01-31 15:40:56 +0000 | [diff] [blame] | 1583 | ll->extend(['x']) # Error, 'x' is not a number |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1584 | |
Bram Moolenaar | 9da17d7 | 2022-02-09 21:50:44 +0000 | [diff] [blame] | 1585 | If the type is not declared then it is allowed to change: > |
Bram Moolenaar | c4573eb | 2022-01-31 15:40:56 +0000 | [diff] [blame] | 1586 | [1, 2, 3]->extend(['x']) # result: [1, 2, 3, 'x'] |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1587 | |
Bram Moolenaar | 9da17d7 | 2022-02-09 21:50:44 +0000 | [diff] [blame] | 1588 | For a variable declaration an inferred type matters: > |
| 1589 | var ll = [1, 2, 3] |
| 1590 | ll->extend(['x']) # Error, 'x' is not a number |
| 1591 | That is because the declaration looks like a list of numbers, thus is |
| 1592 | equivalent to: > |
| 1593 | var ll: list<number> = [1, 2, 3] |
| 1594 | If you do want a more permissive list you need to declare the type: > |
| 1595 | var ll: list<any = [1, 2, 3] |
| 1596 | ll->extend(['x']) # OK |
| 1597 | |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1598 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1599 | Stricter type checking ~ |
| 1600 | *type-checking* |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1601 | In legacy Vim script, where a number was expected, a string would be |
| 1602 | automatically converted to a number. This was convenient for an actual number |
Bram Moolenaar | 130cbfc | 2021-04-07 21:07:20 +0200 | [diff] [blame] | 1603 | such as "123", but leads to unexpected problems (and no error message) if the |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1604 | string doesn't start with a number. Quite often this leads to hard-to-find |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 1605 | bugs. e.g.: > |
| 1606 | echo 123 == '123' |
| 1607 | < 1 ~ |
| 1608 | With an accidental space: > |
| 1609 | echo 123 == ' 123' |
| 1610 | < 0 ~ |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1611 | *E1206* *E1210* *E1212* |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1612 | In Vim9 script this has been made stricter. In most places it works just as |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 1613 | before if the value used matches the expected type. There will sometimes be |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 1614 | an error, thus breaking backwards compatibility. For example: |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1615 | - Using a number other than 0 or 1 where a boolean is expected. *E1023* |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 1616 | - Using a string value when setting a number option. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1617 | - Using a number where a string is expected. *E1024* *E1105* |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1618 | |
Bram Moolenaar | 2286304 | 2021-10-16 15:23:36 +0100 | [diff] [blame] | 1619 | One consequence is that the item type of a list or dict given to |map()| must |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 1620 | not change, if the type was declared. This will give an error in Vim9 |
| 1621 | script: > |
| 1622 | var mylist: list<number> = [1, 2, 3] |
| 1623 | echo map(mylist, (i, v) => 'item ' .. i) |
| 1624 | < E1012: Type mismatch; expected number but got string in map() ~ |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 1625 | |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 1626 | Instead use |mapnew()|, it creates a new list: > |
| 1627 | var mylist: list<number> = [1, 2, 3] |
| 1628 | echo mapnew(mylist, (i, v) => 'item ' .. i) |
| 1629 | < ['item 0', 'item 1', 'item 2'] ~ |
| 1630 | |
| 1631 | If the item type was not declared or determined to be "any" it can change to a |
| 1632 | more specific type. E.g. when a list of mixed types gets changed to a list of |
| 1633 | strings: > |
Bram Moolenaar | 90df4b9 | 2021-07-07 20:26:08 +0200 | [diff] [blame] | 1634 | var mylist = [1, 2.0, '3'] |
| 1635 | # typename(mylist) == "list<any>" |
| 1636 | map(mylist, (i, v) => 'item ' .. i) |
| 1637 | # typename(mylist) == "list<string>", no error |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 1638 | |
| 1639 | There is a subtle difference between using a list constant directly and |
Bram Moolenaar | afa048f | 2022-02-22 20:43:36 +0000 | [diff] [blame] | 1640 | through a variable declaration. Because of type inference, when using a list |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 1641 | constant to initialize a variable, this also sets the declared type: > |
| 1642 | var mylist = [1, 2, 3] |
| 1643 | # typename(mylist) == "list<number>" |
| 1644 | echo map(mylist, (i, v) => 'item ' .. i) # Error! |
| 1645 | |
| 1646 | When using the list constant directly, the type is not declared and is allowed |
| 1647 | to change: > |
| 1648 | echo map([1, 2, 3], (i, v) => 'item ' .. i) # OK |
| 1649 | |
| 1650 | The reasoning behind this is that when a type is declared and the list is |
| 1651 | passed around and changed, the declaration must always hold. So that you can |
| 1652 | rely on the type to match the declared type. For a constant this is not |
| 1653 | needed. |
| 1654 | |
| 1655 | *E1158* |
Bram Moolenaar | 9faec4e | 2021-02-27 16:38:07 +0100 | [diff] [blame] | 1656 | Same for |extend()|, use |extendnew()| instead, and for |flatten()|, use |
Bram Moolenaar | 944697a | 2022-02-20 19:48:20 +0000 | [diff] [blame] | 1657 | |flattennew()| instead. Since |flatten()| is intended to always change the |
| 1658 | type, it can not be used in Vim9 script. |
| 1659 | |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1660 | *E1211* *E1217* *E1218* *E1219* *E1220* *E1221* |
| 1661 | *E1222* *E1223* *E1224* *E1225* *E1226* *E1227* |
| 1662 | *E1228* *E1238* *E1250* *E1251* *E1252* *E1253* |
Bram Moolenaar | 71b6d33 | 2022-09-10 13:13:14 +0100 | [diff] [blame] | 1663 | *E1256* *E1297* *E1298* *E1301* |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1664 | Types are checked for most builtin functions to make it easier to spot |
| 1665 | mistakes. |
Bram Moolenaar | 82be484 | 2021-01-11 19:40:15 +0100 | [diff] [blame] | 1666 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1667 | ============================================================================== |
| 1668 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1669 | 5. Namespace, Import and Export |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1670 | *vim9script* *vim9-export* *vim9-import* |
| 1671 | |
Bram Moolenaar | fd31be2 | 2022-01-16 14:46:06 +0000 | [diff] [blame] | 1672 | A Vim9 script can be written to be imported. This means that some items are |
| 1673 | intentionally exported, made available to other scripts. When the exporting |
| 1674 | script is imported in another script, these exported items can then be used in |
| 1675 | that script. All the other items remain script-local in the exporting script |
| 1676 | and cannot be accessed by the importing script. |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 1677 | |
| 1678 | This mechanism exists for writing a script that can be sourced (imported) by |
| 1679 | other scripts, while making sure these other scripts only have access to what |
| 1680 | you want them to. This also avoids using the global namespace, which has a |
Bram Moolenaar | 6ba83ba | 2022-06-12 22:15:57 +0100 | [diff] [blame] | 1681 | risk of name collisions. For example when you have two plugins with similar |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 1682 | functionality. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1683 | |
Bram Moolenaar | fd31be2 | 2022-01-16 14:46:06 +0000 | [diff] [blame] | 1684 | You can cheat by using the global namespace explicitly. That should be done |
| 1685 | only for things that really are global. |
Bram Moolenaar | 207f009 | 2020-08-30 17:20:20 +0200 | [diff] [blame] | 1686 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1687 | |
| 1688 | Namespace ~ |
Bram Moolenaar | dcc58e0 | 2020-12-28 20:53:21 +0100 | [diff] [blame] | 1689 | *vim9-namespace* |
Bram Moolenaar | 560979e | 2020-02-04 22:53:05 +0100 | [diff] [blame] | 1690 | To recognize a file that can be imported the `vim9script` statement must |
Bram Moolenaar | d3f8a9e | 2021-02-17 21:57:03 +0100 | [diff] [blame] | 1691 | appear as the first statement in the file (see |vim9-mix| for an exception). |
| 1692 | It tells Vim to interpret the script in its own namespace, instead of the |
| 1693 | global namespace. If a file starts with: > |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1694 | vim9script |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1695 | var myvar = 'yes' |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1696 | Then "myvar" will only exist in this file. While without `vim9script` it would |
| 1697 | be available as `g:myvar` from any other script and function. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 1698 | *E1101* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1699 | The variables at the file level are very much like the script-local "s:" |
Bram Moolenaar | 2c7f8c5 | 2020-04-20 19:52:53 +0200 | [diff] [blame] | 1700 | variables in legacy Vim script, but the "s:" is omitted. And they cannot be |
| 1701 | deleted. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1702 | |
Bram Moolenaar | 2c7f8c5 | 2020-04-20 19:52:53 +0200 | [diff] [blame] | 1703 | In Vim9 script the global "g:" namespace can still be used as before. And the |
| 1704 | "w:", "b:" and "t:" namespaces. These have in common that variables are not |
Bram Moolenaar | 9712ff1 | 2022-09-18 13:04:22 +0100 | [diff] [blame] | 1705 | declared, have no specific type and they can be deleted. *E1304* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1706 | |
| 1707 | A side effect of `:vim9script` is that the 'cpoptions' option is set to the |
| 1708 | Vim default value, like with: > |
| 1709 | :set cpo&vim |
| 1710 | One of the effects is that |line-continuation| is always enabled. |
Bram Moolenaar | 3e19169 | 2021-03-17 17:46:00 +0100 | [diff] [blame] | 1711 | The original value of 'cpoptions' is restored at the end of the script, while |
| 1712 | flags added or removed in the script are also added to or removed from the |
| 1713 | original value to get the same effect. The order of flags may change. |
Bram Moolenaar | 71eb3ad | 2021-12-26 12:07:30 +0000 | [diff] [blame] | 1714 | In the |vimrc| file sourced on startup this does not happen. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1715 | |
Bram Moolenaar | d3f8a9e | 2021-02-17 21:57:03 +0100 | [diff] [blame] | 1716 | *vim9-mix* |
| 1717 | There is one way to use both legacy and Vim9 syntax in one script file: > |
| 1718 | " comments may go here |
| 1719 | if !has('vim9script') |
| 1720 | " legacy script commands go here |
| 1721 | finish |
| 1722 | endif |
| 1723 | vim9script |
| 1724 | # Vim9 script commands go here |
| 1725 | This allows for writing a script that takes advantage of the Vim9 script |
Bram Moolenaar | 9faec4e | 2021-02-27 16:38:07 +0100 | [diff] [blame] | 1726 | syntax if possible, but will also work on a Vim version without it. |
Bram Moolenaar | d3f8a9e | 2021-02-17 21:57:03 +0100 | [diff] [blame] | 1727 | |
| 1728 | This can only work in two ways: |
| 1729 | 1. The "if" statement evaluates to false, the commands up to `endif` are |
| 1730 | skipped and `vim9script` is then the first command actually executed. |
| 1731 | 2. The "if" statement evaluates to true, the commands up to `endif` are |
| 1732 | executed and `finish` bails out before reaching `vim9script`. |
| 1733 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1734 | |
| 1735 | Export ~ |
| 1736 | *:export* *:exp* |
Bram Moolenaar | 2547aa9 | 2020-07-26 17:00:44 +0200 | [diff] [blame] | 1737 | Exporting an item can be written as: > |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1738 | export const EXPORTED_CONST = 1234 |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1739 | export var someValue = ... |
| 1740 | export final someValue = ... |
| 1741 | export const someValue = ... |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1742 | export def MyFunc() ... |
| 1743 | export class MyClass ... |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 1744 | export interface MyClass ... |
Bram Moolenaar | 6f4754b | 2022-01-23 12:07:04 +0000 | [diff] [blame] | 1745 | < *E1043* *E1044* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1746 | As this suggests, only constants, variables, `:def` functions and classes can |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 1747 | be exported. {not implemented yet: class, interface} |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1748 | |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 1749 | *E1042* |
| 1750 | `:export` can only be used in Vim9 script, at the script level. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1751 | |
| 1752 | |
| 1753 | Import ~ |
Bram Moolenaar | 2ecbe53 | 2022-07-29 21:36:21 +0100 | [diff] [blame] | 1754 | *:import* *:imp* *E1094* *E1047* *E1262* |
| 1755 | *E1048* *E1049* *E1053* *E1071* *E1088* *E1236* |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 1756 | The exported items can be imported in another script. The import syntax has |
| 1757 | two forms. The simple form: > |
| 1758 | import {filename} |
| 1759 | < |
| 1760 | Where {filename} is an expression that must evaluate to a string. In this |
| 1761 | form the filename should end in ".vim" and the portion before ".vim" will |
| 1762 | become the script local name of the namespace. For example: > |
Bram Moolenaar | d5f400c | 2022-01-06 21:10:28 +0000 | [diff] [blame] | 1763 | import "myscript.vim" |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 1764 | < |
| 1765 | This makes each exported item in "myscript.vim" available as "myscript.item". |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1766 | *:import-as* *E1257* *E1261* |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 1767 | In case the name is long or ambiguous, this form can be used to specify |
| 1768 | another name: > |
| 1769 | import {longfilename} as {name} |
| 1770 | < |
| 1771 | In this form {name} becomes a specific script local name for the imported |
| 1772 | namespace. Therefore {name} must consist of letters, digits and '_', like |
| 1773 | |internal-variables|. The {longfilename} expression must evaluate to any |
| 1774 | filename. For example: > |
| 1775 | import "thatscript.vim.v2" as that |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1776 | < *E1060* *E1258* *E1259* *E1260* |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 1777 | Then you can use "that.item", etc. You are free to choose the name "that". |
| 1778 | Use something that will be recognized as referring to the imported script. |
| 1779 | Avoid command names, command modifiers and builtin function names, because the |
| 1780 | name will shadow them. Better not start the name starts with a capital |
| 1781 | letter, since it can then also shadow global user commands and functions. |
| 1782 | Also, you cannot use the name for something else in the script, such as a |
| 1783 | function or variable name. |
Bram Moolenaar | d5f400c | 2022-01-06 21:10:28 +0000 | [diff] [blame] | 1784 | |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 1785 | In case the dot in the name is undesired, a local reference can be made for a |
| 1786 | function: > |
| 1787 | var LongFunc = that.LongFuncName |
Bram Moolenaar | d5f400c | 2022-01-06 21:10:28 +0000 | [diff] [blame] | 1788 | |
| 1789 | This also works for constants: > |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 1790 | const MAXLEN = that.MAX_LEN_OF_NAME |
Bram Moolenaar | d5f400c | 2022-01-06 21:10:28 +0000 | [diff] [blame] | 1791 | |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 1792 | This does not work for variables, since the value would be copied once and |
| 1793 | when changing the variable the copy will change, not the original variable. |
| 1794 | You will need to use the full name, with the dot. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1795 | |
Bram Moolenaar | 4db572e | 2021-07-18 18:21:38 +0200 | [diff] [blame] | 1796 | `:import` can not be used in a function. Imported items are intended to exist |
| 1797 | at the script level and only imported once. |
| 1798 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1799 | The script name after `import` can be: |
| 1800 | - A relative path, starting "." or "..". This finds a file relative to the |
| 1801 | location of the script file itself. This is useful to split up a large |
| 1802 | plugin into several files. |
| 1803 | - An absolute path, starting with "/" on Unix or "D:/" on MS-Windows. This |
Bram Moolenaar | cb80aa2 | 2020-10-26 21:12:46 +0100 | [diff] [blame] | 1804 | will rarely be used. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1805 | - A path not being relative or absolute. This will be found in the |
| 1806 | "import" subdirectories of 'runtimepath' entries. The name will usually be |
| 1807 | longer and unique, to avoid loading the wrong file. |
Bram Moolenaar | 6aa5729 | 2021-08-14 21:25:52 +0200 | [diff] [blame] | 1808 | Note that "after/import" is not used. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1809 | |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 1810 | If the name does not end in ".vim" then the use of "as name" is required. |
| 1811 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1812 | Once a vim9 script file has been imported, the result is cached and used the |
| 1813 | next time the same script is imported. It will not be read again. |
Bram Moolenaar | d5f400c | 2022-01-06 21:10:28 +0000 | [diff] [blame] | 1814 | |
| 1815 | It is not allowed to import the same script twice, also when using two |
| 1816 | different "as" names. |
Bram Moolenaar | 2f0936c | 2022-01-08 21:51:59 +0000 | [diff] [blame] | 1817 | |
| 1818 | When using the imported name the dot and the item name must be in the same |
| 1819 | line, there can be no line break: > |
| 1820 | echo that. |
| 1821 | name # Error! |
| 1822 | echo that |
| 1823 | .name # Error! |
Bram Moolenaar | 48c3f4e | 2022-08-08 15:42:38 +0100 | [diff] [blame] | 1824 | < *import-map* |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 1825 | When you've imported a function from one script into a vim9 script you can |
| 1826 | refer to the imported function in a mapping by prefixing it with |<SID>|: > |
Bram Moolenaar | 8944551 | 2022-04-14 12:58:23 +0100 | [diff] [blame] | 1827 | noremap <silent> ,a :call <SID>name.Function()<CR> |
| 1828 | |
| 1829 | When the mapping is defined "<SID>name." will be replaced with <SNR> and the |
| 1830 | script ID of the imported script. |
Bram Moolenaar | 6ba83ba | 2022-06-12 22:15:57 +0100 | [diff] [blame] | 1831 | An even simpler solution is using |<ScriptCmd>|: > |
| 1832 | noremap ,a <ScriptCmd>name.Function()<CR> |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 1833 | |
| 1834 | Note that this does not work for variables, only for functions. |
| 1835 | |
| 1836 | *import-legacy* *legacy-import* |
| 1837 | `:import` can also be used in legacy Vim script. The imported namespace still |
| 1838 | becomes script-local, even when the "s:" prefix is not given. For example: > |
| 1839 | import "myfile.vim" |
| 1840 | call s:myfile.MyFunc() |
| 1841 | |
| 1842 | And using the "as name" form: > |
| 1843 | import "otherfile.vim9script" as that |
| 1844 | call s:that.OtherFunc() |
| 1845 | |
Bram Moolenaar | 9712ff1 | 2022-09-18 13:04:22 +0100 | [diff] [blame] | 1846 | However, the namespace cannot be resolved on its own: > |
Bram Moolenaar | 5ed1153 | 2022-07-06 13:18:11 +0100 | [diff] [blame] | 1847 | import "that.vim" |
| 1848 | echo s:that |
| 1849 | " ERROR: E1060: Expected dot after name: s:that |
| 1850 | < |
| 1851 | This also affects the use of |<SID>| in the legacy mapping context. Since |
| 1852 | |<SID>| is only a valid prefix for a function and NOT for a namespace, you |
| 1853 | cannot use it |
| 1854 | to scope a function in a script local namespace. Instead of prefixing the |
| 1855 | function with |<SID>| you should use|<ScriptCmd>|. For example: > |
| 1856 | noremap ,a <ScriptCmd>:call s:that.OtherFunc()<CR> |
Bram Moolenaar | 6ba83ba | 2022-06-12 22:15:57 +0100 | [diff] [blame] | 1857 | < |
Bram Moolenaar | 8944551 | 2022-04-14 12:58:23 +0100 | [diff] [blame] | 1858 | *:import-cycle* |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1859 | The `import` commands are executed when encountered. If script A imports |
| 1860 | script B, and B (directly or indirectly) imports A, this will be skipped over. |
| 1861 | At this point items in A after "import B" will not have been processed and |
| 1862 | defined yet. Therefore cyclic imports can exist and not result in an error |
| 1863 | directly, but may result in an error for items in A after "import B" not being |
| 1864 | defined. This does not apply to autoload imports, see the next section. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1865 | |
| 1866 | |
Bram Moolenaar | fd31be2 | 2022-01-16 14:46:06 +0000 | [diff] [blame] | 1867 | Importing an autoload script ~ |
Bram Moolenaar | fd99945 | 2022-08-24 18:30:14 +0100 | [diff] [blame] | 1868 | *vim9-autoload* *import-autoload* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1869 | For optimal startup speed, loading scripts should be postponed until they are |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1870 | actually needed. Using the autoload mechanism is recommended: |
Bram Moolenaar | a2baa73 | 2022-02-04 16:09:54 +0000 | [diff] [blame] | 1871 | *E1264* |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1872 | 1. In the plugin define user commands, functions and/or mappings that refer to |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1873 | items imported from an autoload script. > |
| 1874 | import autoload 'for/search.vim' |
| 1875 | command -nargs=1 SearchForStuff search.Stuff(<f-args>) |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1876 | |
| 1877 | < This goes in .../plugin/anyname.vim. "anyname.vim" can be freely chosen. |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1878 | The "SearchForStuff" command is now available to the user. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1879 | |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1880 | The "autoload" argument to `:import` means that the script is not loaded |
| 1881 | until one of the items is actually used. The script will be found under |
| 1882 | the "autoload" directory in 'runtimepath' instead of the "import" |
Bram Moolenaar | cbaff5e | 2022-04-08 17:45:08 +0100 | [diff] [blame] | 1883 | directory. Alternatively a relative or absolute name can be used, see |
| 1884 | below. |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1885 | |
| 1886 | 2. In the autoload script put the bulk of the code. > |
Bram Moolenaar | fd218c8 | 2022-01-18 16:26:24 +0000 | [diff] [blame] | 1887 | vim9script |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1888 | export def Stuff(arg: string) |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1889 | ... |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1890 | |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1891 | < This goes in .../autoload/for/search.vim. |
| 1892 | |
Bram Moolenaar | fd218c8 | 2022-01-18 16:26:24 +0000 | [diff] [blame] | 1893 | Putting the "search.vim" script under the "/autoload/for/" directory has |
| 1894 | the effect that "for#search#" will be prefixed to every exported item. The |
| 1895 | prefix is obtained from the file name, as you would to manually in a |
| 1896 | legacy autoload script. Thus the exported function can be found with |
| 1897 | "for#search#Stuff", but you would normally use `import autoload` and not |
Bram Moolenaar | 47c532e | 2022-03-19 15:18:53 +0000 | [diff] [blame] | 1898 | use the prefix (which has the side effect of loading the autoload script |
| 1899 | when compiling a function that encounters this name). |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1900 | |
| 1901 | You can split up the functionality and import other scripts from the |
| 1902 | autoload script as you like. This way you can share code between plugins. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1903 | |
Bram Moolenaar | cbaff5e | 2022-04-08 17:45:08 +0100 | [diff] [blame] | 1904 | Searching for the autoload script in all entries in 'runtimepath' can be a bit |
| 1905 | slow. If the plugin knows where the script is located, quite often a relative |
| 1906 | path can be used. This avoids the search and should be quite a bit faster. |
| 1907 | Another advantage is that the script name does not need to be unique. An |
| 1908 | absolute path is also possible. Examples: > |
| 1909 | import autoload '../lib/implement.vim' |
| 1910 | import autoload MyScriptsDir .. '/lib/implement.vim' |
| 1911 | |
Bram Moolenaar | fd31be2 | 2022-01-16 14:46:06 +0000 | [diff] [blame] | 1912 | For defining a mapping that uses the imported autoload script the special key |
| 1913 | |<ScriptCmd>| is useful. It allows for a command in a mapping to use the |
| 1914 | script context of where the mapping was defined. |
| 1915 | |
Bram Moolenaar | 418f1df | 2020-08-12 21:34:49 +0200 | [diff] [blame] | 1916 | When compiling a `:def` function and a function in an autoload script is |
| 1917 | encountered, the script is not loaded until the `:def` function is called. |
Bram Moolenaar | dc4451d | 2022-01-09 21:36:37 +0000 | [diff] [blame] | 1918 | This also means you get any errors only at runtime, since the argument and |
Bram Moolenaar | 47c532e | 2022-03-19 15:18:53 +0000 | [diff] [blame] | 1919 | return types are not known yet. If you would use the name with '#' characters |
| 1920 | then the autoload script IS loaded. |
| 1921 | |
| 1922 | Be careful to not refer to an item in an autoload script that does trigger |
| 1923 | loading it unintentionally. For example, when setting an option that takes a |
| 1924 | function name, make sure to use a string, not a function reference: > |
| 1925 | import autoload 'qftf.vim' |
| 1926 | &quickfixtextfunc = 'qftf.Func' # autoload script NOT loaded |
| 1927 | &quickfixtextfunc = qftf.Func # autoload script IS loaded |
| 1928 | On the other hand, it can be useful to load the script early, at a time when |
| 1929 | any errors should be given. |
Bram Moolenaar | 418f1df | 2020-08-12 21:34:49 +0200 | [diff] [blame] | 1930 | |
Bram Moolenaar | fd31be2 | 2022-01-16 14:46:06 +0000 | [diff] [blame] | 1931 | For testing the |test_override()| function can be used to have the |
| 1932 | `import autoload` load the script right away, so that the items and types can |
| 1933 | be checked without waiting for them to be actually used: > |
| 1934 | test_override('autoload', 1) |
| 1935 | Reset it later with: > |
| 1936 | test_override('autoload', 0) |
| 1937 | Or: > |
| 1938 | test_override('ALL', 0) |
| 1939 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1940 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 1941 | ============================================================================== |
| 1942 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 1943 | 6. Future work: classes *vim9-classes* |
| 1944 | |
| 1945 | Above "class" was mentioned a few times, but it has not been implemented yet. |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 1946 | Most of Vim9 script can be created without this functionality, and since |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 1947 | implementing classes is going to be a lot of work, it is left for the future. |
| 1948 | For now we'll just make sure classes can be added later. |
| 1949 | |
| 1950 | Thoughts: |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 1951 | - `class` / `endclass`, the whole class must be in one file |
| 1952 | - Class names are always CamelCase (to avoid a name clash with builtin types) |
Bram Moolenaar | d13166e | 2022-11-18 21:49:57 +0000 | [diff] [blame] | 1953 | - A single constructor called "constructor" (similar to TypeScript) |
| 1954 | - Single inheritance: `class ThisClass extends BaseClass` |
| 1955 | - `interface` / `endinterface` (looks like a class without any implementation) |
| 1956 | - Explicit declaration that the class supports an interface, so that type |
| 1957 | checking works properly: |
| 1958 | `class SomeClass implements SomeInterface, OtherInterface` |
| 1959 | - `abstract class` (class with incomplete implementation) - not really needed? |
| 1960 | - Class (static) methods and Object methods: syntax to be defined. |
| 1961 | - Class (static) members and Object members: syntax to be defined. |
| 1962 | - Access control: private / protected / shared / public ? Keep it simple. |
| 1963 | - Access object members with `this.member` ? |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 1964 | - Generics for class: `class <Tkey, Tentry>` |
| 1965 | - Generics for function: `def <Tkey> GetLast(key: Tkey)` |
Bram Moolenaar | d13166e | 2022-11-18 21:49:57 +0000 | [diff] [blame] | 1966 | - Method overloading (two methods with the same name but different argument |
| 1967 | types): Most likely not |
| 1968 | - Mixins: not sure if that is useful, leave out for simplicity. |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 1969 | |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 1970 | Again, much of this is from TypeScript with a slightly different syntax. |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 1971 | |
| 1972 | Some things that look like good additions: |
| 1973 | - Use a class as an interface (like Dart) |
| 1974 | - Extend a class with methods, using an import (like Dart) |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 1975 | - Mixins |
| 1976 | - For testing: Mock mechanism |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 1977 | |
| 1978 | An important class that will be provided is "Promise". Since Vim is single |
| 1979 | threaded, connecting asynchronous operations is a natural way of allowing |
| 1980 | plugins to do their work without blocking the user. It's a uniform way to |
| 1981 | invoke callbacks and handle timeouts and errors. |
| 1982 | |
Bram Moolenaar | 1588bc8 | 2022-03-08 21:35:07 +0000 | [diff] [blame] | 1983 | Some commands have already been reserved: |
| 1984 | *:class* |
| 1985 | *:endclass* |
| 1986 | *:abstract* |
| 1987 | *:enum* |
| 1988 | *:endenum* |
| 1989 | *:interface* |
| 1990 | *:endinterface* |
| 1991 | *:static* |
| 1992 | *:type* |
| 1993 | |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 1994 | Some examples: > |
| 1995 | |
Bram Moolenaar | b59ae59 | 2022-11-23 23:46:31 +0000 | [diff] [blame] | 1996 | abstract class Person |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 1997 | static const prefix = 'xxx' |
| 1998 | var name: string |
Bram Moolenaar | b59ae59 | 2022-11-23 23:46:31 +0000 | [diff] [blame] | 1999 | |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 2000 | def constructor(name: string) |
Bram Moolenaar | 53f7fcc | 2021-07-28 20:10:16 +0200 | [diff] [blame] | 2001 | this.name = name |
Bram Moolenaar | 7423577 | 2021-06-12 14:53:05 +0200 | [diff] [blame] | 2002 | enddef |
| 2003 | |
| 2004 | def display(): void |
| 2005 | echo name |
| 2006 | enddef |
| 2007 | |
| 2008 | abstract def find(string): Person |
| 2009 | endclass |
| 2010 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2011 | ============================================================================== |
| 2012 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2013 | 9. Rationale *vim9-rationale* |
| 2014 | |
| 2015 | The :def command ~ |
| 2016 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2017 | Plugin writers have asked for much faster Vim script. Investigations have |
Bram Moolenaar | 560979e | 2020-02-04 22:53:05 +0100 | [diff] [blame] | 2018 | shown that keeping the existing semantics of function calls make this close to |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2019 | impossible, because of the overhead involved with calling a function, setting |
| 2020 | up the local function scope and executing lines. There are many details that |
| 2021 | need to be handled, such as error messages and exceptions. The need to create |
| 2022 | a dictionary for a: and l: scopes, the a:000 list and several others add too |
| 2023 | much overhead that cannot be avoided. |
| 2024 | |
| 2025 | Therefore the `:def` method to define a new-style function had to be added, |
| 2026 | which allows for a function with different semantics. Most things still work |
| 2027 | as before, but some parts do not. A new way to define a function was |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2028 | considered the best way to separate the legacy style code from Vim9 style code. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2029 | |
| 2030 | Using "def" to define a function comes from Python. Other languages use |
| 2031 | "function" which clashes with legacy Vim script. |
| 2032 | |
| 2033 | |
| 2034 | Type checking ~ |
| 2035 | |
| 2036 | When compiling lines of Vim commands into instructions as much as possible |
| 2037 | should be done at compile time. Postponing it to runtime makes the execution |
| 2038 | slower and means mistakes are found only later. For example, when |
| 2039 | encountering the "+" character and compiling this into a generic add |
Bram Moolenaar | 98a29d0 | 2021-01-18 19:55:44 +0100 | [diff] [blame] | 2040 | instruction, at runtime the instruction would have to inspect the type of the |
| 2041 | arguments and decide what kind of addition to do. And when the type is |
| 2042 | dictionary throw an error. If the types are known to be numbers then an "add |
| 2043 | number" instruction can be used, which is faster. The error can be given at |
| 2044 | compile time, no error handling is needed at runtime, since adding two numbers |
| 2045 | cannot fail. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2046 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2047 | The syntax for types, using <type> for compound types, is similar to Java. It |
| 2048 | is easy to understand and widely used. The type names are what were used in |
| 2049 | Vim before, with some additions such as "void" and "bool". |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2050 | |
| 2051 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2052 | Removing clutter and weirdness ~ |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2053 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2054 | Once decided that `:def` functions have different syntax than legacy functions, |
| 2055 | we are free to add improvements to make the code more familiar for users who |
| 2056 | know popular programming languages. In other words: remove weird things that |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2057 | only Vim does. |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2058 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2059 | We can also remove clutter, mainly things that were done to make Vim script |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2060 | backwards compatible with the good old Vi commands. |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2061 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2062 | Examples: |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2063 | - Drop `:call` for calling a function and `:eval` for evaluating an |
| 2064 | expression. |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2065 | - Drop using a leading backslash for line continuation, automatically figure |
| 2066 | out where an expression ends. |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2067 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2068 | However, this does require that some things need to change: |
| 2069 | - Comments start with # instead of ", to avoid confusing them with strings. |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2070 | This is good anyway, it is also used by several popular languages. |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2071 | - Ex command ranges need to be prefixed with a colon, to avoid confusion with |
| 2072 | expressions (single quote can be a string or a mark, "/" can be divide or a |
| 2073 | search command, etc.). |
| 2074 | |
| 2075 | Goal is to limit the differences. A good criteria is that when the old syntax |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2076 | is accidentally used you are very likely to get an error message. |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2077 | |
| 2078 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2079 | Syntax and semantics from popular languages ~ |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2080 | |
| 2081 | Script writers have complained that the Vim script syntax is unexpectedly |
| 2082 | different from what they are used to. To reduce this complaint popular |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2083 | languages are used as an example. At the same time, we do not want to abandon |
| 2084 | the well-known parts of legacy Vim script. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2085 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2086 | For many things TypeScript is followed. It's a recent language that is |
| 2087 | gaining popularity and has similarities with Vim script. It also has a |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2088 | mix of static typing (a variable always has a known value type) and dynamic |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2089 | typing (a variable can have different types, this changes at runtime). Since |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2090 | legacy Vim script is dynamically typed and a lot of existing functionality |
| 2091 | (esp. builtin functions) depends on that, while static typing allows for much |
| 2092 | faster execution, we need to have this mix in Vim9 script. |
| 2093 | |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 2094 | There is no intention to completely match TypeScript syntax and semantics. We |
| 2095 | just want to take those parts that we can use for Vim and we expect Vim users |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2096 | will be happy with. TypeScript is a complex language with its own history, |
| 2097 | advantages and disadvantages. To get an idea of the disadvantages read the |
| 2098 | book: "JavaScript: The Good Parts". Or find the article "TypeScript: the good |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 2099 | parts" and read the "Things to avoid" section. |
| 2100 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2101 | People familiar with other languages (Java, Python, etc.) will also find |
| 2102 | things in TypeScript that they do not like or do not understand. We'll try to |
| 2103 | avoid those things. |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 2104 | |
| 2105 | Specific items from TypeScript we avoid: |
| 2106 | - Overloading "+", using it both for addition and string concatenation. This |
| 2107 | goes against legacy Vim script and often leads to mistakes. For that reason |
| 2108 | we will keep using ".." for string concatenation. Lua also uses ".." this |
| 2109 | way. And it allows for conversion to string for more values. |
| 2110 | - TypeScript can use an expression like "99 || 'yes'" in a condition, but |
| 2111 | cannot assign the value to a boolean. That is inconsistent and can be |
| 2112 | annoying. Vim recognizes an expression with && or || and allows using the |
Bram Moolenaar | 1f318c6 | 2021-12-26 18:09:31 +0000 | [diff] [blame] | 2113 | result as a bool. The |falsy-operator| was added for the mechanism to use a |
| 2114 | default value. |
Bram Moolenaar | 0b4c66c | 2020-09-14 21:39:44 +0200 | [diff] [blame] | 2115 | - TypeScript considers an empty string as Falsy, but an empty list or dict as |
| 2116 | Truthy. That is inconsistent. In Vim an empty list and dict are also |
| 2117 | Falsy. |
| 2118 | - TypeScript has various "Readonly" types, which have limited usefulness, |
| 2119 | since a type cast can remove the immutable nature. Vim locks the value, |
| 2120 | which is more flexible, but is only checked at runtime. |
Bram Moolenaar | f10911e | 2022-01-29 22:20:48 +0000 | [diff] [blame] | 2121 | - TypeScript has a complicated "import" statement that does not match how the |
| 2122 | Vim import mechanism works. A much simpler mechanism is used instead, which |
| 2123 | matches that the imported script is only sourced once. |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 2124 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2125 | |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2126 | Declarations ~ |
| 2127 | |
| 2128 | Legacy Vim script uses `:let` for every assignment, while in Vim9 declarations |
| 2129 | are used. That is different, thus it's good to use a different command: |
| 2130 | `:var`. This is used in many languages. The semantics might be slightly |
| 2131 | different, but it's easily recognized as a declaration. |
| 2132 | |
Bram Moolenaar | 23515b4 | 2020-11-29 14:36:24 +0100 | [diff] [blame] | 2133 | Using `:const` for constants is common, but the semantics varies. Some |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2134 | languages only make the variable immutable, others also make the value |
| 2135 | immutable. Since "final" is well known from Java for only making the variable |
| 2136 | immutable we decided to use that. And then `:const` can be used for making |
| 2137 | both immutable. This was also used in legacy Vim script and the meaning is |
| 2138 | almost the same. |
| 2139 | |
| 2140 | What we end up with is very similar to Dart: > |
| 2141 | :var name # mutable variable and value |
| 2142 | :final name # immutable variable, mutable value |
| 2143 | :const name # immutable variable and value |
| 2144 | |
| 2145 | Since legacy and Vim9 script will be mixed and global variables will be |
| 2146 | shared, optional type checking is desirable. Also, type inference will avoid |
| 2147 | the need for specifying the type in many cases. The TypeScript syntax fits |
| 2148 | best for adding types to declarations: > |
| 2149 | var name: string # string type is specified |
| 2150 | ... |
| 2151 | name = 'John' |
| 2152 | const greeting = 'hello' # string type is inferred |
| 2153 | |
| 2154 | This is how we put types in a declaration: > |
| 2155 | var mylist: list<string> |
| 2156 | final mylist: list<string> = ['foo'] |
| 2157 | def Func(arg1: number, arg2: string): bool |
| 2158 | |
| 2159 | Two alternatives were considered: |
| 2160 | 1. Put the type before the name, like Dart: > |
| 2161 | var list<string> mylist |
| 2162 | final list<string> mylist = ['foo'] |
| 2163 | def Func(number arg1, string arg2) bool |
| 2164 | 2. Put the type after the variable name, but do not use a colon, like Go: > |
| 2165 | var mylist list<string> |
| 2166 | final mylist list<string> = ['foo'] |
| 2167 | def Func(arg1 number, arg2 string) bool |
| 2168 | |
| 2169 | The first is more familiar for anyone used to C or Java. The second one |
Bram Moolenaar | 4f4d51a | 2020-10-11 13:57:40 +0200 | [diff] [blame] | 2170 | doesn't really have an advantage over the first, so let's discard the second. |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2171 | |
| 2172 | Since we use type inference the type can be left out when it can be inferred |
| 2173 | from the value. This means that after `var` we don't know if a type or a name |
| 2174 | follows. That makes parsing harder, not only for Vim but also for humans. |
| 2175 | Also, it will not be allowed to use a variable name that could be a type name, |
| 2176 | using `var string string` is too confusing. |
| 2177 | |
| 2178 | The chosen syntax, using a colon to separate the name from the type, adds |
| 2179 | punctuation, but it actually makes it easier to recognize the parts of a |
| 2180 | declaration. |
| 2181 | |
| 2182 | |
| 2183 | Expressions ~ |
| 2184 | |
Bram Moolenaar | 4f4d51a | 2020-10-11 13:57:40 +0200 | [diff] [blame] | 2185 | Expression evaluation was already close to what other languages are doing. |
| 2186 | Some details are unexpected and can be improved. For example a boolean |
| 2187 | condition would accept a string, convert it to a number and check if the |
| 2188 | number is non-zero. This is unexpected and often leads to mistakes, since |
| 2189 | text not starting with a number would be converted to zero, which is |
Bram Moolenaar | cb80aa2 | 2020-10-26 21:12:46 +0100 | [diff] [blame] | 2190 | considered false. Thus using a string for a condition would often not give an |
| 2191 | error and be considered false. That is confusing. |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2192 | |
Bram Moolenaar | 23515b4 | 2020-11-29 14:36:24 +0100 | [diff] [blame] | 2193 | In Vim9 type checking is stricter to avoid mistakes. Where a condition is |
Bram Moolenaar | 4f4d51a | 2020-10-11 13:57:40 +0200 | [diff] [blame] | 2194 | used, e.g. with the `:if` command and the `||` operator, only boolean-like |
| 2195 | values are accepted: |
| 2196 | true: `true`, `v:true`, `1`, `0 < 9` |
| 2197 | false: `false`, `v:false`, `0`, `0 > 9` |
| 2198 | Note that the number zero is false and the number one is true. This is more |
Bram Moolenaar | cb80aa2 | 2020-10-26 21:12:46 +0100 | [diff] [blame] | 2199 | permissive than most other languages. It was done because many builtin |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2200 | functions return these values, and changing that causes more problems than it |
| 2201 | solves. After using this for a while it turned out to work well. |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2202 | |
Bram Moolenaar | 4f4d51a | 2020-10-11 13:57:40 +0200 | [diff] [blame] | 2203 | If you have any type of value and want to use it as a boolean, use the `!!` |
| 2204 | operator: |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2205 | true: `!!'text'` `!![99]` `!!{'x': 1}` `!!99` |
| 2206 | false: `!!''` `!![]` `!!{}` |
Bram Moolenaar | 4f4d51a | 2020-10-11 13:57:40 +0200 | [diff] [blame] | 2207 | |
| 2208 | From a language like JavaScript we have this handy construct: > |
| 2209 | GetName() || 'unknown' |
| 2210 | However, this conflicts with only allowing a boolean for a condition. |
| 2211 | Therefore the "??" operator was added: > |
| 2212 | GetName() ?? 'unknown' |
| 2213 | Here you can explicitly express your intention to use the value as-is and not |
| 2214 | result in a boolean. This is called the |falsy-operator|. |
Bram Moolenaar | 30fd820 | 2020-09-26 15:09:30 +0200 | [diff] [blame] | 2215 | |
| 2216 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2217 | Import and Export ~ |
| 2218 | |
| 2219 | A problem of legacy Vim script is that by default all functions and variables |
| 2220 | are global. It is possible to make them script-local, but then they are not |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 2221 | available in other scripts. This defies the concept of a package that only |
| 2222 | exports selected items and keeps the rest local. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2223 | |
Bram Moolenaar | 3d1cde8 | 2020-08-15 18:55:18 +0200 | [diff] [blame] | 2224 | In Vim9 script a mechanism very similar to the JavaScript import and export |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2225 | mechanism is supported. It is a variant to the existing `:source` command |
| 2226 | that works like one would expect: |
| 2227 | - Instead of making everything global by default, everything is script-local, |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2228 | some of these are exported. |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 2229 | - When importing a script the symbols that are imported are explicitly listed, |
| 2230 | avoiding name conflicts and failures if functionality is added later. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2231 | - The mechanism allows for writing a big, long script with a very clear API: |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2232 | the exported functions, variables and classes. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2233 | - By using relative paths loading can be much faster for an import inside of a |
| 2234 | package, no need to search many directories. |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2235 | - Once an import has been used, its items are cached and loading it again is |
| 2236 | not needed. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2237 | - The Vim-specific use of "s:" to make things script-local can be dropped. |
| 2238 | |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2239 | When sourcing a Vim9 script (from a Vim9 or legacy script), only the items |
| 2240 | defined globally can be used, not the exported items. Alternatives |
| 2241 | considered: |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2242 | - All the exported items become available as script-local items. This makes |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 2243 | it uncontrollable what items get defined and likely soon leads to trouble. |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2244 | - Use the exported items and make them global. Disadvantage is that it's then |
| 2245 | not possible to avoid name clashes in the global namespace. |
| 2246 | - Completely disallow sourcing a Vim9 script, require using `:import`. That |
| 2247 | makes it difficult to use scripts for testing, or sourcing them from the |
| 2248 | command line to try them out. |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2249 | Note that you CAN also use `:import` in legacy Vim script, see above. |
Bram Moolenaar | 65e0d77 | 2020-06-14 17:29:55 +0200 | [diff] [blame] | 2250 | |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2251 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2252 | Compiling functions early ~ |
| 2253 | |
| 2254 | Functions are compiled when called or when `:defcompile` is used. Why not |
| 2255 | compile them early, so that syntax and type errors are reported early? |
| 2256 | |
| 2257 | The functions can't be compiled right away when encountered, because there may |
| 2258 | be forward references to functions defined later. Consider defining functions |
| 2259 | A, B and C, where A calls B, B calls C, and C calls A again. It's impossible |
| 2260 | to reorder the functions to avoid forward references. |
| 2261 | |
| 2262 | An alternative would be to first scan through the file to locate items and |
| 2263 | figure out their type, so that forward references are found, and only then |
| 2264 | execute the script and compile the functions. This means the script has to be |
| 2265 | parsed twice, which is slower, and some conditions at the script level, such |
| 2266 | as checking if a feature is supported, are hard to use. An attempt was made |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2267 | to see if it works, but it turned out to be impossible to make work well. |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2268 | |
| 2269 | It would be possible to compile all the functions at the end of the script. |
| 2270 | The drawback is that if a function never gets called, the overhead of |
| 2271 | compiling it counts anyway. Since startup speed is very important, in most |
| 2272 | cases it's better to do it later and accept that syntax and type errors are |
| 2273 | only reported then. In case these errors should be found early, e.g. when |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2274 | testing, a `:defcompile` command at the end of the script will help out. |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2275 | |
| 2276 | |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2277 | Why not use an existing embedded language? ~ |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2278 | |
| 2279 | Vim supports interfaces to Perl, Python, Lua, Tcl and a few others. But |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2280 | these interfaces have never become widely used, for various reasons. When |
| 2281 | Vim9 was designed a decision was made to make these interfaces lower priority |
| 2282 | and concentrate on Vim script. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2283 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2284 | Still, plugin writers may find other languages more familiar, want to use |
| 2285 | existing libraries or see a performance benefit. We encourage plugin authors |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2286 | to write code in any language and run it as an external process, using jobs |
| 2287 | and channels. We can try to make this easier somehow. |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2288 | |
| 2289 | Using an external tool also has disadvantages. An alternative is to convert |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2290 | the tool into Vim script. For that to be possible without too much |
| 2291 | translation, and keeping the code fast at the same time, the constructs of the |
| 2292 | tool need to be supported. Since most languages support classes the lack of |
Bram Moolenaar | 1c6737b | 2020-09-07 22:18:52 +0200 | [diff] [blame] | 2293 | support for classes in Vim is then a problem. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2294 | |
Bram Moolenaar | 1d59aa1 | 2020-09-19 18:50:13 +0200 | [diff] [blame] | 2295 | |
| 2296 | Classes ~ |
| 2297 | |
| 2298 | Vim supports a kind-of object oriented programming by adding methods to a |
| 2299 | dictionary. With some care this can be made to work, but it does not look |
| 2300 | like real classes. On top of that, it's quite slow, because of the use of |
| 2301 | dictionaries. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2302 | |
Bram Moolenaar | 6ba83ba | 2022-06-12 22:15:57 +0100 | [diff] [blame] | 2303 | It would be good to support real classes, and this is planned for a later |
Bram Moolenaar | 63f3260 | 2022-06-09 20:45:54 +0100 | [diff] [blame] | 2304 | version. The support is a "minimal common functionality" of class support in |
| 2305 | most languages. It will work much like Java, which is the most popular |
| 2306 | programming language. |
Bram Moolenaar | 8a7d654 | 2020-01-26 15:56:19 +0100 | [diff] [blame] | 2307 | |
| 2308 | |
| 2309 | |
| 2310 | vim:tw=78:ts=8:noet:ft=help:norl: |