Difference between revisions of "Tiny Identifier Dictionary"
Jump to navigation
Jump to search
(add n,m for (natural) number, f for functor, m for monad) |
(More additions) |
||
Line 7: | Line 7: | ||
! Domain |
! Domain |
||
! Description |
! Description |
||
+ | |- |
||
+ | | e, env |
||
+ | | environment |
||
+ | | Compilers, interpreters and other language processors |
||
+ | | An environment binding identifiers to something |
||
|- |
|- |
||
| f |
| f |
||
Line 17: | Line 22: | ||
| Higher-order programming |
| Higher-order programming |
||
| A function of some sort |
| A function of some sort |
||
+ | |- |
||
+ | | i |
||
+ | | identifier |
||
+ | | language processors |
||
+ | | |
||
+ | |- |
||
+ | | i,j,k |
||
+ | | index |
||
+ | | Data structures |
||
+ | | |
||
+ | |- |
||
+ | | k |
||
+ | | key |
||
+ | | Data structures |
||
+ | | Similar to an index, used with data structures mapping keys to values |
||
|- |
|- |
||
| n,m |
| n,m |
||
Line 36: | Line 56: | ||
| type |
| type |
||
| Compilers, type-checkers etc |
| Compilers, type-checkers etc |
||
+ | | |
||
+ | |- |
||
+ | | v |
||
+ | | value |
||
+ | | Data structures, interpreters, ... |
||
| |
| |
||
|- |
|- |
Revision as of 20:02, 26 March 2010
Haskellers often love their tiny identifiers, especially single letters and especially when they wrote the code. Other haskellers and especially non-haskellers hate them because they don't seem to mean anything, even when they do. Hopefully this dictionary can help!
Identifier(s) | Expansion | Domain | Description |
---|---|---|---|
e, env | environment | Compilers, interpreters and other language processors | An environment binding identifiers to something |
f | functor | ||
f,g,h | function | Higher-order programming | A function of some sort |
i | identifier | language processors | |
i,j,k | index | Data structures | |
k | key | Data structures | Similar to an index, used with data structures mapping keys to values |
n,m | (natural?) number | Generally either a natural or an integer | |
m | monad | ||
t | time | Simulation, interaction, domains involving time | |
t | type | Compilers, type-checkers etc | |
v | value | Data structures, interpreters, ... | |
x,y,z | thingy, other thingy, wossname | Abstract code | Commonly used when we know nothing about the value in question |
xs,ys,zs | (list of) lhingies | Abstract code | Lists of arbitrary values, or sometimes another collection type such as a set |