Abbreviations
From HaskellWiki
(Difference between revisions)
(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
An overview of Haskell related abbreviations
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.
