annotate .cms/lib/codemirror/mode/julia/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Julia mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="julia.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <li><a class=active href="#">Julia</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <h2>Julia mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <div><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 #numbers
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 1234
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 1234im
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 .234
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 .234im
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 2.23im
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 2.3f3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 23e2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 0x234
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 #strings
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 'a'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 "asdf"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 r"regex"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 b"bytestring"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 """
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 multiline string
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 """
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 #identifiers
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 a
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 as123
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 function_name!
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 #unicode identifiers
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 # a = x\ddot
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 a⃗ = ẍ
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 # a = v\dot
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 a⃗ = v̇
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 #F\vec = m \cdotp a\vec
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 F⃗ = m·a⃗
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 #literal identifier multiples
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 3x
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 4[1, 2, 3]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 #dicts and indexing
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 x=[1, 2, 3]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 x[end-1]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 x={"julia"=>"language of technical computing"}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 #exception handling
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 try
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 f()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 catch
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 @printf "Error"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 finally
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 g()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 #types
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 immutable Color{T<:Number}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 r::T
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 g::T
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 b::T
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 #functions
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 function change!(x::Vector{Float64})
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 for i = 1:length(x)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 x[i] *= 2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 #function invocation
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 f('b', (2, 3)...)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 #operators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 |=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 &=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 ^=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 \-
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 %=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 *=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 +=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 -=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 <=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 >=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 !=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 ==
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 %
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 *
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 -
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 <
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 >
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 !
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 =
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 |
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 &
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 ^
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 \
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 ?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 ~
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 :
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 $
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 <:
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 .<
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 .>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 <<
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 <<=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 >>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 >>>>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 >>=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 >>>=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 <<=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 <<<=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 .<=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 .>=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 .==
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 ->
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 //
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 in
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 ...
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 //
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 :=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 .//=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 .*=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 ./=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 .^=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 .%=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 .+=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 .-=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 \=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 \\=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 ===
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 &&
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 |=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 .|=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 <:
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 >:
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 |>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 <|
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 ::
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 x ? y : z
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 #macros
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 @spawnat 2 1+1
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 @eval(:x)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 #keywords and operators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 if else elseif while for
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 begin let end do
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 try catch finally return break continue
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 global local const
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 export import importall using
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 function macro module baremodule
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 type immutable quote
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 true false enumerate
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 </textarea></div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 mode: {name: "julia",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 indentUnit: 4,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 matchBrackets: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 <p><strong>MIME types defined:</strong> <code>text/x-julia</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 </article>