about summary refs log tree commit diff stats
path: root/cpp/030length
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-04-16 10:35:49 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-04-16 10:35:49 -0700
commitdb5c9550e972d114aaabb95b14cfd1e3ea185349 (patch)
tree9217134d1154e45f5375f94c9b5788530fbf8cb7 /cpp/030length
parentd6852155e5308e2bb347402bf9e069c7153c2319 (diff)
downloadmu-db5c9550e972d114aaabb95b14cfd1e3ea185349.tar.gz
1069 - rename record/field to container/element
This seems more obvious to laypeople.

I've also come up with a design for sum types: I'm going to call them
exclusive containers. You call 'get' on containers, 'index' on arrays,
and 'maybe-convert' on exclusive containers (as well as tagged types,
but that's even later).
Diffstat (limited to 'cpp/030length')
0 files changed, 0 insertions, 0 deletions
iv class='alt'>
78c78c06 ^
65bd3727 ^
04209f72 ^
78c78c06 ^

04209f72 ^
795f5244 ^
a70ce311 ^

b24eb476 ^
a70ce311 ^
b24eb476 ^
a70ce311 ^
d57bf669 ^
78c78c06 ^
b24eb476 ^
a70ce311 ^
d57bf669 ^
78c78c06 ^



a70ce311 ^
91abd257 ^
a70ce311 ^

c4e143d6 ^
91abd257 ^

d57bf669 ^
78c78c06 ^
3063b239 ^

a70ce311 ^
c4e143d6 ^
a70ce311 ^
ed09f738 ^
a70ce311 ^
d57bf669 ^
cf363343 ^

a70ce311 ^

d57bf669 ^
cf363343 ^

a70ce311 ^
b0bf5321 ^
cf363343 ^


78c78c06 ^
112613fe ^
efb7c8d6 ^
1ead3562 ^
112613fe ^



efb7c8d6 ^
1ead3562 ^
112613fe ^



efb7c8d6 ^
1ead3562 ^
112613fe ^



c91caafd ^
5f98a10c ^

1ead3562 ^
c91caafd ^


5f98a10c ^
d082b176 ^
5f98a10c ^

1ead3562 ^
b0bf5321 ^
d082b176 ^

b0bf5321 ^
cf363343 ^


1ead3562 ^
cf363343 ^

b0bf5321 ^
a70ce311 ^


1ead3562 ^
a70ce311 ^
1ead3562 ^
a70ce311 ^
b0bf5321 ^
a70ce311 ^




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
122