2.9 KiB
Glossary
symbol
!
A marker added to the end of an identifier to indicate that it is a procedure or variable type. Or the mutating operator.
#
$
%
&
' (single quote)
()
*
+
,
−
->
.
/
:
::
;
<
<:
<<
<=
=
==
=>
>
>>
>=
?
@
[]
\
^
^^
_
``
{:}
{=}
|
||
~
A
[algebraic type]
[And]
[and]
[assert]
[attribute]
B
[Base]
[Bool]
C
[Class]
D
Deprecated
[distinct]
E
[enum type]
[Eq]
[Erg]
Statically typed programming language published in 2022 and is the subject of this document. The developers often pronounce it /ɝ́rug/). The name comes from the unit of energy in the CGS system of units.
It was designed as a statically typed language that can take advantage of the assets of Python. It is mainly influenced by Rust and Haskell.
F
[for]
G
H
Haskell
A statically typed programming language introduced in 1990. Erg is influenced by Haskell in its syntax.
High-order functions
I
[if]
[import]
[in]
[Int]
J
K
L
let-polymorphism -> [rank 1 polymorphism]
[log]
M
[match]
N
[Nat]
Never
Nim
A statically typed programming language designed by Andreas Rumpf. Mainly transpiled into C. Erg's language features such as procedure and variable array were influenced by Nim (procedure were originally the Pascal feature).
None
[Not]
[not]
O
[Option]
[Or]
[or]
[Ord]
P
panic
print!
[Python]
A programming language designed by Guido van Rossum. Erg leverages the assets of Python.
Q
R
Ruby
A programming language designed by Yukihiro Matsumoto/Matz. Like Erg, it was designed as a pure object-oriented programming language. Although not so much influenced by the syntax, Erg was named in accordance with Matz's naming philosophy.
Rust
A statically typed programming language designed by Graydon Hoare. It is a system programming language with a strong type system that combines a high level of abstraction and high execution performance. Erg is implemented using Rust and is also strongly influenced by it.