forked from min-lang/min
-
Notifications
You must be signed in to change notification settings - Fork 0
/
packs.m
103 lines (94 loc) · 6.02 KB
/
packs.m
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
# machine data
z # zero, void, nil, null, unit
b # bit, bool, boolean, flag, truth, logic
c # char, character, unicode code point
n # nat, number, non-negative, unsigned
i # int, integer, signed, natural number
r # real, floating-point number
# interpreted data
any # abstract data
hex # hexadecimal number
mem # memory address, pointer
unicode # universal character set
fun # function, procedure, routine
# structured data
opt # optional, nullable, some, pointed
pair # two data, product, cons
ref # reference, mutable
row # array, tuple, vector, product
s # str, string, character array
list # singly linked list
seq # sequence, container, collection, generator
box # packed data, inlined
key # named, label, struct, record
map # finite map, association, dictionary, finite function
hash # hashtable, mutable and unordered map
set # mathematical set
flow # stream, buffer, port
regex # regular expression, character pattern
# hardware
core # cpu, multi processor, hyperthread
spin # concurrency synchronization lock
clock # timer, frequency tick
# operating system
sys # system call, kernel call
posix # portable operating system interface
dl # dynamic linking loader, dynamic library
job # unix job, process
thread # system-mode parallelism
task # user-mode parallelism, coroutine
time # calendar, date and time, epoch
env # environment, context
# langauge
cast # type cast, coercion
fail # fatal exit, abort, exception, error
fact # assert, check, test
trap # signal, interrupt, fault
call # call stack, stack trace
perf # performance, profile, monitor
main # top level, entry point, program start
# file system
path # unix file path, file name
file # unix file description / number / handler
pipe # unix pipeline, process input/output chain
in # file 0, standard input
out # file 1, standard output
put # file 1, standard output, with newline
err # file 2, standard error
log # file 2, standard error, with newline
info # file 4, informational output
trace # file 5, performance time tracing
debug # file 6, verbose debugging diagnostic
# network
socket # network file
net # network address, ip address, host identification
openssl # secure sockets layer
common_crypto # common crypto in mac os x
http # hypertext transfer protocol
httpd # hypertext transfer protocol daemon, web server
# library
json # javascript object notation
zlib # compression via gzip
blas # basic linear algebra subprograms
dbm # unix simple database
sqlite # sql database engine
cocoa # cocoa ui in mac os x
quant # quantitative analysis
dynamodb # amazon cloud key-value database
# compiler
spot # file position, path and line and column
tag # tagged union, enum, algebraic data type
name # identifier, unique string, naming convention
op # symbolic operator, prefix/infix/suffix function
meta # reflection, string interpolation
term # token, node, word, lexical form
exp # expression, tree, phrase, parser form
group # delimited, lexical sub-term by line / limit / glue / associate
rule # rewrite rule, pattern matching
rewrite # tree rewrite
kind # class of type
unify # constraint resolve
def # definition, equality
type # class of term
step # opcode, linear computation, flat execution
asm # assembly, machine code