43 lines
No EOL
1 KiB
Text
43 lines
No EOL
1 KiB
Text
mindmap
|
|
PlusCal
|
|
Operators
|
|
Like Go functions
|
|
Take arguments
|
|
Any number
|
|
No default values
|
|
No overloaded defs
|
|
No optional
|
|
Niladic does not need parentheses
|
|
Evaluate to expressions
|
|
Expressions structuring
|
|
IF-THEN-ELSE
|
|
Ternary expression
|
|
ELSE is required
|
|
LET
|
|
case
|
|
Data types
|
|
TLA+ is untyped
|
|
TLC
|
|
Primitive
|
|
strings
|
|
booleans
|
|
integers
|
|
model values
|
|
Complex
|
|
Sets
|
|
Sequences
|
|
Structures
|
|
Functions
|
|
Operators are type-specific
|
|
Except = and #
|
|
Integers
|
|
EXTENDS Integers
|
|
No floats
|
|
Strings
|
|
Double quotes only
|
|
Actually opaque ids, like symbols
|
|
Booleans
|
|
TRUE and FALSE
|
|
Sequences:
|
|
double angle quotes
|
|
EXTENDS Sequences |