Abbreviations
From HaskellWiki
(Difference between revisions)
(Monad Template -> Transformer, JHC, TH, Type families link) |
(Added a link and an extra explanation to the description of ANN and ML) |
||
| (12 intermediate revisions not shown.) | |||
| 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 | ||
| + | |- | ||
| + | | AFAICS | ||
| + | | As Far As I Can See | ||
| + | |- | ||
| + | | AFAICT | ||
| + | | As Far As I Can Tell | ||
| + | |- | ||
| + | | AFAIK | ||
| + | | As Far As I Know | ||
|- | |- | ||
| AFAIU | | AFAIU | ||
| Line 21: | Line 33: | ||
| AKA | | AKA | ||
| Also Known As | | Also Known As | ||
| + | |- | ||
| + | | alist | ||
| + | | Association list, a list of key-value pairs, [(key, value)] | ||
|- | |- | ||
| ANN | | ANN | ||
| - | | | + | | ANNouncement / [http://en.wikipedia.org/wiki/Artificial_neural_network Artificial Neural Network] |
|- | |- | ||
| API | | API | ||
| - | | [http://en.wikipedia.org/wiki/Application_programming_interface Application | + | | [http://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface] |
|- | |- | ||
| aPToP | | aPToP | ||
| [http://www.cs.toronto.edu/~hehner/aPToP/ A practical theory of programming] | | [http://www.cs.toronto.edu/~hehner/aPToP/ A practical theory of programming] | ||
| + | |- | ||
| + | | ASAP | ||
| + | | As Soon As Possible | ||
|- | |- | ||
| AT | | AT | ||
| - | | [[Abstract data type | Abstract (Data) Type]] / [http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html Associated (Data) Type] (see also [http:// | + | | [[Abstract data type | Abstract (Data) Type]] / [http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html Associated (Data) Type] (see also [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html Associated types with class]) |
| + | |- | ||
| + | | BE | ||
| + | | [http://en.wikipedia.org/wiki/Endianness Big Endian] | ||
|- | |- | ||
| BSD | | BSD | ||
| Line 45: | Line 66: | ||
| 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 78: | ||
| 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 60: | Line 87: | ||
| DAG | | DAG | ||
| [http://en.wikipedia.org/wiki/Directed_acyclic_graph Directed acyclic graph] | | [http://en.wikipedia.org/wiki/Directed_acyclic_graph Directed acyclic graph] | ||
| + | |- | ||
| + | | DFA | ||
| + | | [http://en.wikipedia.org/wiki/Deterministic_finite_automaton Deterministic Finite Automaton], [http://en.wikipedia.org/wiki/Data_flow_analysis Data Flow Analysis], [http://en.wikipedia.org/wiki/Differential_fault_analysis Differential Fault Analysis] or [http://en.wikipedia.org/wiki/Dual_Factor_Authentication Dual Factor Authentication] | ||
|- | |- | ||
| DPH | | DPH | ||
| - | | [[Data Parallel Haskell]] | + | | [[GHC/Data Parallel Haskell | Data Parallel Haskell]] |
| + | |- | ||
| + | | DRY | ||
| + | | [http://en.wikipedia.org/wiki/Don't_repeat_yourself Don't repeat yourself] | ||
|- | |- | ||
| DSEL | | DSEL | ||
| Line 72: | Line 105: | ||
| EDSL | | EDSL | ||
| [[Embedded domain specific language | Embedded Domain-Specific Language]] | | [[Embedded domain specific language | Embedded Domain-Specific Language]] | ||
| + | |- | ||
| + | | EHC | ||
| + | | The [http://www.cs.uu.nl/wiki/bin/view/Ehc/WebHome Essential Haskell Compiler] | ||
|- | |- | ||
| elt | | elt | ||
| Line 77: | Line 113: | ||
|- | |- | ||
| FAQ | | FAQ | ||
| - | | Frequently Asked Questions | + | | [[:Category:FAQ | Frequently Asked Questions]] |
|- | |- | ||
| FD | | FD | ||
| Line 86: | Line 122: | ||
|- | |- | ||
| FHM | | FHM | ||
| - | | [http:// | + | | [http://db.inf.uni-tuebingen.de/team/giorgidze/ Functional Hybrid Modeling] |
| + | |- | ||
| + | | FPL | ||
| + | | [http://www.haskell.org Functional Programming Language] | ||
|- | |- | ||
| FRP | | FRP | ||
| [[Functional Reactive Programming]] | | [[Functional Reactive Programming]] | ||
|- | |- | ||
| - | | | + | | FSF |
| - | | [ | + | | [http://www.fsf.org/ Free Software Foundation] |
|- | |- | ||
| FTW | | FTW | ||
| [http://en.wiktionary.org/wiki/FTW For The World / For The Win] | | [http://en.wiktionary.org/wiki/FTW For The World / For The Win] | ||
| + | |- | ||
| + | | FunDeps | ||
| + | | [[Functional dependencies | Functional Dependencies]] | ||
|- | |- | ||
| FWIW | | FWIW | ||
| For what it's worth | | For what it's worth | ||
| + | |- | ||
| + | | GCC | ||
| + | | [http://gcc.gnu.org/ GNU C Compiler] | ||
|- | |- | ||
| GHC | | GHC | ||
| - | | [http://haskell.org/ghc/ Glasgow Haskell Compiler] | + | | [http://www.haskell.org/ghc/ Glasgow Haskell Compiler] |
|- | |- | ||
| GPL | | GPL | ||
| [http://www.gnu.org/licenses/gpl.html GNU General Public License] | | [http://www.gnu.org/licenses/gpl.html GNU General Public License] | ||
| + | |- | ||
| + | | GPL2 | ||
| + | | [http://www.gnu.org/licenses/gpl2.html GNU General Public License, Version 2] | ||
| + | |- | ||
| + | | GPL3 | ||
| + | | [http://www.gnu.org/licenses/gpl.html GNU General Public License, Version 3] | ||
| + | |- | ||
| + | | 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://www.haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler] | ||
| + | |- | ||
| + | | HBI | ||
| + | | [http://www.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] | ||
| + | |- | ||
| + | | HNF | ||
| + | | [http://encyclopedia2.thefreedictionary.com/head+normal+form Head Normal Form] | ||
|- | |- | ||
| HOAS | | HOAS | ||
| Line 111: | Line 183: | ||
| HOF | | HOF | ||
| [[Higher order function | Higher-Order Functions]] | | [[Higher order function | Higher-Order Functions]] | ||
| + | |- | ||
| + | | HPC | ||
| + | | [[Haskell program coverage | Haskell Program Coverage]], a tool-kit to record and display Haskell program coverage | ||
| + | |- | ||
| + | | HSE | ||
| + | | [http://hackage.haskell.org/package/haskell-src-exts Haskell-Source with Extensions] (a package on Hackage, haskell-src-exts); an extension of the standard haskell-src package | ||
|- | |- | ||
| HTH | | HTH | ||
| Hope This Helps | | Hope This Helps | ||
| + | |- | ||
| + | | HTML | ||
| + | | [http://en.wikipedia.org/wiki/HTML HyperText Markup Language] | ||
|- | |- | ||
| HUGS | | HUGS | ||
| [[Hugs | Haskell User's Gofer System]] | | [[Hugs | Haskell User's Gofer System]] | ||
| + | |- | ||
| + | | HWN | ||
| + | | [[Haskell Weekly News]] | ||
|- | |- | ||
| I18n | | I18n | ||
| Line 128: | Line 212: | ||
|- | |- | ||
| IFL | | IFL | ||
| - | | [http://haskell.org/haskellwiki/Conferences#Implementation_of_Functional_Languages_.28IFL.29 Implementation and Application of Functional Languages], symposium | + | | [http://www.haskell.org/haskellwiki/Conferences#Implementation_of_Functional_Languages_.28IFL.29 Implementation and Application of Functional Languages], symposium |
| + | |- | ||
| + | | IHG | ||
| + | | [http://industry.haskell.org/ Industrial Haskell Group] | ||
|- | |- | ||
| IIRC | | IIRC | ||
| If I Recall Correctly | | If I Recall Correctly | ||
| + | |- | ||
| + | | IIUIC | ||
| + | | If I Understand It Correctly | ||
|- | |- | ||
| IIUC | | IIUC | ||
| If I Understand Correctly | | If I Understand Correctly | ||
| + | |- | ||
| + | | IME | ||
| + | | In My Experience | ||
|- | |- | ||
| IMHO | | IMHO | ||
| Line 144: | Line 237: | ||
| 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 | ||
| [[IRC channel | Internet Relay Chat]] | | [[IRC channel | Internet Relay Chat]] | ||
| + | |- | ||
| + | | ISTR | ||
| + | | I Seem To Recall | ||
| + | |- | ||
| + | | JFYI | ||
| + | | Just For Your Information | ||
|- | |- | ||
| 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] | ||
| + | |- | ||
| + | | LE | ||
| + | | [http://en.wikipedia.org/wiki/Endianness Little Endian] | ||
|- | |- | ||
| LGPL | | LGPL | ||
| Line 155: | Line 266: | ||
|- | |- | ||
| LHC | | LHC | ||
| - | | [http://lhc.seize.it/ | + | | [http://lhc.seize.it/ Luxurious Haskell Compiler]. LHC is a whole-program optimizing backend for the Glorious Glasgow Haskell Compiler |
|- | |- | ||
| LHS | | LHS | ||
| Line 162: | Line 273: | ||
| LLVM | | LLVM | ||
| [[LLVM | Low-Level Virtual Machine]] | | [[LLVM | Low-Level Virtual Machine]] | ||
| + | |- | ||
| + | | LtU | ||
| + | | [http://lambda-the-ultimate.org/ Lambda the Ultimate] (Website) | ||
|- | |- | ||
| LYAH | | LYAH | ||
| + | | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] | ||
| + | |- | ||
| + | | LYAHFGG | ||
| [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] | | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] | ||
|- | |- | ||
| ML | | ML | ||
| - | | A programming language / Mailing | + | | A [http://en.wikipedia.org/wiki/ML_(programming_language) programming language] / Mailing List / Machine Learning |
| + | |- | ||
| + | | MMR | ||
| + | | [[Monomorphism Restriction | MonoMorphism Restriction]] | ||
|- | |- | ||
| MPTC | | MPTC | ||
| Line 180: | Line 300: | ||
| 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 | ||
| + | |- | ||
| + | | NF | ||
| + | | [http://encyclopedia2.thefreedictionary.com/Normal+Form Normal Form], in addition to the [http://en.wikipedia.org/wiki/Normal_form explanations in the Wikipedia article], a fully evaluated expression | ||
| + | |- | ||
| + | | nhc98 | ||
| + | | [http://www.haskell.org/nhc98/ Nearly a Haskell Compiler] | ||
|- | |- | ||
| NLP | | NLP | ||
| Line 186: | Line 312: | ||
| OCAML | | OCAML | ||
| [http://caml.inria.fr/ Objective Caml] (A programming language) | | [http://caml.inria.fr/ Objective Caml] (A programming language) | ||
| + | |- | ||
| + | | OOM | ||
| + | | Out Of Memory | ||
|- | |- | ||
| OP | | OP | ||
| Line 194: | Line 323: | ||
|- | |- | ||
| PADL | | PADL | ||
| - | | [http://haskell.org/haskellwiki/Conferences#Practical_Aspects_of_Declarative_Languages_.28PADL.29 Practical Aspects of Declarative Languages], symposium | + | | [http://www.haskell.org/haskellwiki/Conferences#Practical_Aspects_of_Declarative_Languages_.28PADL.29 Practical Aspects of Declarative Languages], symposium |
| + | |- | ||
| + | | PM | ||
| + | | Personal Message, a message to someone on a message board, that no one else can read | ||
|- | |- | ||
| POPL | | POPL | ||
| Line 201: | Line 333: | ||
| POV | | POV | ||
| Point Of View | | Point Of View | ||
| + | |- | ||
| + | | ppl | ||
| + | | People | ||
|- | |- | ||
| PRNG | | PRNG | ||
| Line 207: | Line 342: | ||
| PVP | | PVP | ||
| [[Package versioning policy]] | | [[Package versioning policy]] | ||
| + | |- | ||
| + | | RDP | ||
| + | | [http://awelonblue.wordpress.com/2011/05/21/comparing-frp-to-rdp/ Reactive Demand Programming] | ||
| + | |- | ||
| + | | RFC | ||
| + | | [http://en.wikipedia.org/wiki/Request_For_Comment Request For Comments] | ||
|- | |- | ||
| RHS | | RHS | ||
| Line 221: | Line 362: | ||
|- | |- | ||
| SEC | | SEC | ||
| - | | [http://conal.net/blog/posts/semantic-editor-combinators | + | | [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 375: | ||
| 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], a programming question and answer site | ||
|- | |- | ||
| SOE | | SOE | ||
| - | | [http://haskell.org/haskellwiki/Books#Textbooks Haskell School Of Expression] (title of a book) | + | | [http://www.haskell.org/haskellwiki/Books#Textbooks Haskell School Of Expression] (title of a book) |
| + | |- | ||
| + | | SORF | ||
| + | | [http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields Simple Overloaded Record Fields] | ||
| + | |- | ||
| + | | SPJ | ||
| + | | [http://research.microsoft.com/en-us/people/simonpj/ Simon Peyton Jones] | ||
| + | |- | ||
| + | | SPOJ | ||
| + | | [http://www.spoj.com/ Sphere Online Judge] an online judge system with over 9000 problems. The solution to problems can be submitted in over 40 languages, including Haskell | ||
|- | |- | ||
| SQL | | SQL | ||
| Line 236: | Line 398: | ||
|- | |- | ||
| STG machine | | STG machine | ||
| - | | [http://research.microsoft.com/ | + | | [http://research.microsoft.com/en-us/um/people/simonpj/papers/spineless-tagless-gmachine.ps.gz Spineless Tagless G-machine] (the link points to a .ps.gz file) |
|- | |- | ||
| STM | | STM | ||
| Line 248: | Line 410: | ||
|- | |- | ||
| TCM | | TCM | ||
| - | | [http://conal.net/blog/tag/type-class-morphism | + | | [http://conal.net/blog/tag/type-class-morphism Type Class Morphism] |
|- | |- | ||
| TCO | | TCO | ||
| - | | [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call | + | | [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimization] |
| + | |- | ||
| + | | TDNR | ||
| + | | [http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] | ||
|- | |- | ||
| TF | | TF | ||
| - | | [[Type families]] | + | | [[GHC/Type_families | Type families]] |
|- | |- | ||
| TFP | | TFP | ||
| - | | [http://haskell.org/haskellwiki/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium | + | | [http://www.haskell.org/haskellwiki/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium |
|- | |- | ||
| TH | | TH | ||
| [[Template Haskell]] | | [[Template Haskell]] | ||
| + | |- | ||
| + | | TIA | ||
| + | | Thanks In Advance | ||
| + | |- | ||
| + | | TIL | ||
| + | | Today I Learned | ||
| + | |- | ||
| + | | tl;dr | ||
| + | | Too Long; Didn't Read | ||
| + | |- | ||
| + | | TLDR | ||
| + | | Too Long; Didn't Read | ||
| + | |- | ||
| + | | TMI | ||
| + | | Too Much Information | ||
|- | |- | ||
| TMR | | TMR | ||
| [[The Monad.Reader]] | | [[The Monad.Reader]] | ||
| + | |- | ||
| + | | UHC | ||
| + | | [http://www.cs.uu.nl/wiki/UHC Utrecht Haskell Compiler] | ||
|- | |- | ||
| UTF8 | | UTF8 | ||
| [http://unicode.org/faq/utf_bom.html#UTF8 Unicode Transformation Format, byte-oriented] | | [http://unicode.org/faq/utf_bom.html#UTF8 Unicode Transformation Format, byte-oriented] | ||
| + | |- | ||
| + | | VCS | ||
| + | | [http://en.wikipedia.org/wiki/Version_Control_System Version Control System] | ||
| + | |- | ||
| + | | VPS | ||
| + | | [http://en.wikipedia.org/wiki/Virtual_Private_Server Virtual Private Server], a virtual machine for hosting a website | ||
|- | |- | ||
| WHNF | | WHNF | ||
| - | | [http:// | + | | [[Weak head normal form | Weak Head Normal Form]] |
| + | |- | ||
| + | | wrt | ||
| + | | With Respect To, or With Regard To, depending on context | ||
| + | |- | ||
| + | | XML | ||
| + | | [http://en.wikipedia.org/wiki/XML eXtensible Markup Language] | ||
|- | |- | ||
| YAHT | | YAHT | ||
| Line 278: | Line 473: | ||
|- | |- | ||
| YMMV | | YMMV | ||
| - | | [http://en.wiktionary.org/wiki/your_mileage_may_vary Your | + | | [http://en.wiktionary.org/wiki/your_mileage_may_vary Your Mileage May Vary] |
|- | |- | ||
|} | |} | ||
Revision as of 15:18, 3 January 2013
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.
