blob: 974ee6af6b31110d77a8764ec1242d4316b6512f [file] [log] [blame]
Bram Moolenaardad44732021-03-31 20:07:33 +02001*vim9.txt* For Vim version 8.2. Last change: 2021 Mar 30
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002
3
4 VIM REFERENCE MANUAL by Bram Moolenaar
5
6
7THIS IS STILL UNDER DEVELOPMENT - ANYTHING CAN BREAK - ANYTHING CAN CHANGE
8
Bram Moolenaardcc58e02020-12-28 20:53:21 +01009Vim9 script commands and expressions. *Vim9* *vim9*
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010010
11Most expression help is in |eval.txt|. This file is about the new syntax and
12features in Vim9 script.
13
14THIS IS STILL UNDER DEVELOPMENT - ANYTHING CAN BREAK - ANYTHING CAN CHANGE
15
16
Bram Moolenaar7e6a5152021-01-02 16:39:53 +0100171. What is Vim9 script? |Vim9-script|
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100182. Differences |vim9-differences|
193. New style functions |fast-functions|
204. Types |vim9-types|
215. Namespace, Import and Export |vim9script|
Bram Moolenaar1d59aa12020-09-19 18:50:13 +0200226. Future work: classes |vim9-classes|
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010023
249. Rationale |vim9-rationale|
25
26==============================================================================
27
Bram Moolenaar2b327002020-12-26 15:39:31 +0100281. What is Vim9 script? *Vim9-script*
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010029
30THIS IS STILL UNDER DEVELOPMENT - ANYTHING CAN BREAK - ANYTHING CAN CHANGE
31
Bram Moolenaar7ceefb32020-05-01 16:07:38 +020032Vim script has been growing over time, while preserving backwards
33compatibility. That means bad choices from the past often can't be changed
Bram Moolenaar73fef332020-06-21 22:12:03 +020034and compatibility with Vi restricts possible solutions. Execution is quite
Bram Moolenaar7ceefb32020-05-01 16:07:38 +020035slow, each line is parsed every time it is executed.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010036
Bram Moolenaar7ceefb32020-05-01 16:07:38 +020037The main goal of Vim9 script is to drastically improve performance. This is
38accomplished by compiling commands into instructions that can be efficiently
39executed. An increase in execution speed of 10 to 100 times can be expected.
40
41A secondary goal is to avoid Vim-specific constructs and get closer to
42commonly used programming languages, such as JavaScript, TypeScript and Java.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010043
44The performance improvements can only be achieved by not being 100% backwards
Bram Moolenaar388a5d42020-05-26 21:20:45 +020045compatible. For example, making function arguments available in the
46"a:" dictionary adds quite a lot of overhead. In a Vim9 function this
47dictionary is not available. Other differences are more subtle, such as how
48errors are handled.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010049
50The Vim9 script syntax and semantics are used in:
51- a function defined with the `:def` command
52- a script file where the first command is `vim9script`
Bram Moolenaar1d59aa12020-09-19 18:50:13 +020053- an autocommand defined in the context of the above
Bram Moolenaar39f3b142021-02-14 12:57:36 +010054- a command prefixed with the `vim9cmd` command modifier
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010055
Bram Moolenaar82be4842021-01-11 19:40:15 +010056When using `:function` in a Vim9 script file the legacy syntax is used, with
57the highest |scriptversion|. However, this can be confusing and is therefore
58discouraged.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010059
Bram Moolenaar7ceefb32020-05-01 16:07:38 +020060Vim9 script and legacy Vim script can be mixed. There is no requirement to
Bram Moolenaar1d59aa12020-09-19 18:50:13 +020061rewrite old scripts, they keep working as before. You may want to use a few
62`:def` functions for code that needs to be fast.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010063
Bram Moolenaar39f3b142021-02-14 12:57:36 +010064 *:vim9* *:vim9cmd*
65:vim9[cmd] {cmd}
66 Execute {cmd} using Vim9 script syntax and semantics.
67 Useful when typing a command and in a legacy script or
68 function.
69
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010070==============================================================================
71
722. Differences from legacy Vim script *vim9-differences*
73
74THIS IS STILL UNDER DEVELOPMENT - ANYTHING CAN BREAK - ANYTHING CAN CHANGE
75
Bram Moolenaard58a3bf2020-09-28 21:48:16 +020076Overview ~
77
78Brief summary of the differences you will most often encounter when using Vim9
79script and `:def` functions; details are below:
80- Comments start with #, not ": >
Bram Moolenaar82be4842021-01-11 19:40:15 +010081 echo "hello" # comment
Bram Moolenaard58a3bf2020-09-28 21:48:16 +020082- Using a backslash for line continuation is hardly ever needed: >
Bram Moolenaar82be4842021-01-11 19:40:15 +010083 echo "hello "
Bram Moolenaard58a3bf2020-09-28 21:48:16 +020084 .. yourName
85 .. ", how are you?"
86- White space is required in many places.
87- Assign values without `:let`, declare variables with `:var`: >
Bram Moolenaar82be4842021-01-11 19:40:15 +010088 var count = 0
Bram Moolenaard58a3bf2020-09-28 21:48:16 +020089 count += 3
90- Constants can be declared with `:final` and `:const`: >
Bram Moolenaar82be4842021-01-11 19:40:15 +010091 final matches = [] # add matches
Bram Moolenaard58a3bf2020-09-28 21:48:16 +020092 const names = ['Betty', 'Peter'] # cannot be changed
93- `:final` cannot be used as an abbreviation of `:finally`.
94- Variables and functions are script-local by default.
95- Functions are declared with argument types and return type: >
96 def CallMe(count: number, message: string): bool
97- Call functions without `:call`: >
Bram Moolenaar82be4842021-01-11 19:40:15 +010098 writefile(['done'], 'file.txt')
Bram Moolenaar0289a092021-03-14 18:40:19 +010099- You cannot use `:xit`, `:t`, `:k`, `:append`, `:change`, `:insert`, `:open`
100 or curly-braces names.
Bram Moolenaard58a3bf2020-09-28 21:48:16 +0200101- A range before a command must be prefixed with a colon: >
Bram Moolenaar82be4842021-01-11 19:40:15 +0100102 :%s/this/that
103- Unless mentioned specifically, the highest |scriptversion| is used.
Bram Moolenaard58a3bf2020-09-28 21:48:16 +0200104
105
Bram Moolenaar2c330432020-04-13 14:41:35 +0200106Comments starting with # ~
107
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200108In legacy Vim script comments start with double quote. In Vim9 script
109comments start with #. >
110 # declarations
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200111 var count = 0 # number of occurrences
Bram Moolenaar2c330432020-04-13 14:41:35 +0200112
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200113The reason is that a double quote can also be the start of a string. In many
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200114places, especially halfway through an expression with a line break, it's hard
115to tell what the meaning is, since both a string and a comment can be followed
116by arbitrary text. To avoid confusion only # comments are recognized. This
117is the same as in shell scripts and Python programs.
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200118
119In Vi # is a command to list text with numbers. In Vim9 script you can use
120`:number` for that. >
Bram Moolenaarae616492020-07-28 20:07:27 +0200121 101 number
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200122
123To improve readability there must be a space between a command and the #
Bram Moolenaar2b327002020-12-26 15:39:31 +0100124that starts a comment: >
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100125 var name = value # comment
126 var name = value# error!
Bram Moolenaar2b327002020-12-26 15:39:31 +0100127
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200128Do not start a comment with #{, it looks like the legacy dictionary literal
129and produces an error where this might be confusing. #{{ or #{{{ are OK,
130these can be used to start a fold.
131
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100132In legacy Vim script # is also used for the alternate file name. In Vim9
133script you need to use %% instead. Instead of ## use %%% (stands for all
134arguments).
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200135
Bram Moolenaar2c330432020-04-13 14:41:35 +0200136
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100137Vim9 functions ~
138
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200139A function defined with `:def` is compiled. Execution is many times faster,
140often 10x to 100x times.
141
Bram Moolenaar388a5d42020-05-26 21:20:45 +0200142Many errors are already found when compiling, before the function is executed.
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200143The syntax is strict, to enforce code that is easy to read and understand.
144
Bram Moolenaar1b884a02020-12-10 21:11:27 +0100145Compilation is done when either of these is encountered:
146- the first time the function is called
Bram Moolenaar207f0092020-08-30 17:20:20 +0200147- when the `:defcompile` command is encountered in the script where the
148 function was defined
149- `:disassemble` is used for the function.
150- a function that is compiled calls the function or uses it as a function
151 reference
Bram Moolenaar388a5d42020-05-26 21:20:45 +0200152
153`:def` has no options like `:function` does: "range", "abort", "dict" or
Bram Moolenaar1b884a02020-12-10 21:11:27 +0100154"closure". A `:def` function always aborts on an error (unless `:silent!` was
155used for the command or inside a `:try` block), does not get a range passed
Bram Moolenaar4072ba52020-12-23 13:56:35 +0100156cannot be a "dict" function, and can always be a closure.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100157
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200158The argument types and return type need to be specified. The "any" type can
159be used, type checking will then be done at runtime, like with legacy
160functions.
161
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200162Arguments are accessed by name, without "a:", just like any other language.
163There is no "a:" dictionary or "a:000" list.
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200164
165Variable arguments are defined as the last argument, with a name and have a
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200166list type, similar to TypeScript. For example, a list of numbers: >
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200167 def MyFunc(...itemlist: list<number>)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100168 for item in itemlist
169 ...
170
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200171When a function argument is optional (it has a default value) passing `v:none`
172as the argument results in using the default value. This is useful when you
173want to specify a value for an argument that comes after an argument that
174should use its default value. Example: >
175 def MyFunc(one = 'one', last = 'last)
176 ...
177 enddef
178 MyFunc(v:none, 'LAST') # first argument uses default value 'one'
179
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100180
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200181Functions and variables are script-local by default ~
Bram Moolenaar65e0d772020-06-14 17:29:55 +0200182 *vim9-scopes*
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200183When using `:function` or `:def` to specify a new function at the script level
184in a Vim9 script, the function is local to the script, as if "s:" was
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200185prefixed. Using the "s:" prefix is optional. To define a global function or
186variable the "g:" prefix must be used. For functions in an autoload script
187the "name#" prefix is sufficient. >
Bram Moolenaarea2d8d22020-07-29 22:11:05 +0200188 def ThisFunction() # script-local
189 def s:ThisFunction() # script-local
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200190 def g:ThatFunction() # global
Bram Moolenaarea2d8d22020-07-29 22:11:05 +0200191 def scriptname#function() # autoload
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200192
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200193When using `:function` or `:def` to specify a nested function inside a `:def`
194function, this nested function is local to the code block it is defined in.
Bram Moolenaar4f4d51a2020-10-11 13:57:40 +0200195In a `:def` function it is not possible to define a script-local function. It
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200196is possible to define a global function by using the "g:" prefix.
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200197
198When referring to a function and no "s:" or "g:" prefix is used, Vim will
Bram Moolenaar13106602020-10-04 16:06:05 +0200199search for the function:
Bram Moolenaar4f4d51a2020-10-11 13:57:40 +0200200- in the function scope, in block scopes
Bram Moolenaar13106602020-10-04 16:06:05 +0200201- in the script scope, possibly imported
202- in the list of global functions
203However, it is recommended to always use "g:" to refer to a global function
204for clarity.
205
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200206Since a script-local function reference can be used without "s:" the name must
Bram Moolenaardad44732021-03-31 20:07:33 +0200207start with an upper case letter even when using the "s:" prefix. In legacy
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200208script "s:funcref" could be used, because it could not be referred to with
209"funcref". In Vim9 script it can, therefore "s:Funcref" must be used to avoid
210that the name interferes with builtin functions.
211
Bram Moolenaar13106602020-10-04 16:06:05 +0200212In all cases the function must be defined before used. That is when it is
Bram Moolenaarcb80aa22020-10-26 21:12:46 +0100213called, when `:defcompile` causes it to be compiled, or when code that calls
214it is being compiled (to figure out the return type).
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200215
Bram Moolenaare7b1ea02020-08-07 19:54:59 +0200216The result is that functions and variables without a namespace can usually be
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200217found in the script, either defined there or imported. Global functions and
Bram Moolenaare7b1ea02020-08-07 19:54:59 +0200218variables could be defined anywhere (good luck finding out where!).
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200219
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200220Global functions can still be defined and deleted at nearly any time. In
Bram Moolenaar2cfb4a22020-05-07 18:56:00 +0200221Vim9 script script-local functions are defined once when the script is sourced
Bram Moolenaar388a5d42020-05-26 21:20:45 +0200222and cannot be deleted or replaced.
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200223
Bram Moolenaar4072ba52020-12-23 13:56:35 +0100224When compiling a function and a function call is encountered for a function
225that is not (yet) defined, the |FuncUndefined| autocommand is not triggered.
226You can use an autoload function if needed, or call a legacy function and have
227|FuncUndefined| triggered there.
228
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +0200229
Bram Moolenaar2b327002020-12-26 15:39:31 +0100230Reloading a Vim9 script clears functions and variables by default ~
231 *vim9-reload*
232When loading a legacy Vim script a second time nothing is removed, the
233commands will replace existing variables and functions and create new ones.
234
235When loading a Vim9 script a second time all existing script-local functions
236and variables are deleted, thus you start with a clean slate. This is useful
237if you are developing a plugin and want to try a new version. If you renamed
238something you don't have to worry about the old name still hanging around.
239
240If you do want to keep items, use: >
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100241 vim9script noclear
Bram Moolenaar2b327002020-12-26 15:39:31 +0100242
243You want to use this in scripts that use a `finish` command to bail out at
244some point when loaded again. E.g. when a buffer local option is set: >
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100245 vim9script noclear
Bram Moolenaar2b327002020-12-26 15:39:31 +0100246 setlocal completefunc=SomeFunc
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100247 if exists('*g:SomeFunc') | finish | endif
Bram Moolenaar2b327002020-12-26 15:39:31 +0100248 def g:SomeFunc()
249 ....
250
Bram Moolenaar2b327002020-12-26 15:39:31 +0100251
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200252Variable declarations with :var, :final and :const ~
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200253 *vim9-declaration* *:var*
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200254Local variables need to be declared with `:var`. Local constants need to be
255declared with `:final` or `:const`. We refer to both as "variables" in this
256section.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100257
258Variables can be local to a script, function or code block: >
259 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200260 var script_var = 123
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100261 def SomeFunc()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200262 var func_var = script_var
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100263 if cond
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200264 var block_var = func_var
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100265 ...
266
267The variables are only visible in the block where they are defined and nested
268blocks. Once the block ends the variable is no longer accessible: >
269 if cond
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200270 var inner = 5
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100271 else
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200272 var inner = 0
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100273 endif
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200274 echo inner # Error!
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100275
276The declaration must be done earlier: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200277 var inner: number
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100278 if cond
279 inner = 5
280 else
281 inner = 0
282 endif
283 echo inner
284
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200285To intentionally hide a variable from code that follows, a block can be
286used: >
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100287 {
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200288 var temp = 'temp'
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100289 ...
290 }
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200291 echo temp # Error!
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100292
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200293Declaring a variable with a type but without an initializer will initialize to
294zero, false or empty.
295
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200296In Vim9 script `:let` cannot be used. An existing variable is assigned to
297without any command. The same for global, window, tab, buffer and Vim
298variables, because they are not really declared. They can also be deleted
Bram Moolenaarf5a48012020-08-01 17:00:03 +0200299with `:unlet`.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100300
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200301`:lockvar` does not work on local variables. Use `:const` and `:final`
302instead.
303
Bram Moolenaar9faec4e2021-02-27 16:38:07 +0100304Variables, functions and function arguments cannot shadow previously defined
305or imported variables and functions in the same script file.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100306Variables may shadow Ex commands, rename the variable if needed.
307
Bram Moolenaar7ceefb32020-05-01 16:07:38 +0200308Global variables and user defined functions must be prefixed with "g:", also
309at the script level. >
Bram Moolenaard1caa942020-04-10 22:10:56 +0200310 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200311 var script_local = 'text'
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200312 g:global = 'value'
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200313 var Funcref = g:ThatFunction
Bram Moolenaard1caa942020-04-10 22:10:56 +0200314
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200315Since `&opt = value` is now assigning a value to option "opt", ":&" cannot be
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100316used to repeat a `:substitute` command.
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200317
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200318
319Constants ~
320 *vim9-const* *vim9-final*
321How constants work varies between languages. Some consider a variable that
322can't be assigned another value a constant. JavaScript is an example. Others
323also make the value immutable, thus when a constant uses a list, the list
324cannot be changed. In Vim9 we can use both.
325
326`:const` is used for making both the variable and the value a constant. Use
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200327this for composite structures that you want to make sure will not be modified.
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200328Example: >
329 const myList = [1, 2]
330 myList = [3, 4] # Error!
331 myList[0] = 9 # Error!
Bram Moolenaar9faec4e2021-02-27 16:38:07 +0100332 myList->add(3) # Error!
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200333< *:final*
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200334`:final` is used for making only the variable a constant, the value can be
335changed. This is well known from Java. Example: >
336 final myList = [1, 2]
337 myList = [3, 4] # Error!
338 myList[0] = 9 # OK
Bram Moolenaar9faec4e2021-02-27 16:38:07 +0100339 myList->add(3) # OK
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200340
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200341It is common to write constants as ALL_CAPS, but you don't have to.
342
343The constant only applies to the value itself, not what it refers to. >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200344 final females = ["Mary"]
345 const NAMES = [["John", "Peter"], females]
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200346 NAMES[0] = ["Jack"] # Error!
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200347 NAMES[0][0] = "Jack" # Error!
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200348 NAMES[1] = ["Emma"] # Error!
Bram Moolenaar82be4842021-01-11 19:40:15 +0100349 NAMES[1][0] = "Emma" # OK, now females[0] == "Emma"
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +0200350
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200351< *E1092*
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200352Declaring more than one variable at a time, using the unpack notation, is
353currently not supported: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200354 var [v1, v2] = GetValues() # Error!
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200355That is because the type needs to be inferred from the list item type, which
356isn't that easy.
357
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100358
359Omitting :call and :eval ~
360
361Functions can be called without `:call`: >
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200362 writefile(lines, 'file')
Bram Moolenaar560979e2020-02-04 22:53:05 +0100363Using `:call` is still possible, but this is discouraged.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100364
365A method call without `eval` is possible, so long as the start is an
Bram Moolenaar0289a092021-03-14 18:40:19 +0100366identifier or can't be an Ex command. For a function either "(" or "->" must
367be following, without a line break. Examples: >
Bram Moolenaarae616492020-07-28 20:07:27 +0200368 myList->add(123)
369 g:myList->add(123)
370 [1, 2, 3]->Process()
Bram Moolenaar2bede172020-11-19 18:53:18 +0100371 {a: 1, b: 2}->Process()
Bram Moolenaarae616492020-07-28 20:07:27 +0200372 "foobar"->Process()
373 ("foobar")->Process()
374 'foobar'->Process()
375 ('foobar')->Process()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100376
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200377In the rare case there is ambiguity between a function name and an Ex command,
Bram Moolenaare7b1ea02020-08-07 19:54:59 +0200378prepend ":" to make clear you want to use the Ex command. For example, there
379is both the `:substitute` command and the `substitute()` function. When the
380line starts with `substitute(` this will use the function. Prepend a colon to
381use the command instead: >
Bram Moolenaar0c6ceaf2020-02-22 18:36:32 +0100382 :substitute(pattern (replacement (
Bram Moolenaar5b1c8fe2020-02-21 18:42:43 +0100383
Bram Moolenaarcc390ff2020-02-29 22:06:30 +0100384Note that while variables need to be defined before they can be used,
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200385functions can be called before being defined. This is required to allow
386for cyclic dependencies between functions. It is slightly less efficient,
Bram Moolenaarcc390ff2020-02-29 22:06:30 +0100387since the function has to be looked up by name. And a typo in the function
Bram Moolenaarae616492020-07-28 20:07:27 +0200388name will only be found when the function is called.
Bram Moolenaarcc390ff2020-02-29 22:06:30 +0100389
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100390
Bram Moolenaard1caa942020-04-10 22:10:56 +0200391Omitting function() ~
392
393A user defined function can be used as a function reference in an expression
394without `function()`. The argument types and return type will then be checked.
395The function must already have been defined. >
396
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200397 var Funcref = MyFunction
Bram Moolenaard1caa942020-04-10 22:10:56 +0200398
399When using `function()` the resulting type is "func", a function with any
400number of arguments and any return type. The function can be defined later.
401
402
Bram Moolenaar2b327002020-12-26 15:39:31 +0100403Lambda using => instead of -> ~
Bram Moolenaar65c44152020-12-24 15:14:01 +0100404
405In legacy script there can be confusion between using "->" for a method call
406and for a lambda. Also, when a "{" is found the parser needs to figure out if
407it is the start of a lambda or a dictionary, which is now more complicated
408because of the use of argument types.
409
410To avoid these problems Vim9 script uses a different syntax for a lambda,
411which is similar to Javascript: >
412 var Lambda = (arg) => expression
413
Bram Moolenaar2b327002020-12-26 15:39:31 +0100414No line break is allowed in the arguments of a lambda up to and including the
Bram Moolenaar65c44152020-12-24 15:14:01 +0100415"=>". This is OK: >
416 filter(list, (k, v) =>
417 v > 0)
418This does not work: >
419 filter(list, (k, v)
420 => v > 0)
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100421This also does not work: >
Bram Moolenaar65c44152020-12-24 15:14:01 +0100422 filter(list, (k,
423 v) => v > 0)
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100424But you can use a backslash to concatenate the lines before parsing: >
425 filter(list, (k,
426 \ v)
427 \ => v > 0)
Bram Moolenaar65c44152020-12-24 15:14:01 +0100428
429Additionally, a lambda can contain statements in {}: >
430 var Lambda = (arg) => {
431 g:was_called = 'yes'
432 return expression
433 }
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200434
435The ending "}" must be at the start of a line. It can be followed by other
436characters, e.g.: >
437 var d = mapnew(dict, (k, v): string => {
438 return 'value'
439 })
440No command can follow the "{", only a comment can be used there.
441
442Rationale: The "}" cannot be after a command because it would require parsing
443the commands to find it. For consistency with that no command can follow the
444"{". Unfortunately this means using "() => { command }" does not work, line
445breaks are always required.
Bram Moolenaar65c44152020-12-24 15:14:01 +0100446
Bram Moolenaare0e39172021-01-25 21:14:57 +0100447 *vim9-curly*
Bram Moolenaar2b327002020-12-26 15:39:31 +0100448To avoid the "{" of a dictionary literal to be recognized as a statement block
Bram Moolenaar9faec4e2021-02-27 16:38:07 +0100449wrap it in parentheses: >
Bram Moolenaar2b327002020-12-26 15:39:31 +0100450 var Lambda = (arg) => ({key: 42})
Bram Moolenaar65c44152020-12-24 15:14:01 +0100451
Bram Moolenaare0e39172021-01-25 21:14:57 +0100452Also when confused with the start of a command block: >
453 ({
454 key: value
455 })->method()
456
Bram Moolenaar65c44152020-12-24 15:14:01 +0100457
Bram Moolenaar4fdae992020-04-12 16:38:57 +0200458Automatic line continuation ~
459
460In many cases it is obvious that an expression continues on the next line. In
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100461those cases there is no need to prefix the line with a backslash (see
462|line-continuation|). For example, when a list spans multiple lines: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200463 var mylist = [
Bram Moolenaar4fdae992020-04-12 16:38:57 +0200464 'one',
465 'two',
466 ]
Bram Moolenaare6085c52020-04-12 20:19:16 +0200467And when a dict spans multiple lines: >
Bram Moolenaar2bede172020-11-19 18:53:18 +0100468 var mydict = {
Bram Moolenaare6085c52020-04-12 20:19:16 +0200469 one: 1,
470 two: 2,
471 }
472Function call: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200473 var result = Func(
Bram Moolenaare6085c52020-04-12 20:19:16 +0200474 arg1,
475 arg2
476 )
477
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200478For binary operators in expressions not in [], {} or () a line break is
479possible just before or after the operator. For example: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200480 var text = lead
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200481 .. middle
482 .. end
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200483 var total = start +
Bram Moolenaar82be4842021-01-11 19:40:15 +0100484 end -
Bram Moolenaar9c7e6dd2020-04-12 20:55:20 +0200485 correction
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200486 var result = positive
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200487 ? PosFunc(arg)
488 : NegFunc(arg)
Bram Moolenaar9c7e6dd2020-04-12 20:55:20 +0200489
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200490For a method call using "->" and a member using a dot, a line break is allowed
491before it: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200492 var result = GetBuilder()
Bram Moolenaar73fef332020-06-21 22:12:03 +0200493 ->BuilderSetWidth(333)
494 ->BuilderSetHeight(777)
495 ->BuilderBuild()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200496 var result = MyDict
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200497 .member
Bram Moolenaar73fef332020-06-21 22:12:03 +0200498
Bram Moolenaardcc58e02020-12-28 20:53:21 +0100499For commands that have an argument that is a list of commands, the | character
500at the start of the line indicates line continuation: >
501 autocmd BufNewFile *.match if condition
502 | echo 'match'
503 | endif
504
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200505< *E1050*
506To make it possible for the operator at the start of the line to be
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200507recognized, it is required to put a colon before a range. This will add
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200508"start" and print: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200509 var result = start
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200510 + print
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200511Like this: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200512 var result = start + print
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200513
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200514This will assign "start" and print a line: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200515 var result = start
Bram Moolenaardf069ee2020-06-22 23:02:51 +0200516 :+ print
Bram Moolenaar4fdae992020-04-12 16:38:57 +0200517
Bram Moolenaar23515b42020-11-29 14:36:24 +0100518Note that the colon is not required for the |+cmd| argument: >
519 edit +6 fname
520
Bram Moolenaar5e774c72020-04-12 21:53:00 +0200521It is also possible to split a function header over multiple lines, in between
522arguments: >
523 def MyFunc(
524 text: string,
525 separator = '-'
526 ): string
527
Bram Moolenaar4072ba52020-12-23 13:56:35 +0100528Since a continuation line cannot be easily recognized the parsing of commands
Bram Moolenaar65c44152020-12-24 15:14:01 +0100529has been made stricter. E.g., because of the error in the first line, the
Bram Moolenaar4072ba52020-12-23 13:56:35 +0100530second line is seen as a separate command: >
531 popup_create(some invalid expression, {
532 exit_cb: Func})
533Now "exit_cb: Func})" is actually a valid command: save any changes to the
534file "_cb: Func})" and exit. To avoid this kind of mistake in Vim9 script
535there must be white space between most command names and the argument.
536
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100537However, the argument of a command that is a command won't be recognized. For
538example, after "windo echo expr" a line break inside "expr" will not be seen.
539
Bram Moolenaar4072ba52020-12-23 13:56:35 +0100540
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200541Notes:
542- "enddef" cannot be used at the start of a continuation line, it ends the
543 current function.
544- No line break is allowed in the LHS of an assignment. Specifically when
545 unpacking a list |:let-unpack|. This is OK: >
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200546 [var1, var2] =
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200547 Func()
548< This does not work: >
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200549 [var1,
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200550 var2] =
551 Func()
552- No line break is allowed in between arguments of an `:echo`, `:execute` and
553 similar commands. This is OK: >
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200554 echo [1,
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200555 2] [3,
556 4]
557< This does not work: >
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200558 echo [1, 2]
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200559 [3, 4]
Bram Moolenaar4fdae992020-04-12 16:38:57 +0200560
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100561No curly braces expansion ~
562
563|curly-braces-names| cannot be used.
564
565
Bram Moolenaar2bede172020-11-19 18:53:18 +0100566Dictionary literals ~
567
568Traditionally Vim has supported dictionary literals with a {} syntax: >
569 let dict = {'key': value}
570
Bram Moolenaarc5e6a712020-12-04 19:12:14 +0100571Later it became clear that using a simple text key is very common, thus
572literal dictionaries were introduced in a backwards compatible way: >
Bram Moolenaar2bede172020-11-19 18:53:18 +0100573 let dict = #{key: value}
574
Bram Moolenaarc5e6a712020-12-04 19:12:14 +0100575However, this #{} syntax is unlike any existing language. As it turns out
576that using a literal key is much more common than using an expression, and
Bram Moolenaar2bede172020-11-19 18:53:18 +0100577considering that JavaScript uses this syntax, using the {} form for dictionary
Bram Moolenaarc5e6a712020-12-04 19:12:14 +0100578literals is considered a much more useful syntax. In Vim9 script the {} form
Bram Moolenaar2bede172020-11-19 18:53:18 +0100579uses literal keys: >
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100580 var dict = {key: value}
Bram Moolenaar2bede172020-11-19 18:53:18 +0100581
Bram Moolenaarc5e6a712020-12-04 19:12:14 +0100582This works for alphanumeric characters, underscore and dash. If you want to
583use another character, use a single or double quoted string: >
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100584 var dict = {'key with space': value}
585 var dict = {"key\twith\ttabs": value}
586 var dict = {'': value} # empty key
Bram Moolenaarc5e6a712020-12-04 19:12:14 +0100587
588In case the key needs to be an expression, square brackets can be used, just
589like in JavaScript: >
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100590 var dict = {["key" .. nr]: value}
Bram Moolenaar2bede172020-11-19 18:53:18 +0100591
Bram Moolenaar2e5910b2021-02-03 17:41:24 +0100592The key type can be string, number, bool or float. Other types result in an
593error. A number can be given with and without the []: >
594 var dict = {123: 'without', [456]: 'with'}
595 echo dict
596 {'456': 'with', '123': 'without'}
597
Bram Moolenaar2bede172020-11-19 18:53:18 +0100598
Bram Moolenaar10b94212021-02-19 21:42:57 +0100599No :xit, :t, :k, :append, :change or :insert ~
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100600
Bram Moolenaarf5a48012020-08-01 17:00:03 +0200601These commands are too easily confused with local variable names.
602Instead of `:x` or `:xit` you can use `:exit`.
603Instead of `:t` you can use `:copy`.
Bram Moolenaar10b94212021-02-19 21:42:57 +0100604Instead of `:k` you can use `:mark`.
Bram Moolenaar560979e2020-02-04 22:53:05 +0100605
606
607Comparators ~
608
609The 'ignorecase' option is not used for comparators that use strings.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100610
611
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100612For loop ~
613
614Legacy Vim script has some tricks to make a for loop over a list handle
615deleting items at the current or previous item. In Vim9 script it just uses
616the index, if items are deleted then items in the list will be skipped.
617Example legacy script: >
618 let l = [1, 2, 3, 4]
619 for i in l
620 echo i
621 call remove(l, index(l, i))
622 endfor
623Would echo:
624 1
625 2
626 3
627 4
628In compiled Vim9 script you get:
629 1
630 3
631Generally, you should not change the list that is iterated over. Make a copy
632first if needed.
633
634
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100635White space ~
636
637Vim9 script enforces proper use of white space. This is no longer allowed: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200638 var name=234 # Error!
639 var name= 234 # Error!
640 var name =234 # Error!
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100641There must be white space before and after the "=": >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200642 var name = 234 # OK
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200643White space must also be put before the # that starts a comment after a
644command: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200645 var name = 234# Error!
646 var name = 234 # OK
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100647
648White space is required around most operators.
649
Bram Moolenaar7e6a5152021-01-02 16:39:53 +0100650White space is required in a sublist (list slice) around the ":", except at
651the start and end: >
652 otherlist = mylist[v : count] # v:count has a different meaning
653 otherlist = mylist[:] # make a copy of the List
654 otherlist = mylist[v :]
655 otherlist = mylist[: v]
656
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100657White space is not allowed:
658- Between a function name and the "(": >
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100659 Func (arg) # Error!
660 Func
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200661 \ (arg) # Error!
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100662 Func
663 (arg) # Error!
664 Func(arg) # OK
665 Func(
666 arg) # OK
667 Func(
668 arg # OK
669 )
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100670
671
672Conditions and expressions ~
673
Bram Moolenaar13106602020-10-04 16:06:05 +0200674Conditions and expressions are mostly working like they do in other languages.
675Some values are different from legacy Vim script:
676 value legacy Vim script Vim9 script ~
677 0 falsy falsy
678 1 truthy truthy
679 99 truthy Error!
680 "0" falsy Error!
681 "99" truthy Error!
682 "text" falsy Error!
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100683
Bram Moolenaar13106602020-10-04 16:06:05 +0200684For the "??" operator and when using "!" then there is no error, every value
685is either falsy or truthy. This is mostly like JavaScript, except that an
686empty list and dict is falsy:
687
688 type truthy when ~
Bram Moolenaar7e6a5152021-01-02 16:39:53 +0100689 bool true, v:true or 1
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100690 number non-zero
691 float non-zero
692 string non-empty
693 blob non-empty
694 list non-empty (different from JavaScript)
695 dictionary non-empty (different from JavaScript)
Bram Moolenaard1caa942020-04-10 22:10:56 +0200696 func when there is a function name
Bram Moolenaar7e6a5152021-01-02 16:39:53 +0100697 special true or v:true
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100698 job when not NULL
699 channel when not NULL
700 class when not NULL
Bram Moolenaar7e6a5152021-01-02 16:39:53 +0100701 object when not NULL (TODO: when isTrue() returns true)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100702
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200703The boolean operators "||" and "&&" expect the values to be boolean, zero or
704one: >
705 1 || false == true
706 0 || 1 == true
707 0 || false == false
708 1 && true == true
709 0 && 1 == false
710 8 || 0 Error!
711 'yes' && 0 Error!
712 [] || 99 Error!
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100713
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200714When using "!" for inverting, there is no error for using any type and the
Bram Moolenaar13106602020-10-04 16:06:05 +0200715result is a boolean. "!!" can be used to turn any value into boolean: >
Bram Moolenaar82be4842021-01-11 19:40:15 +0100716 !'yes' == false
Bram Moolenaar13106602020-10-04 16:06:05 +0200717 !![] == false
Bram Moolenaar82be4842021-01-11 19:40:15 +0100718 !![1, 2, 3] == true
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200719
720When using "`.."` for string concatenation arguments of simple types are
Bram Moolenaar13106602020-10-04 16:06:05 +0200721always converted to string: >
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100722 'hello ' .. 123 == 'hello 123'
Bram Moolenaar7e6a5152021-01-02 16:39:53 +0100723 'hello ' .. v:true == 'hello true'
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100724
Bram Moolenaar418f1df2020-08-12 21:34:49 +0200725Simple types are string, float, special and bool. For other types |string()|
726can be used.
Bram Moolenaar67977822021-01-03 21:53:53 +0100727 *false* *true* *null*
728In Vim9 script one can use "true" for v:true, "false" for v:false and "null"
729for v:null. When converting a boolean to a string "false" and "true" are
730used, not "v:false" and "v:true" like in legacy script. "v:none" is not
731changed, it is only used in JSON and has no equivalent in other languages.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100732
Bram Moolenaar0289a092021-03-14 18:40:19 +0100733Indexing a string with [idx] or taking a slice with [idx : idx] uses character
734indexes instead of byte indexes. Composing characters are included.
735Example: >
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200736 echo 'bár'[1]
737In legacy script this results in the character 0xc3 (an illegal byte), in Vim9
738script this results in the string 'á'.
Bram Moolenaar82be4842021-01-11 19:40:15 +0100739A negative index is counting from the end, "[-1]" is the last character.
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100740To exclude the last character use |slice()|.
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200741To count composing characters separately use |strcharpart()|.
Bram Moolenaar82be4842021-01-11 19:40:15 +0100742If the index is out of range then an empty string results.
743
744In legacy script "++var" and "--var" would be silently accepted and have no
745effect. This is an error in Vim9 script.
746
747Numbers starting with zero are not considered to be octal, only numbers
748starting with "0o" are octal: "0o744". |scriptversion-4|
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200749
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100750
Bram Moolenaare46a4402020-06-30 20:38:27 +0200751What to watch out for ~
752 *vim9-gotchas*
753Vim9 was designed to be closer to often used programming languages, but at the
754same time tries to support the legacy Vim commands. Some compromises had to
755be made. Here is a summary of what might be unexpected.
756
757Ex command ranges need to be prefixed with a colon. >
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100758 -> legacy Vim: shifts the previous line to the right
759 ->func() Vim9: method call in a continuation line
760 :-> Vim9: shifts the previous line to the right
Bram Moolenaare46a4402020-06-30 20:38:27 +0200761
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100762 %s/a/b legacy Vim: substitute on all lines
Bram Moolenaare46a4402020-06-30 20:38:27 +0200763 x = alongname
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100764 % another Vim9: modulo operator in a continuation line
765 :%s/a/b Vim9: substitute on all lines
766 't legacy Vim: jump to mark t
767 'text'->func() Vim9: method call
768 :'t Vim9: jump to mark t
Bram Moolenaare46a4402020-06-30 20:38:27 +0200769
Bram Moolenaare7b1ea02020-08-07 19:54:59 +0200770Some Ex commands can be confused with assignments in Vim9 script: >
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100771 g:name = value # assignment
772 g:pattern:cmd # invalid command - ERROR
773 :g:pattern:cmd # :global command
Bram Moolenaare7b1ea02020-08-07 19:54:59 +0200774
Bram Moolenaare46a4402020-06-30 20:38:27 +0200775Functions defined with `:def` compile the whole function. Legacy functions
776can bail out, and the following lines are not parsed: >
777 func Maybe()
778 if !has('feature')
779 return
780 endif
781 use-feature
782 endfunc
783Vim9 functions are compiled as a whole: >
784 def Maybe()
785 if !has('feature')
786 return
787 endif
Bram Moolenaar82be4842021-01-11 19:40:15 +0100788 use-feature # May give a compilation error
Bram Moolenaare46a4402020-06-30 20:38:27 +0200789 enddef
790For a workaround, split it in two functions: >
791 func Maybe()
792 if has('feature')
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100793 call MaybeInner()
Bram Moolenaare46a4402020-06-30 20:38:27 +0200794 endif
795 endfunc
796 if has('feature')
797 def MaybeInner()
798 use-feature
799 enddef
800 endif
Bram Moolenaar1c6737b2020-09-07 22:18:52 +0200801Or put the unsupported code inside an `if` with a constant expression that
Bram Moolenaar207f0092020-08-30 17:20:20 +0200802evaluates to false: >
803 def Maybe()
804 if has('feature')
805 use-feature
806 endif
807 enddef
Bram Moolenaar82be4842021-01-11 19:40:15 +0100808< *vim9-user-command*
Bram Moolenaar98a29d02021-01-18 19:55:44 +0100809Another side effect of compiling a function is that the presence of a user
Bram Moolenaar82be4842021-01-11 19:40:15 +0100810command is checked at compile time. If the user command is defined later an
811error will result. This works: >
812 command -nargs=1 MyCommand echom <q-args>
813 def Works()
814 MyCommand 123
815 enddef
816This will give an error for "MyCommand" not being defined: >
817 def Works()
818 command -nargs=1 MyCommand echom <q-args>
819 MyCommand 123
820 enddef
821A workaround is to invoke the command indirectly with `:execute`: >
822 def Works()
823 command -nargs=1 MyCommand echom <q-args>
824 execute 'MyCommand 123'
825 enddef
826
Bram Moolenaar207f0092020-08-30 17:20:20 +0200827Note that for unrecognized commands there is no check for "|" and a following
828command. This will give an error for missing `endif`: >
829 def Maybe()
830 if has('feature') | use-feature | endif
831 enddef
Bram Moolenaare46a4402020-06-30 20:38:27 +0200832
Bram Moolenaar4072ba52020-12-23 13:56:35 +0100833Other differences ~
834
835Patterns are used like 'magic' is set, unless explicitly overruled.
836The 'edcompatible' option value is not used.
837The 'gdefault' option value is not used.
838
Bram Moolenaarc8cdf0f2021-03-13 13:28:13 +0100839You may also find this wiki useful. It was written by an early adoptor of
840Vim9 script: https://github.com/lacygoill/wiki/blob/master/vim/vim9.md
Bram Moolenaar4072ba52020-12-23 13:56:35 +0100841
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100842==============================================================================
843
8443. New style functions *fast-functions*
845
846THIS IS STILL UNDER DEVELOPMENT - ANYTHING CAN BREAK - ANYTHING CAN CHANGE
847
848 *:def*
Bram Moolenaar3d1cde82020-08-15 18:55:18 +0200849:def[!] {name}([arguments])[: {return-type}]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100850 Define a new function by the name {name}. The body of
851 the function follows in the next lines, until the
852 matching `:enddef`.
853
Bram Moolenaard77a8522020-04-03 21:59:57 +0200854 When {return-type} is omitted or is "void" the
855 function is not expected to return anything.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100856
857 {arguments} is a sequence of zero or more argument
858 declarations. There are three forms:
859 {name}: {type}
860 {name} = {value}
861 {name}: {type} = {value}
862 The first form is a mandatory argument, the caller
863 must always provide them.
864 The second and third form are optional arguments.
865 When the caller omits an argument the {value} is used.
866
Bram Moolenaar65e0d772020-06-14 17:29:55 +0200867 The function will be compiled into instructions when
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200868 called, or when `:disassemble` or `:defcompile` is
869 used. Syntax and type errors will be produced at that
870 time.
Bram Moolenaar65e0d772020-06-14 17:29:55 +0200871
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200872 It is possible to nest `:def` inside another `:def` or
873 `:function` up to about 50 levels deep.
Bram Moolenaar560979e2020-02-04 22:53:05 +0100874
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200875 [!] is used as with `:function`. Note that
876 script-local functions cannot be deleted or redefined
877 later in Vim9 script. They can only be removed by
878 reloading the same script.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100879
880 *:enddef*
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200881:enddef End of a function defined with `:def`. It should be on
882 a line by its own.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100883
Bram Moolenaar0289a092021-03-14 18:40:19 +0100884You may also find this wiki useful. It was written by an early adoptor of
885Vim9 script: https://github.com/lacygoill/wiki/blob/master/vim/vim9.md
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100886
Bram Moolenaar5b1c8fe2020-02-21 18:42:43 +0100887If the script the function is defined in is Vim9 script, then script-local
888variables can be accessed without the "s:" prefix. They must be defined
Bram Moolenaar65e0d772020-06-14 17:29:55 +0200889before the function is compiled. If the script the function is defined in is
890legacy script, then script-local variables must be accessed with the "s:"
Bram Moolenaar207f0092020-08-30 17:20:20 +0200891prefix and they do not need to exist (they can be deleted any time).
Bram Moolenaar5b1c8fe2020-02-21 18:42:43 +0100892
Bram Moolenaar388a5d42020-05-26 21:20:45 +0200893 *:defc* *:defcompile*
894:defc[ompile] Compile functions defined in the current script that
895 were not compiled yet.
896 This will report errors found during the compilation.
Bram Moolenaar5b1c8fe2020-02-21 18:42:43 +0100897
Bram Moolenaarebdf3c92020-02-15 21:41:42 +0100898 *:disa* *:disassemble*
899:disa[ssemble] {func} Show the instructions generated for {func}.
900 This is for debugging and testing.
Bram Moolenaarcc390ff2020-02-29 22:06:30 +0100901 Note that for command line completion of {func} you
902 can prepend "s:" to find script-local functions.
Bram Moolenaarebdf3c92020-02-15 21:41:42 +0100903
Bram Moolenaare0e39172021-01-25 21:14:57 +0100904:disa[ssemble]! {func} Like `:disassemble` but with the instructions used for
905 profiling.
906
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200907Limitations ~
908
909Local variables will not be visible to string evaluation. For example: >
Bram Moolenaar2b327002020-12-26 15:39:31 +0100910 def MapList(): list<string>
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200911 var list = ['aa', 'bb', 'cc', 'dd']
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200912 return range(1, 2)->map('list[v:val]')
913 enddef
914
915The map argument is a string expression, which is evaluated without the
916function scope. Instead, use a lambda: >
Bram Moolenaar2b327002020-12-26 15:39:31 +0100917 def MapList(): list<string>
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200918 var list = ['aa', 'bb', 'cc', 'dd']
Bram Moolenaar2b327002020-12-26 15:39:31 +0100919 return range(1, 2)->map(( _, v) => list[v])
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200920 enddef
921
Bram Moolenaar2b327002020-12-26 15:39:31 +0100922The same is true for commands that are not compiled, such as `:global`.
923For these the backtick expansion can be used. Example: >
924 def Replace()
925 var newText = 'blah'
926 g/pattern/s/^/`=newText`/
927 enddef
Bram Moolenaar7ff78462020-07-10 22:00:53 +0200928
Bram Moolenaardad44732021-03-31 20:07:33 +0200929Closures defined in a loop will share the same context. For example: >
930 var flist: list<func>
931 for i in range(10)
932 var inloop = i
933 flist[i] = () => inloop
934 endfor
935
936The "inloop" variable will exist only once, all closures put in the list refer
937to the same instance, which in the end will have the value 9. This is
938efficient. If you do want a separate context for each closure call a function
939to define it: >
940 def GetFunc(i: number): func
941 var inloop = i
942 return () => inloop
943 enddef
944
945 var flist: list<func>
946 for i in range(10)
947 flist[i] = GetFunc(i)
948 endfor
949
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100950==============================================================================
951
9524. Types *vim9-types*
953
954THIS IS STILL UNDER DEVELOPMENT - ANYTHING CAN BREAK - ANYTHING CAN CHANGE
955
956The following builtin types are supported:
957 bool
958 number
959 float
960 string
961 blob
Bram Moolenaard77a8522020-04-03 21:59:57 +0200962 list<{type}>
963 dict<{type}>
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100964 job
965 channel
Bram Moolenaarb17893a2020-03-14 08:19:51 +0100966 func
Bram Moolenaard1caa942020-04-10 22:10:56 +0200967 func: {type}
Bram Moolenaard77a8522020-04-03 21:59:57 +0200968 func({type}, ...)
969 func({type}, ...): {type}
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100970
971Not supported yet:
Bram Moolenaard77a8522020-04-03 21:59:57 +0200972 tuple<a: {type}, b: {type}, ...>
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100973
Bram Moolenaard77a8522020-04-03 21:59:57 +0200974These types can be used in declarations, but no value will have this type:
Bram Moolenaar2547aa92020-07-26 17:00:44 +0200975 {type}|{type} {not implemented yet}
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100976 void
977 any
978
Bram Moolenaard77a8522020-04-03 21:59:57 +0200979There is no array type, use list<{type}> instead. For a list constant an
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100980efficient implementation is used that avoids allocating lot of small pieces of
981memory.
982
Bram Moolenaard77a8522020-04-03 21:59:57 +0200983A partial and function can be declared in more or less specific ways:
984func any kind of function reference, no type
Bram Moolenaard1caa942020-04-10 22:10:56 +0200985 checking for arguments or return value
Bram Moolenaard77a8522020-04-03 21:59:57 +0200986func: {type} any number and type of arguments with specific
987 return type
Bram Moolenaard1caa942020-04-10 22:10:56 +0200988func({type}) function with argument type, does not return
Bram Moolenaard77a8522020-04-03 21:59:57 +0200989 a value
Bram Moolenaard1caa942020-04-10 22:10:56 +0200990func({type}): {type} function with argument type and return type
991func(?{type}) function with type of optional argument, does
992 not return a value
993func(...{type}) function with type of variable number of
994 arguments, does not return a value
995func({type}, ?{type}, ...{type}): {type}
996 function with:
997 - type of mandatory argument
998 - type of optional argument
999 - type of variable number of arguments
1000 - return type
Bram Moolenaard77a8522020-04-03 21:59:57 +02001001
1002If the return type is "void" the function does not return a value.
1003
1004The reference can also be a |Partial|, in which case it stores extra arguments
1005and/or a dictionary, which are not visible to the caller. Since they are
1006called in the same way the declaration is the same.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001007
1008Custom types can be defined with `:type`: >
1009 :type MyList list<string>
Bram Moolenaar127542b2020-08-09 17:22:04 +02001010Custom types must start with a capital letter, to avoid name clashes with
1011builtin types added later, similarly to user functions.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001012{not implemented yet}
1013
1014And classes and interfaces can be used as types: >
1015 :class MyClass
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001016 :var mine: MyClass
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001017
1018 :interface MyInterface
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001019 :var mine: MyInterface
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001020
1021 :class MyTemplate<Targ>
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001022 :var mine: MyTemplate<number>
1023 :var mine: MyTemplate<string>
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001024
1025 :class MyInterface<Targ>
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001026 :var mine: MyInterface<number>
1027 :var mine: MyInterface<string>
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001028{not implemented yet}
1029
1030
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001031Variable types and type casting ~
1032 *variable-types*
Bram Moolenaar64d662d2020-08-09 19:02:50 +02001033Variables declared in Vim9 script or in a `:def` function have a type, either
1034specified explicitly or inferred from the initialization.
1035
1036Global, buffer, window and tab page variables do not have a specific type, the
1037value can be changed at any time, possibly changing the type. Therefore, in
1038compiled code the "any" type is assumed.
1039
1040This can be a problem when the "any" type is undesired and the actual type is
1041expected to always be the same. For example, when declaring a list: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001042 var l: list<number> = [1, g:two]
Bram Moolenaar4072ba52020-12-23 13:56:35 +01001043At compile time Vim doesn't know the type of "g:two" and the expression type
1044becomes list<any>. An instruction is generated to check the list type before
1045doing the assignment, which is a bit inefficient.
1046 *type-casting*
1047To avoid this, use a type cast: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001048 var l: list<number> = [1, <number>g:two]
Bram Moolenaar4072ba52020-12-23 13:56:35 +01001049The compiled code will then only check that "g:two" is a number and give an
1050error if it isn't. This is called type casting.
Bram Moolenaar64d662d2020-08-09 19:02:50 +02001051
1052The syntax of a type cast is: "<" {type} ">". There cannot be white space
1053after the "<" or before the ">" (to avoid them being confused with
1054smaller-than and bigger-than operators).
1055
1056The semantics is that, if needed, a runtime type check is performed. The
1057value is not actually changed. If you need to change the type, e.g. to change
1058it to a string, use the |string()| function. Or use |str2nr()| to convert a
1059string to a number.
1060
1061
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001062Type inference ~
1063 *type-inference*
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001064In general: Whenever the type is clear it can be omitted. For example, when
1065declaring a variable and giving it a value: >
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001066 var name = 0 # infers number type
1067 var name = 'hello' # infers string type
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001068
Bram Moolenaar127542b2020-08-09 17:22:04 +02001069The type of a list and dictionary comes from the common type of the values.
1070If the values all have the same type, that type is used for the list or
1071dictionary. If there is a mix of types, the "any" type is used. >
1072 [1, 2, 3] list<number>
1073 ['a', 'b', 'c'] list<string>
1074 [1, 'x', 3] list<any>
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001075
Bram Moolenaar207f0092020-08-30 17:20:20 +02001076
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001077Stricter type checking ~
1078 *type-checking*
Bram Moolenaar207f0092020-08-30 17:20:20 +02001079In legacy Vim script, where a number was expected, a string would be
1080automatically converted to a number. This was convenient for an actual number
1081such as "123", but leads to unexpected problems (but no error message) if the
1082string doesn't start with a number. Quite often this leads to hard-to-find
1083bugs.
1084
1085In Vim9 script this has been made stricter. In most places it works just as
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001086before, if the value used matches the expected type. There will sometimes be
1087an error, thus breaking backwards compatibility. For example:
Bram Moolenaar207f0092020-08-30 17:20:20 +02001088- Using a number other than 0 or 1 where a boolean is expected. *E1023*
1089- Using a string value when setting a number options.
1090- Using a number where a string is expected. *E1024*
1091
Bram Moolenaar82be4842021-01-11 19:40:15 +01001092One consequence is that the item type of a list or dict given to map() must
Bram Moolenaar9faec4e2021-02-27 16:38:07 +01001093not change. This will give an error in Vim9 script: >
Bram Moolenaar82be4842021-01-11 19:40:15 +01001094 map([1, 2, 3], (i, v) => 'item ' .. i)
Bram Moolenaar9faec4e2021-02-27 16:38:07 +01001095 E1012: Type mismatch; expected number but got string
1096Instead use |mapnew()|. If the item type was determined to be "any" it can
1097change to a more specific type. E.g. when a list of mixed types gets changed
1098to a list of numbers.
1099Same for |extend()|, use |extendnew()| instead, and for |flatten()|, use
1100|flattennew()| instead.
Bram Moolenaar82be4842021-01-11 19:40:15 +01001101
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001102==============================================================================
1103
Bram Moolenaar30fd8202020-09-26 15:09:30 +020011045. Namespace, Import and Export
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001105 *vim9script* *vim9-export* *vim9-import*
1106
1107THIS IS STILL UNDER DEVELOPMENT - ANYTHING CAN BREAK - ANYTHING CAN CHANGE
1108
1109A Vim9 script can be written to be imported. This means that everything in
1110the script is local, unless exported. Those exported items, and only those
1111items, can then be imported in another script.
1112
Bram Moolenaar207f0092020-08-30 17:20:20 +02001113You can cheat by using the global namespace explicitly. We will assume here
1114that you don't do that.
1115
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001116
1117Namespace ~
Bram Moolenaardcc58e02020-12-28 20:53:21 +01001118 *vim9-namespace*
Bram Moolenaar560979e2020-02-04 22:53:05 +01001119To recognize a file that can be imported the `vim9script` statement must
Bram Moolenaard3f8a9e2021-02-17 21:57:03 +01001120appear as the first statement in the file (see |vim9-mix| for an exception).
1121It tells Vim to interpret the script in its own namespace, instead of the
1122global namespace. If a file starts with: >
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001123 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001124 var myvar = 'yes'
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001125Then "myvar" will only exist in this file. While without `vim9script` it would
1126be available as `g:myvar` from any other script and function.
1127
1128The variables at the file level are very much like the script-local "s:"
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +02001129variables in legacy Vim script, but the "s:" is omitted. And they cannot be
1130deleted.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001131
Bram Moolenaar2c7f8c52020-04-20 19:52:53 +02001132In Vim9 script the global "g:" namespace can still be used as before. And the
1133"w:", "b:" and "t:" namespaces. These have in common that variables are not
1134declared and they can be deleted.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001135
1136A side effect of `:vim9script` is that the 'cpoptions' option is set to the
1137Vim default value, like with: >
1138 :set cpo&vim
1139One of the effects is that |line-continuation| is always enabled.
Bram Moolenaar3e191692021-03-17 17:46:00 +01001140The original value of 'cpoptions' is restored at the end of the script, while
1141flags added or removed in the script are also added to or removed from the
1142original value to get the same effect. The order of flags may change.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001143
Bram Moolenaard3f8a9e2021-02-17 21:57:03 +01001144 *vim9-mix*
1145There is one way to use both legacy and Vim9 syntax in one script file: >
1146 " comments may go here
1147 if !has('vim9script')
1148 " legacy script commands go here
1149 finish
1150 endif
1151 vim9script
1152 # Vim9 script commands go here
1153This allows for writing a script that takes advantage of the Vim9 script
Bram Moolenaar9faec4e2021-02-27 16:38:07 +01001154syntax if possible, but will also work on a Vim version without it.
Bram Moolenaard3f8a9e2021-02-17 21:57:03 +01001155
1156This can only work in two ways:
11571. The "if" statement evaluates to false, the commands up to `endif` are
1158 skipped and `vim9script` is then the first command actually executed.
11592. The "if" statement evaluates to true, the commands up to `endif` are
1160 executed and `finish` bails out before reaching `vim9script`.
1161
1162TODO: The "vim9script" feature does not exist yet, it will only be added once
1163the Vim9 script syntax has been fully implemented.
1164
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001165
1166Export ~
1167 *:export* *:exp*
Bram Moolenaar2547aa92020-07-26 17:00:44 +02001168Exporting an item can be written as: >
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001169 export const EXPORTED_CONST = 1234
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001170 export var someValue = ...
1171 export final someValue = ...
1172 export const someValue = ...
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001173 export def MyFunc() ...
1174 export class MyClass ...
1175
1176As this suggests, only constants, variables, `:def` functions and classes can
Bram Moolenaarc8cdf0f2021-03-13 13:28:13 +01001177be exported. {not implemented yet: export class}
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001178
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001179 *E1042*
1180`:export` can only be used in Vim9 script, at the script level.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001181
1182
1183Import ~
Bram Moolenaar73fef332020-06-21 22:12:03 +02001184 *:import* *:imp* *E1094*
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001185The exported items can be imported individually in another Vim9 script: >
1186 import EXPORTED_CONST from "thatscript.vim"
1187 import MyClass from "myclass.vim"
1188
1189To import multiple items at the same time: >
1190 import {someValue, MyClass} from "thatscript.vim"
1191
Bram Moolenaar560979e2020-02-04 22:53:05 +01001192In case the name is ambiguous, another name can be specified: >
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001193 import MyClass as ThatClass from "myclass.vim"
1194 import {someValue, MyClass as ThatClass} from "myclass.vim"
1195
1196To import all exported items under a specific identifier: >
1197 import * as That from 'thatscript.vim'
1198
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001199{not implemented yet: using "This as That"}
1200
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001201Then you can use "That.EXPORTED_CONST", "That.someValue", etc. You are free
1202to choose the name "That", but it is highly recommended to use the name of the
1203script file to avoid confusion.
1204
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001205`:import` can also be used in legacy Vim script. The imported items still
1206become script-local, even when the "s:" prefix is not given.
1207
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001208The script name after `import` can be:
1209- A relative path, starting "." or "..". This finds a file relative to the
1210 location of the script file itself. This is useful to split up a large
1211 plugin into several files.
1212- An absolute path, starting with "/" on Unix or "D:/" on MS-Windows. This
Bram Moolenaarcb80aa22020-10-26 21:12:46 +01001213 will rarely be used.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001214- A path not being relative or absolute. This will be found in the
1215 "import" subdirectories of 'runtimepath' entries. The name will usually be
1216 longer and unique, to avoid loading the wrong file.
1217
1218Once a vim9 script file has been imported, the result is cached and used the
1219next time the same script is imported. It will not be read again.
1220 *:import-cycle*
1221The `import` commands are executed when encountered. If that script (directly
1222or indirectly) imports the current script, then items defined after the
1223`import` won't be processed yet. Therefore cyclic imports can exist, but may
1224result in undefined items.
1225
1226
1227Import in an autoload script ~
1228
1229For optimal startup speed, loading scripts should be postponed until they are
Bram Moolenaar560979e2020-02-04 22:53:05 +01001230actually needed. A recommended mechanism:
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001231
12321. In the plugin define user commands, functions and/or mappings that refer to
1233 an autoload script. >
Bram Moolenaar98a29d02021-01-18 19:55:44 +01001234 command -nargs=1 SearchForStuff searchfor#Stuff(<f-args>)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001235
1236< This goes in .../plugin/anyname.vim. "anyname.vim" can be freely chosen.
1237
Bram Moolenaar3d1cde82020-08-15 18:55:18 +020012382. In the autoload script do the actual work. You can import items from
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001239 other files to split up functionality in appropriate pieces. >
1240 vim9script
Bram Moolenaar82be4842021-01-11 19:40:15 +01001241 import FilterFunc from "../import/someother.vim"
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001242 def searchfor#Stuff(arg: string)
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001243 var filtered = FilterFunc(arg)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001244 ...
1245< This goes in .../autoload/searchfor.vim. "searchfor" in the file name
1246 must be exactly the same as the prefix for the function name, that is how
1247 Vim finds the file.
1248
12493. Other functionality, possibly shared between plugins, contains the exported
1250 items and any private items. >
1251 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001252 var localVar = 'local'
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001253 export def FilterFunc(arg: string): string
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001254 ...
1255< This goes in .../import/someother.vim.
1256
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001257When compiling a `:def` function and a function in an autoload script is
1258encountered, the script is not loaded until the `:def` function is called.
1259
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001260
1261Import in legacy Vim script ~
1262
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001263If an `import` statement is used in legacy Vim script, the script-local "s:"
1264namespace will be used for the imported item, even when "s:" is not specified.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001265
1266
1267==============================================================================
1268
Bram Moolenaar1d59aa12020-09-19 18:50:13 +020012696. Future work: classes *vim9-classes*
1270
1271Above "class" was mentioned a few times, but it has not been implemented yet.
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001272Most of Vim9 script can be created without this functionality, and since
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001273implementing classes is going to be a lot of work, it is left for the future.
1274For now we'll just make sure classes can be added later.
1275
1276Thoughts:
1277- `class` / `endclass`, everything in one file
1278- Class names are always CamelCase
1279- Single constructor
1280- Single inheritance with `class ThisClass extends BaseClass`
1281- `abstract class`
1282- `interface` (Abstract class without any implementation)
1283- `class SomeClass implements SomeInterface`
1284- Generics for class: `class <Tkey, Tentry>`
1285- Generics for function: `def <Tkey> GetLast(key: Tkey)`
1286
1287Again, much of this is from TypeScript.
1288
1289Some things that look like good additions:
1290- Use a class as an interface (like Dart)
1291- Extend a class with methods, using an import (like Dart)
1292
1293An important class that will be provided is "Promise". Since Vim is single
1294threaded, connecting asynchronous operations is a natural way of allowing
1295plugins to do their work without blocking the user. It's a uniform way to
1296invoke callbacks and handle timeouts and errors.
1297
1298==============================================================================
1299
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010013009. Rationale *vim9-rationale*
1301
1302The :def command ~
1303
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001304Plugin writers have asked for much faster Vim script. Investigations have
Bram Moolenaar560979e2020-02-04 22:53:05 +01001305shown that keeping the existing semantics of function calls make this close to
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001306impossible, because of the overhead involved with calling a function, setting
1307up the local function scope and executing lines. There are many details that
1308need to be handled, such as error messages and exceptions. The need to create
1309a dictionary for a: and l: scopes, the a:000 list and several others add too
1310much overhead that cannot be avoided.
1311
1312Therefore the `:def` method to define a new-style function had to be added,
1313which allows for a function with different semantics. Most things still work
1314as before, but some parts do not. A new way to define a function was
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001315considered the best way to separate the legacy style code from Vim9 style code.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001316
1317Using "def" to define a function comes from Python. Other languages use
1318"function" which clashes with legacy Vim script.
1319
1320
1321Type checking ~
1322
1323When compiling lines of Vim commands into instructions as much as possible
1324should be done at compile time. Postponing it to runtime makes the execution
1325slower and means mistakes are found only later. For example, when
1326encountering the "+" character and compiling this into a generic add
Bram Moolenaar98a29d02021-01-18 19:55:44 +01001327instruction, at runtime the instruction would have to inspect the type of the
1328arguments and decide what kind of addition to do. And when the type is
1329dictionary throw an error. If the types are known to be numbers then an "add
1330number" instruction can be used, which is faster. The error can be given at
1331compile time, no error handling is needed at runtime, since adding two numbers
1332cannot fail.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001333
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001334The syntax for types, using <type> for compound types, is similar to Java. It
1335is easy to understand and widely used. The type names are what were used in
1336Vim before, with some additions such as "void" and "bool".
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001337
1338
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001339Removing clutter and weirdness ~
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001340
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001341Once decided that `:def` functions have different syntax than legacy functions,
1342we are free to add improvements to make the code more familiar for users who
1343know popular programming languages. In other words: remove weird things that
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001344only Vim does.
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001345
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001346We can also remove clutter, mainly things that were done to make Vim script
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001347backwards compatible with the good old Vi commands.
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001348
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001349Examples:
1350- Drop `:call` for calling a function and `:eval` for manipulating data.
1351- Drop using a leading backslash for line continuation, automatically figure
1352 out where an expression ends.
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001353
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001354However, this does require that some things need to change:
1355- Comments start with # instead of ", to avoid confusing them with strings.
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001356 This is good anyway, it is known from several popular languages.
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001357- Ex command ranges need to be prefixed with a colon, to avoid confusion with
1358 expressions (single quote can be a string or a mark, "/" can be divide or a
1359 search command, etc.).
1360
1361Goal is to limit the differences. A good criteria is that when the old syntax
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001362is accidentally used you are very likely to get an error message.
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001363
1364
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001365Syntax and semantics from popular languages ~
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001366
1367Script writers have complained that the Vim script syntax is unexpectedly
1368different from what they are used to. To reduce this complaint popular
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001369languages are used as an example. At the same time, we do not want to abandon
1370the well-known parts of legacy Vim script.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001371
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001372For many things TypeScript is followed. It's a recent language that is
1373gaining popularity and has similarities with Vim script. It also has a
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001374mix of static typing (a variable always has a known value type) and dynamic
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001375typing (a variable can have different types, this changes at runtime). Since
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001376legacy Vim script is dynamically typed and a lot of existing functionality
1377(esp. builtin functions) depends on that, while static typing allows for much
1378faster execution, we need to have this mix in Vim9 script.
1379
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001380There is no intention to completely match TypeScript syntax and semantics. We
1381just want to take those parts that we can use for Vim and we expect Vim users
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001382will be happy with. TypeScript is a complex language with its own history,
1383advantages and disadvantages. To get an idea of the disadvantages read the
1384book: "JavaScript: The Good Parts". Or find the article "TypeScript: the good
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +02001385parts" and read the "Things to avoid" section.
1386
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001387People familiar with other languages (Java, Python, etc.) will also find
1388things in TypeScript that they do not like or do not understand. We'll try to
1389avoid those things.
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +02001390
1391Specific items from TypeScript we avoid:
1392- Overloading "+", using it both for addition and string concatenation. This
1393 goes against legacy Vim script and often leads to mistakes. For that reason
1394 we will keep using ".." for string concatenation. Lua also uses ".." this
1395 way. And it allows for conversion to string for more values.
1396- TypeScript can use an expression like "99 || 'yes'" in a condition, but
1397 cannot assign the value to a boolean. That is inconsistent and can be
1398 annoying. Vim recognizes an expression with && or || and allows using the
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001399 result as a bool. TODO: to be reconsidered
Bram Moolenaar0b4c66c2020-09-14 21:39:44 +02001400- TypeScript considers an empty string as Falsy, but an empty list or dict as
1401 Truthy. That is inconsistent. In Vim an empty list and dict are also
1402 Falsy.
1403- TypeScript has various "Readonly" types, which have limited usefulness,
1404 since a type cast can remove the immutable nature. Vim locks the value,
1405 which is more flexible, but is only checked at runtime.
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001406
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001407
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001408Declarations ~
1409
1410Legacy Vim script uses `:let` for every assignment, while in Vim9 declarations
1411are used. That is different, thus it's good to use a different command:
1412`:var`. This is used in many languages. The semantics might be slightly
1413different, but it's easily recognized as a declaration.
1414
Bram Moolenaar23515b42020-11-29 14:36:24 +01001415Using `:const` for constants is common, but the semantics varies. Some
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001416languages only make the variable immutable, others also make the value
1417immutable. Since "final" is well known from Java for only making the variable
1418immutable we decided to use that. And then `:const` can be used for making
1419both immutable. This was also used in legacy Vim script and the meaning is
1420almost the same.
1421
1422What we end up with is very similar to Dart: >
1423 :var name # mutable variable and value
1424 :final name # immutable variable, mutable value
1425 :const name # immutable variable and value
1426
1427Since legacy and Vim9 script will be mixed and global variables will be
1428shared, optional type checking is desirable. Also, type inference will avoid
1429the need for specifying the type in many cases. The TypeScript syntax fits
1430best for adding types to declarations: >
1431 var name: string # string type is specified
1432 ...
1433 name = 'John'
1434 const greeting = 'hello' # string type is inferred
1435
1436This is how we put types in a declaration: >
1437 var mylist: list<string>
1438 final mylist: list<string> = ['foo']
1439 def Func(arg1: number, arg2: string): bool
1440
1441Two alternatives were considered:
14421. Put the type before the name, like Dart: >
1443 var list<string> mylist
1444 final list<string> mylist = ['foo']
1445 def Func(number arg1, string arg2) bool
14462. Put the type after the variable name, but do not use a colon, like Go: >
1447 var mylist list<string>
1448 final mylist list<string> = ['foo']
1449 def Func(arg1 number, arg2 string) bool
1450
1451The first is more familiar for anyone used to C or Java. The second one
Bram Moolenaar4f4d51a2020-10-11 13:57:40 +02001452doesn't really have an advantage over the first, so let's discard the second.
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001453
1454Since we use type inference the type can be left out when it can be inferred
1455from the value. This means that after `var` we don't know if a type or a name
1456follows. That makes parsing harder, not only for Vim but also for humans.
1457Also, it will not be allowed to use a variable name that could be a type name,
1458using `var string string` is too confusing.
1459
1460The chosen syntax, using a colon to separate the name from the type, adds
1461punctuation, but it actually makes it easier to recognize the parts of a
1462declaration.
1463
1464
1465Expressions ~
1466
Bram Moolenaar4f4d51a2020-10-11 13:57:40 +02001467Expression evaluation was already close to what other languages are doing.
1468Some details are unexpected and can be improved. For example a boolean
1469condition would accept a string, convert it to a number and check if the
1470number is non-zero. This is unexpected and often leads to mistakes, since
1471text not starting with a number would be converted to zero, which is
Bram Moolenaarcb80aa22020-10-26 21:12:46 +01001472considered false. Thus using a string for a condition would often not give an
1473error and be considered false. That is confusing.
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001474
Bram Moolenaar23515b42020-11-29 14:36:24 +01001475In Vim9 type checking is stricter to avoid mistakes. Where a condition is
Bram Moolenaar4f4d51a2020-10-11 13:57:40 +02001476used, e.g. with the `:if` command and the `||` operator, only boolean-like
1477values are accepted:
1478 true: `true`, `v:true`, `1`, `0 < 9`
1479 false: `false`, `v:false`, `0`, `0 > 9`
1480Note that the number zero is false and the number one is true. This is more
Bram Moolenaarcb80aa22020-10-26 21:12:46 +01001481permissive than most other languages. It was done because many builtin
Bram Moolenaar4f4d51a2020-10-11 13:57:40 +02001482functions return these values.
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001483
Bram Moolenaar4f4d51a2020-10-11 13:57:40 +02001484If you have any type of value and want to use it as a boolean, use the `!!`
1485operator:
1486 true: !`!'text'`, `!![99]`, `!!{'x': 1}`, `!!99`
1487 false: `!!''`, `!![]`, `!!{}`
1488
1489From a language like JavaScript we have this handy construct: >
1490 GetName() || 'unknown'
1491However, this conflicts with only allowing a boolean for a condition.
1492Therefore the "??" operator was added: >
1493 GetName() ?? 'unknown'
1494Here you can explicitly express your intention to use the value as-is and not
1495result in a boolean. This is called the |falsy-operator|.
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001496
1497
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001498Import and Export ~
1499
1500A problem of legacy Vim script is that by default all functions and variables
1501are global. It is possible to make them script-local, but then they are not
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001502available in other scripts. This defies the concept of a package that only
1503exports selected items and keeps the rest local.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001504
Bram Moolenaar3d1cde82020-08-15 18:55:18 +02001505In Vim9 script a mechanism very similar to the JavaScript import and export
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001506mechanism is supported. It is a variant to the existing `:source` command
1507that works like one would expect:
1508- Instead of making everything global by default, everything is script-local,
1509 unless exported.
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001510- When importing a script the symbols that are imported are explicitly listed,
1511 avoiding name conflicts and failures if functionality is added later.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001512- The mechanism allows for writing a big, long script with a very clear API:
1513 the exported function(s) and class(es).
1514- By using relative paths loading can be much faster for an import inside of a
1515 package, no need to search many directories.
1516- Once an import has been used, it can be cached and loading it again can be
1517 avoided.
1518- The Vim-specific use of "s:" to make things script-local can be dropped.
1519
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001520When sourcing a Vim9 script from a legacy script, only the items defined
1521globally can be used, not the exported items. Alternatives considered:
1522- All the exported items become available as script-local items. This makes
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001523 it uncontrollable what items get defined and likely soon leads to trouble.
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001524- Use the exported items and make them global. Disadvantage is that it's then
1525 not possible to avoid name clashes in the global namespace.
1526- Completely disallow sourcing a Vim9 script, require using `:import`. That
1527 makes it difficult to use scripts for testing, or sourcing them from the
1528 command line to try them out.
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001529Note that you can also use `:import` in legacy Vim script, see above.
Bram Moolenaar65e0d772020-06-14 17:29:55 +02001530
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001531
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001532Compiling functions early ~
1533
1534Functions are compiled when called or when `:defcompile` is used. Why not
1535compile them early, so that syntax and type errors are reported early?
1536
1537The functions can't be compiled right away when encountered, because there may
1538be forward references to functions defined later. Consider defining functions
1539A, B and C, where A calls B, B calls C, and C calls A again. It's impossible
1540to reorder the functions to avoid forward references.
1541
1542An alternative would be to first scan through the file to locate items and
1543figure out their type, so that forward references are found, and only then
1544execute the script and compile the functions. This means the script has to be
1545parsed twice, which is slower, and some conditions at the script level, such
1546as checking if a feature is supported, are hard to use. An attempt was made
1547to see if it works, but it turned out to be impossible to make work nicely.
1548
1549It would be possible to compile all the functions at the end of the script.
1550The drawback is that if a function never gets called, the overhead of
1551compiling it counts anyway. Since startup speed is very important, in most
1552cases it's better to do it later and accept that syntax and type errors are
1553only reported then. In case these errors should be found early, e.g. when
1554testing, the `:defcompile` command will help out.
1555
1556
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001557Why not use an embedded language? ~
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001558
1559Vim supports interfaces to Perl, Python, Lua, Tcl and a few others. But
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001560these interfaces have never become widely used, for various reasons. When
1561Vim9 was designed a decision was made to make these interfaces lower priority
1562and concentrate on Vim script.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001563
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001564Still, plugin writers may find other languages more familiar, want to use
1565existing libraries or see a performance benefit. We encourage plugin authors
1566to write code in any language and run it as an external tool, using jobs and
1567channels. We can try to make this easier somehow.
1568
1569Using an external tool also has disadvantages. An alternative is to convert
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001570the tool into Vim script. For that to be possible without too much
1571translation, and keeping the code fast at the same time, the constructs of the
1572tool need to be supported. Since most languages support classes the lack of
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001573support for classes in Vim is then a problem.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001574
Bram Moolenaar1d59aa12020-09-19 18:50:13 +02001575
1576Classes ~
1577
1578Vim supports a kind-of object oriented programming by adding methods to a
1579dictionary. With some care this can be made to work, but it does not look
1580like real classes. On top of that, it's quite slow, because of the use of
1581dictionaries.
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001582
1583The support of classes in Vim9 script is a "minimal common functionality" of
Bram Moolenaar1c6737b2020-09-07 22:18:52 +02001584class support in most languages. It works much like Java, which is the most
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001585popular programming language.
1586
1587
1588
1589 vim:tw=78:ts=8:noet:ft=help:norl: