1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
mnv9script
# MNV9 generic functions
# MNV_TEST_SETUP let g:mnvsyn_folding = "cf"
# MNV_TEST_SETUP setl fdc=2 fdl=99 fdm=syntax
# MNV_TEST_SETUP hi link mnv9DefTypeParam Todo
# :help generic-functions
def MyFunc<T, A, B>(param1: T): T
var f: A
var x = param1
return x
enddef
MyFunc<number, string, list<number>>()
def Flatten<T>(x: list<list<T>>): list<T>
var result: list<T> = []
for inner in x
result += inner
endfor
return result
enddef
echo Flatten<number>([[1, 2], [3]])
class A
def Foo<X, Y>()
enddef
endclass
var a = A.new()
a.Foo<number, string>()
def MakeEcho<T>(): func(T): T
return (x: T): T => x
enddef
var EchoNumber = MakeEcho<number>()
echo EchoNumber(123)
var EchoString = MakeEcho<string>()
echo EchoString('abc')
# FIXME: add specific command handling
# defcompile MyFunc<number, list<number>, dict<string>>
# disassemble MyFunc<string, dict<string>>
# disassemble MyFunc<number, list<blob>>
# funcrefs
var Foo = Bar<number>
Execute(Bar<number>)
var Foo = bar.Baz<string>
Execute(bar.Baz<string>)
class Foo
def _MethodA<T>(arg: T)
echo arg
enddef
def MethodB()
var F = this._MethodA<number>
F("text")
enddef
endclass
class Bar extends Foo
def MethodC()
var F = super._MethodA<number>
F("text")
enddef
endclass
# Issue: https://github.com/Project-Tick/Project-Tick/pull/17722#issuecomment-3075531052
export def Id<U>(): func(U): U
return (X_: U) => X_
enddef
export def Const<U, V>(): func(U): func(V): U
return (X_: U) => (_: V) => X_
enddef
export def Flip<U, V, W>(): func(func(U): func(V): W): func(V): func(U): W
return (F_: func(U): func(V): W) => (Y_: V) => (X_: U) => F_(X_)(Y_)
enddef
echo Const<number, any>()(2)(null)
== Flip<number, any, number>()(Const<number, any>())(null)(2)
|
