Codish Lexicon

canonical — distinct: absolute, normal   aka: canonicalize   mentioned: canonize, path ✍

absolute — returns the fully qualified path for a given path and the cwd.   is: stateless, idempotent   distinct: abs, normal, canonical ✍

normal — file system: returns the one equivalent path that does not include parent ("..") and self (".") path components.   is: idempotent   distinct: canonical, absolute   geometry: a binary relation between a line and a plane that returns whether the line is perpendicular with every intersecting line in the plane.   distinct: perpendicular, orthogonal ✍

canonicalize — see: canonize, canonical ✍

canonize — concept: to convert a path to a canonical path, usually with the canonical transitive function.   aka: canonicalize ✍

path — a list of edges that a cursor can traverse starting at a given vertex and stoping at another.   related in the context of file system paths: normal, absolute, canonical   aka: segment, segments   related: edges   mentioned: canonize, parent ✍

stateless — an attribute of a function that connotes that a function will always return the same result for given input.   opposite: stateful   classes: abs, absolute, add, div, first, mul, pad, reversed, slice, sub   mentioned: expression, getset, transitive ✍

idempotent — (1.) of unary functions, converging on a return value when reapplied, as when the returned value of one application is passed back as a parameter.   a unary function, f, is idempotent iff f(x) eq f(f(x)).   (1.a.) an attribute of a unary function that denotes whether the function is idempotent for all values in its domain.   (2.) of binary functions, returning the same value when that value is passed to both parameters.   a value is idempotent for a binary function iff f(x, x) eq x.   a binary function, g, is idempotent iff f(x, x) eq x for all x in its domain.   (2.a.) a binary function that returns whether a particular value is idempotent for a given binary function, meaning f(x, x) eq x.   (2.b.) an attribute of a binary function that denotes whether the function is idempotent for all values in the domain of both parameters.   classes: abs, absolute, normal   related: stateful ✍

abs — absolute value.   returns the positive reflection of negative integers, returning positive numbers as they were.   a transitive function that maps integers into the natural number line.   distinct: absolute   is: stateless, idempotent   related: neg   python: abs(number) -> number Return the absolute value of the argument.†   perl: [number]: absolute value function†   php: absolute value &dagger.   distinct: pos   related: positive ✍

cwd — the current working deirectory   aka: pwd   unix: pwd   mentioned: absolute ✍

perpendicular — distinct: normal, orthogonal ✍

orthogonal — a binary relation between two lines that denotes that a point moving along one line, projected on the other line, would not move.   all perpendicular lines are orthogonal.   some skew lines are orthogonal but not perpendicular.   distinct: normal, perpendicular   mentioned: axis ✍

equivalent — mentioned: equivalence relation, normal ✍

parent — file system: a directory arrived at by the path component "..". the root of a file system often has a parent link to itself.   related: child, root, leaf, base, ancestor, descendant   opposite: child   transitive: ancestors   mentioned: heap array, normal, parent class ✍

self — mentioned: normal ✍

binary relation — concept: a binary function that returns whether the parameters have a given relationship (source to target), useful for map and for constructing graphs.   is: binary function, relation   distinct: boolean function   includes: eq, ne, lt, gt, le, ge   distinct: transitive function   classes: eq, ge, gt, le, lt, ne, transitive relation   related: relation   mentioned: equivalence relation, inherits, is, judge, normal, orthogonal, skew ✍

line — mentioned: axis, cli, new line, normal, orthogonal, plot, read line, skew ✍

plane — a 2 dimensional domain of points.   related: planar   mentioned: angle, normal ✍

intersect — related: and   aka: array intersect   mentioned: normal, skew ✍

transitive function — concept: a unary function that consistently returns the corresponding value in a range for a given key in a domain.   distinct: relation, binary relation, transitive relation ✍

edges — related: path ✍

segment — see: path ✍

segments — see: path ✍

list — a linear collection that provides fast put, push, pop, shift, and unshift operations.   an ordered nonunique linear collection.   applies to directory listing.   distinct: symbols   includes: queue, deque, staque   python: list() -> new list; list(sequence) -> new list initialized from sequence's items.†   php: assign variables as if they were an array &dagger. ✍

edge — a connection in a graph that starts at one vertex and stops at another.   mentioned: atan, complete, depth, graph, machine, path, stable, transitive relation, transitive ✍

cursor — a number or a pointer to a position in any number of dimensions.   aka: pointer   distinct: ref ✍

traverse — distinct: step   mentioned: path ✍

start — to start moving a cursor from the beginning of a stream.   distinct: begin, boot, halt   opposite: stop   aka: boot, play ✍

vertex — a point in a graph.   plural: vertices   distinct: node   aka: node ✍

stop — to stop a moving cursor and send the cursor to the beginning of a stream or machine.   distinct: end   related: finish, halt   distinct: abort, halt, shutdown   aka: boot   opposite: start   mentioned: edge, event, path, restart, return, run, temporal, wait ✍

file system — mentioned: path ✍

stateful — an attribute of a function that indicates that a function may not always return the same result for given input because the result depends on state like an input stream or scope values.   opposite: stateless   related: idempotent   see: state   classes: complete, getset, reverse, update   mentioned: closure, count, in place, statement ✍

add — returns the result of adding values arithmetically.   opposite: sub   is: arithmetic, stateless   related: zero   python: set: Add an element to a set. This has no effect if the element is already present.†   related: bale, or, sum   aka: concat, merge, plus   distinct: extend   mentioned: complexity function, end, identity, magnitude, neg, non polynomial time, signed ✍

div — divide.   opposite: mul   is: multiplicative, stateless   related: reciprocal, unit   mentioned: atan, identity, radix64 ✍

first — returns the first element of a linear collection.   is: stateless   opposite: last   related: pop   seuss: opposite: forst   pertains: ordered   mentioned: chain, head, heap array, index, peek, queue, shift, tip ✍

mul — multiply.   oppostie: div   is: multiplicative, stateless   related: unit   related: and, product   aka: array product   opposite: div   mentioned: complexity function, identity, linear logarithmic time, linear time, neg, non polynomial time, reciprocal ✍

pad — pad a numeric string with a particular character, "0" by default, on either the left or right side or into the "center" or distributed among the interpolated spaces as in justify, by default left, so that the resultant string has a given minimum length.   is: stateless   related: sprintf   related: center   aka: zfill ✍

example: pad("1", 3) eq "001"

example: pad("1", 3, " ") eq " 1"

reversed — returns the reversed form of an iterable.   is: stateless   distinct: reverse   opposite: reversed   python: reversed(sequence) -> reverse iterator over values of the sequence Return a reverse iterator.†   aka: array reverse   mentioned: ed, next ✍

slice — returns the corresponding values for a given range of indicies (indexy).   is: stateless   python: slice([start,] stop[, step]) Create a slice object. This is used for extended slicing (e.g. a[0:10:2]).†   aka: array slice   mentioned: indices ✍

sub — calculates a difference of the latter from the former.   opposite: add   commute: diff   distinct: subscript   is: arithmetic, stateless   related: zero   perl: [control flow]: declare a subroutine, possibly anonymously; see: [function]†   mentioned: identity ✍

expression — an element of a program's syntax, typically used to express stateless computation through function application (apply), including algebraic operators.   aka: term   mentioned: destructure, eval, heap array, literal, lvalue, return, statement, whether ✍

getset — dict: get the value for a given key, beforehand setting the value for the key to a default if no key exists yet.   is: stateful   distinct: get with a default value is stateless as it does not modify the object when it returns the default value.   pertains: collection ✍

transitive — going consistently from a source to a target, as a directed edge in a graph or as a stateless unary function.   see: transitive function, transitive relation   mentioned: ancestors, descendants ✍

unary function — a unary function is a function that takes 1 parameter.   mentioned: idempotent ✍

return — a statement that stops the execution within a function, sending the cursor of execution to the function that applyed the current function, and providing a value for the apply expression.   perl: [control flow]: get out of a function early†   php: If called from within a function, the return() statement immediately ends execution of the current function, and returns its argument as the value of the function call. return() will also end the execution of an eval() statement or script file. &dagger.   mentioned: cut, empty, frame, group, higher order function, idempotent, iteration, whether ✍

value — data of any class.   see: def, variable   aka: datum   related: dict ✍

application — see: apply   mentioned: frame, idempotent ✍

param — a variable received by a function when it's called.   distinct: argument   distinct: arg   aka: parameter ✍

iff — if and only if.   related: if   related: whether   mentioned: idempotent ✍

eq — equal to.   a binary relation that notes whether two objects are mutually equivalent.   opposite: ne   is: binary relation   distinct: is   aka: equal, equals, equivalence relation, is same as, is same, same   mentioned: dict, idempotent, nxor, radix64, unique ✍