uiua 0.18.1

A stack-based array programming language
Documentation 
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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121

# |2.1 |n.0/1
F ← ⍣+∘
⍤⤙≍ 5 F 2 3
⍤⤙≍ @a F @a @b
F ← ⍣+⋅∘
⍤⤙≍ 5 F 2 3
⍤⤙≍ @b F @a @b
F ← ⍣+◌
⍤⤙≍ 5 F 2 3
⍤⤙≍ @b F @a @b
F ← ⍣+⋅⋅∘
⍤⤙≍ 5 F 2 3
⍤⤙≍ [1 1] [⊃type(⧻△)] F @a @b
F ← ⍣+⋅◌
⍤⤙≍ 5 F 2 3
⍤⤙≍ [1 1] [⊃type(⧻△)] F @a @b

# |3.1 |n.0/1
F ← ⍣(++)∘
⍤⤙≍ 6 F 1 2 3
⍤⤙≍ @a F @a @b @c
F ← ⍣(++)⋅∘
⍤⤙≍ 6 F 1 2 3
⍤⤙≍ @b F @a @b @c
F ← ⍣(++)◌
⍤⤙≍ 6 F 1 2 3
⍤⤙≍ @b F @a @b @c
F ← ⍣(++)⋅⋅∘
⍤⤙≍ 6 F 1 2 3
⍤⤙≍ @c F @a @b @c
F ← ⍣(++)⋅◌
⍤⤙≍ 6 F 1 2 3
⍤⤙≍ @c F @a @b @c
F ← ⍣(++)⋅⋅⋅∘
⍤⤙≍ 6 F 1 2 3
⍤⤙≍ [1 1] [⊃type(⧻△)] F @a @b @c
F ← ⍣(++)⋅⋅◌
⍤⤙≍ 6 F 1 2 3
⍤⤙≍ [1 1] [⊃type(⧻△)] F @a @b @c

# |2.2 |n.0/1
F ← ⍣(⟜∘+)∘
⍤⤙≍ [5 5] [F] 2 3
⍤⤙≍ "ab" [F] @a @b
F ← ⍣(⟜∘+)⋅∘
⍤⤙≍ [5 5] [F] 2 3
⍤⤙≍ {@b [1 1]} {⊙[⊃type(⧻△)] F} @a @b
F ← ⍣(⟜∘+)◌
⍤⤙≍ [5 5] [F] 2 3
⍤⤙≍ {@b [1 1]} {⊙[⊃type(⧻△)] F} @a @b
F ← ⍣(⟜∘+)⋅⋅∘
⍤⤙≍ [5 5] [F] 2 3 4
⍤⤙≍ {@c [1 1]} {⊙[⊃type(⧻△)] F} @a @b @c
F ← ⍣(⟜∘+)⋅◌
⍤⤙≍ [5 5] [F] 2 3 4
⍤⤙≍ {@c [1 1]} {⊙[⊃type(⧻△)] F} @a @b @c

# |2.1 |n.n
F ← ⍣+⊙∘
⍤⤙≍ [5 4] [F] 2 3 4
⍤⤙≍ "ab" [F] @a @b @c

# |3.3 |n.n
F ← ⍣(++)⊙∘
⍤⤙≍ [9 5] [F] 2 3 4 5
⍤⤙≍ "ab" [F] @a @b @c @d
F ← ⍣(++)⊙⊙∘
⍤⤙≍ [9 5 6] [F] 2 3 4 5 6
⍤⤙≍ "abc" [F] @a @b @c @d @e

# |2.2 |n.2
F ← ⍣(⟜∘+)⊙∘
⍤⤙≍ [5 5] [F] 2 3
⍤⤙≍ "ab" [F] @a @b
F ← ⍣(⟜∘+)⋅⊙∘
⍤⤙≍ [5 5] [F] 2 3
⍤⤙≍ {@b [1 1]} {⊙[⊃type(⧻△)] F} @a @b
F ← ⍣(⟜∘+)⋅⋅⊙∘
⍤⤙≍ [5 5] [F] 2 3 4
⍤⤙≍ {@c [1 1]} {⊙[⊃type(⧻△)] F} @a @b @c

# |3.2 |n.0/1
F ← ⍣(˙∩₃∘+)∘
⍤⤙≍ [5 5 5] [F] 2 3
⍤⤙≍ {@a @b [1 1]} {⊙⊙[⊃type(⧻△)] F} @a @b

# Tried noreturn
F ← (⍣(⍤@!0)∘)
⍤⤙≍ @! F
F ← (⍣(5⍤@!0)∘)
⍤⤙≍ @! F
F ← ⍣(⍤@!0){⊙∘}
⍤⤙≍ {1 @!} F 1
F ← ⍣(⍤@!0)⊙∘
⍤⤙≍ {1 @!} {F} 1

# Handler noreturn
F ← ⍣+(˙⍤□₃)
⍤⤙≍ 5 F 2 3
⍤⤙≍ {@a @b [1 1]} ⍜(°□⊣)[⊃type(⧻△)] ⍣(F @a @b)∘
⍤⤙≍ {@a @b [1 1]} ⍜(°□⊣)[⊃type(⧻△)] ⍣F⋅⋅∘ @a @b
F ← ⍣+(˙⍤□₄)
⍤⤙≍ 5 F 2 3 4
⍤⤙≍ {@a @b @c [1 1]} ⍜(°□⊣)[⊃type(⧻△)] ⍣(F @a @b @c)∘
⍤⤙≍ {@a @b @c [1 1]} ⍜(°□⊣)[⊃type(⧻△)] ⍣F⋅⋅⋅∘ @a @b @c

# Others

F ← ⍣⨬(˙⍤$"_"|¯)⋅⋅∘
⍤⤙≍ "5" F 0 5
⍤⤙≍ ¯5 F 1 5

{"cat" "sand"} "dog" {"cat" "cats" "and" "sand" "dog"}
⍤⤙≍ {{"cat" "sand"} {"dog"} {""}} {⊙(∩⌞▽≡°□˜⍚⍣(1˙⍤⊸≍⊙⊃↙↘⟜⧻|0⊙∘)¤)}
⍤⤙≍ [2 2] [⍣√⋅⟜∘ 4 2]
⍤⤙≍ [3] [⍣(⋅2˙⍤0)3] 1

F ← °22
G ← ⋅⍣°8 2
H ← ⍣F G
⍤⤙≍ 2 H 7 19