Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(Monad Template -> Transformer, JHC, TH, Type families link) |
(And even more abbreviations...) |
||
Line 12: | Line 12: | ||
| ADT |
| ADT |
||
| [[Abstract data type | Abstract Data Type]] / [[Algebraic data type | Algebraic Data Type]] |
| [[Abstract data type | Abstract Data Type]] / [[Algebraic data type | Algebraic Data Type]] |
||
+ | |- |
||
+ | | AFAIC |
||
+ | | As Far As I'm Concerned / As Far As I Can |
||
+ | |- |
||
+ | | AFAICT |
||
+ | | As Far As I Can Tell |
||
+ | |- |
||
+ | | AFAIK |
||
+ | | As Far As I Know |
||
|- |
|- |
||
| AFAIU |
| AFAIU |
||
Line 45: | Line 54: | ||
| CAML |
| CAML |
||
| A programming language |
| A programming language |
||
+ | |- |
||
+ | | CFG |
||
+ | | [http://en.wikipedia.org/wiki/Context-free_grammar Context-Free Grammar] |
||
|- |
|- |
||
| CFP |
| CFP |
||
Line 54: | Line 66: | ||
| CPS |
| CPS |
||
| [[Continuation | Continuation-Passing Style]] |
| [[Continuation | Continuation-Passing Style]] |
||
+ | |- |
||
+ | | CSE |
||
+ | | [http://en.wikipedia.org/wiki/Common_subexpression_elimination Common subexpression elimination] |
||
|- |
|- |
||
| CUFP |
| CUFP |
||
Line 99: | Line 114: | ||
| FWIW |
| FWIW |
||
| For what it's worth |
| For what it's worth |
||
+ | |- |
||
+ | | GCC |
||
+ | | [http://gcc.gnu.org/ GNU C Compiler] |
||
|- |
|- |
||
| GHC |
| GHC |
||
Line 105: | Line 123: | ||
| GPL |
| GPL |
||
| [http://www.gnu.org/licenses/gpl.html GNU General Public License] |
| [http://www.gnu.org/licenses/gpl.html GNU General Public License] |
||
+ | |- |
||
+ | | GSOC |
||
+ | | [http://code.google.com/soc/ Google Summer of Code] |
||
+ | |- |
||
+ | | GUI |
||
+ | | [http://en.wikipedia.org/wiki/Graphical_User_Interface Graphical User Interface] |
||
+ | |- |
||
+ | | HaLVM |
||
+ | | [http://halvm.org/wiki/ Haskell Lightweight Virtual Machine] |
||
+ | |- |
||
+ | | HBC |
||
+ | | [http://haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler] |
||
+ | |- |
||
+ | | HBI |
||
+ | | [http://haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter] |
||
+ | |- |
||
+ | | HCAR |
||
+ | | [http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Haskell Communities and Activities Report] |
||
|- |
|- |
||
| HOAS |
| HOAS |
||
Line 135: | Line 171: | ||
| IIUC |
| IIUC |
||
| If I Understand Correctly |
| If I Understand Correctly |
||
+ | |- |
||
+ | | IME |
||
+ | | In My Experience |
||
|- |
|- |
||
| IMHO |
| IMHO |
||
Line 144: | Line 183: | ||
| IMO |
| IMO |
||
| In My Opinion |
| In My Opinion |
||
+ | |- |
||
+ | | IOW |
||
+ | | In Other Words |
||
+ | |- |
||
+ | | IR |
||
+ | | [http://lambda.uta.edu/cse5317/notes/node5.html Intermediate Representation] in a two-phase compiler |
||
|- |
|- |
||
| IRC |
| IRC |
||
Line 150: | Line 195: | ||
| JHC |
| JHC |
||
| [[Jhc|John's Haskell Compiler]]. Compiles to efficient C programs via whole program analysis and other optimizations. |
| [[Jhc|John's Haskell Compiler]]. Compiles to efficient C programs via whole program analysis and other optimizations. |
||
+ | |- |
||
+ | | JVM |
||
+ | | [http://en.wikipedia.org/wiki/Java_Virtual_Machine Java Virtual Machine] |
||
|- |
|- |
||
| LGPL |
| LGPL |
||
Line 162: | Line 210: | ||
| LLVM |
| LLVM |
||
| [[LLVM | Low-Level Virtual Machine]] |
| [[LLVM | Low-Level Virtual Machine]] |
||
+ | |- |
||
+ | | LtU |
||
+ | | [http://lambda-the-ultimate.org/ Lambda the Ultimate] (Website) |
||
|- |
|- |
||
| LYAH |
| LYAH |
||
Line 180: | Line 231: | ||
| NCG |
| NCG |
||
| [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend |
| [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend |
||
+ | |- |
||
+ | | nhc98 |
||
+ | | [http://www.haskell.org/nhc98/ Nearly a Haskell Compiler] |
||
|- |
|- |
||
| NLP |
| NLP |
||
Line 222: | Line 276: | ||
| SEC |
| SEC |
||
| [http://conal.net/blog/posts/semantic-editor-combinators/ Semantic editor combinator] |
| [http://conal.net/blog/posts/semantic-editor-combinators/ Semantic editor combinator] |
||
+ | |- |
||
+ | | SHE |
||
+ | | [http://personal.cis.strath.ac.uk/~conor/pub/she/ Strathclyde Haskell Enhancement] is an experimental preprocessor for the Glasgow Haskell Compiler |
||
+ | |- |
||
+ | | SICP |
||
+ | | [http://mitpress.mit.edu/sicp/full-text/book/book.html Structure and Interpretation of Computer Programs] |
||
|- |
|- |
||
| SML |
| SML |
||
Line 228: | Line 288: | ||
| SMP |
| SMP |
||
| [http://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing] |
| [http://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing] |
||
+ | |- |
||
+ | | SMT |
||
+ | | [http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Satisfiability Modulo Theories] |
||
+ | |- |
||
+ | | SO |
||
+ | | [http://stackoverflow.com/ StackOverflow] (website) |
||
|- |
|- |
||
| SOE |
| SOE |
||
Line 264: | Line 330: | ||
| TMR |
| TMR |
||
| [[The Monad.Reader]] |
| [[The Monad.Reader]] |
||
+ | |- |
||
+ | | UHC |
||
+ | | [http://www.cs.uu.nl/wiki/UHC Utrecht Haskell Compiler] |
||
|- |
|- |
||
| UTF8 |
| UTF8 |
Revision as of 17:17, 16 December 2010
Note: if there is an abbreviation you cannot find here, it might be the name of a package, so check the Hackage package list. For GHC related abbreviations, see GHC/List of abbreviations.