K

(Not to be confused with the APL-like non-esoteric language K by Arthur Whitney, which is the ancestor of the Q language.)


 * This language is still a work in progress. A very work... in... very progress.

K is an abstract, lazy esoteric computer algebra programming language by User:Rdococ, designed to use non-traditional data types.

The K construct
K's namesake, the K construct, can take the definition to a generalized continued fraction, and return the real number corresponding to it. Of course, the real number itself is actually defined by the continued fraction, and that's how K stores it in memory. In order to determine if two generalized continued fractions are equivalent, K must apply algebra.

GCF Algebra
When comparing two GCFs, K applies the concept of the equivalence transformation. If K can successfully apply algebra to one of the GCFs to convert it into the other, then they are both equivalent. Otherwise, they are not.