What's new? | Help | Directory | Sign in
Google
cat-language
The Cat Programming Language Project
  
  
  
  
    
Search
for
  
  PageName Summary + Labels Changed ChangedBy ...
MetaData About function meta-data. Aug 21 cdiggins  
Acknowledgements Acknowledgements   Featured Aug 14 cdiggins  
ContributingToCat Contributing to the Cat project.   Featured Aug 13 cdiggins  
PartialEvaluation About partial evaluation.   Glossary Usage May 22 cdiggins  
Macros Using macros.   Usage May 22 cdiggins  
MetaCat About the MetaCat extension to Cat.   Glossary May 22 cdiggins  
MetaCommand About the interpreter meta-commands.   Glossary Usage May 22 cdiggins  
IntermediateLanguage Definition and explanation of intermediate languages.   Glossary May 21 cdiggins  
Quotation Definition of quotation.   Glossary CodeExample May 21 cdiggins  
Optimization About using Cat for optimization.   Featured Usage May 21 cdiggins  
CIL About the Common Intermediate Language (CIL or MSIL)   Glossary May 21 cdiggins  
Compilation About the Cat to CIL compiler.   Usage May 21 cdiggins  
InlineExpansion About inline expansion.   Usage Glossary May 21 cdiggins  
Function Definition of a function.   Glossary May 18 cdiggins  
SideEffect Definition of side effect.   Glossary May 18 cdiggins  
Purity Explanation of purity and impurity.   Glossary May 18 cdiggins  
ReferentialTransparency Definition of referential transparency.   Glossary May 18 cdiggins  
Level Explanation of Cat implementation levels.   Glossary May 18 cdiggins  
Expression Definition of expression.   Glossary May 18 cdiggins  
TypeInference Explanation and usage of type inference.   Glossary Usage May 18 cdiggins  
TheUnfairBenchmarksPage This is a page of unfair benchmark comparisons. May 11 cdiggins  
Semantics A brief description of the core semantics of Cat. May 11 cdiggins  
Advantages A brief outline of the favourable characteristics of Cat   About May 02 cdiggins  
InterpretingVsCompiling Interpreting versus Compiling Apr 27 cdiggins  
KindSystem Definition of a kind system.   Glossary Theory Apr 07 cdiggins  
StackUnderflow Explanation of stack underflow and how a type-system prevents it.   Glossary Apr 07 cdiggins  
WhyNotDigN Why isn't there a digN or buryN instruction?   FAQ Theory Apr 07 cdiggins  
ShufflingBasis A minimal basis for rearranging the stack.   CodeExample Theory Apr 07 cdiggins  
Licensing About Cat licensing.   Featured Apr 06 cdiggins  
Thunk Definition of thunks.   Glossary Apr 05 cdiggins  
Quote Explanation of the quote primitive function.   Glossary Primitive Apr 05 cdiggins  
TypeTheory A brief introduction to and motivation for type theory.   Glossary Apr 05 cdiggins  
RussellsParadox An explanation of Russell's Paradox.   Glossary Apr 05 cdiggins  
HowTheInterpreterWorks The Cat interpreter implementation in a nutshell.   Implementation Apr 05 cdiggins  
Cat The Cat wiki home page.   Featured Apr 04 cdiggins  
flatten Explains the flatten standard library function.   Library CodeExample Lists Apr 03 cdiggins  
MapReduce An explanation of the Google MapReduce framework and simple implementation of a MapReduce algorithm.   CodeExample HaskellComparison Apr 03 cdiggins  
pair Explains the pair standard library function, and the pair type.   Library CodeExample Type Apr 03 cdiggins  
self_join Explains the self_join standard library function.   Library Apr 03 cdiggins  
Tutorial A tutorial on the Cat language   Documentation Apr 02 cdiggins  
GettingInvolved How to get involved with Cat.   Project Apr 02 cdiggins  
Library An explanation and copy of the standard library. Apr 02 cdiggins  
Primitives Explanation of the primitive functions and primitive types.   Glossary Apr 02 cdiggins  
BrainStorming A collection of thoughts and ideas.   Ideas Apr 02 cdiggins  
ChristopherDiggins About Christopher Diggins   People Apr 02 cdiggins  
HigherOrder Definition of higher-order functions.   Glossary Apr 01 cdiggins  
Arity Definition of function arity.   Glossary Apr 01 cdiggins  
RPN Definition of reverse polish notation a.k.a postfix notation.   Glossary Apr 01 cdiggins  
StackLanguages Definition of stack-based languages.   Glossary Apr 01 cdiggins  
Quadratic Quadratic function code example.   CodeExample Mar 30 cdiggins  
Related Related languages and projects.   Featured Mar 30 cdiggins  
Joy Description of the Joy programming language.   Glossary Mar 30 cdiggins  
Functional Definition of functional.   Glossary Mar 30 cdiggins  
Support About getting technical support for development of Cat.   Featured Mar 30 cdiggins  
TypeAnnotation Type annotations for functions.   Glossary Mar 30 cdiggins  
Fibonacci Fibonnaci function code example.   CodeExample Mar 30 cdiggins  
Currying Currying explanation and code example.   CodeExample Glossary Mar 30 cdiggins  
PointFreeForm Definition of point-free form.   Glossary Mar 30 cdiggins