Abbreviations
From HaskellWiki
(Difference between revisions)
(Added Category:Glossary) |
(→An overview of Haskell related abbreviations) |
||
| (15 intermediate revisions not shown.) | |||
| Line 1: | Line 1: | ||
| - | |||
| - | |||
== An overview of Haskell related abbreviations == | == 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 [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage package list]. For GHC related abbreviations, see [[GHC/List of abbreviations]]. | |
| - | Note: if there is an abbreviation you cannot find here, it might be the name of a package, so check the [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage package list]. | + | |
{| | {| | ||
| Line 15: | 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 20: | Line 29: | ||
|- | |- | ||
| AFRP | | AFRP | ||
| - | | [Yampa | Arrows-based Functional Reactive Programming], also known as Yampa | + | | [[Yampa | Arrows-based Functional Reactive Programming]], also known as Yampa |
|- | |- | ||
| AKA | | AKA | ||
| Also Known As | | Also Known As | ||
| + | |- | ||
| + | | alist | ||
| + | | Association list, a list of key-value pairs, [(key, value)] | ||
|- | |- | ||
| ANN | | ANN | ||
| Line 29: | Line 41: | ||
|- | |- | ||
| API | | API | ||
| - | | [http://en.wikipedia.org/wiki/Application_programming_interface Application | + | | [http://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface] |
| + | |- | ||
| + | | aPToP | ||
| + | | [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://portal.acm.org/citation.cfm?id=1040306 Associated types with class]) | | [[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://portal.acm.org/citation.cfm?id=1040306 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 | ||
| + | | Call For Papers - request to send material for a symposium | ||
|- | |- | ||
| CPR | | CPR | ||
| Line 51: | 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 | ||
| [http://cufp.galois.com/ Commercial Users of Functional Programming] | | [http://cufp.galois.com/ Commercial Users of Functional Programming] | ||
| + | |- | ||
| + | | DAG | ||
| + | | [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 66: | 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 80: | 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 105: | 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 120: | Line 210: | ||
| ICFP | | ICFP | ||
| [http://www.icfpconference.org/ International Conference on Functional Programming] | | [http://www.icfpconference.org/ International Conference on Functional Programming] | ||
| + | |- | ||
| + | | IFL | ||
| + | | [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 | ||
| In My Humble Opinion | | In My Humble Opinion | ||
| + | |- | ||
| + | | IMNSHO | ||
| + | | In My Not So Humble Opinion | ||
|- | |- | ||
| 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|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 | ||
| [http://www.gnu.org/licenses/lgpl.html GNU Lesser General Public License] | | [http://www.gnu.org/licenses/lgpl.html GNU Lesser General Public License] | ||
| + | |- | ||
| + | | LHC | ||
| + | | [http://lhc.seize.it/ Luxurious Haskell Compiler]. LHC is a whole-program optimizing backend for the Glorious Glasgow Haskell Compiler | ||
|- | |- | ||
| LHS | | LHS | ||
| Line 144: | 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 | ||
| + | | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] | ||
| + | |- | ||
| + | | LYAHFGG | ||
| + | | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] | ||
|- | |- | ||
| ML | | ML | ||
| A programming language / Mailing list | | A programming language / Mailing list | ||
| + | |- | ||
| + | | MMR | ||
| + | | [[Monomorphism Restriction | MonoMorphism Restriction]] | ||
|- | |- | ||
| MPTC | | MPTC | ||
| [[Multi-parameter type class | Multi-Parameter Type Class]] | | [[Multi-parameter type class | Multi-Parameter Type Class]] | ||
| + | |- | ||
| + | | MR | ||
| + | | [[Monomorphism Restriction]] | ||
|- | |- | ||
| MTL | | MTL | ||
| - | | [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mtl Monad | + | | [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mtl Monad Transformer Library] |
| + | |- | ||
| + | | NCG | ||
| + | | [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 | ||
| + | | [http://www.haskell.org/haskellwiki/Applications_and_libraries/Linguistics#Natural_language_processing_and_combinatory_logic Natural Language Processing] | ||
|- | |- | ||
| OCAML | | OCAML | ||
| - | | A programming language | + | | [http://caml.inria.fr/ Objective Caml] (A programming language) |
| + | |- | ||
| + | | OOM | ||
| + | | Out Of Memory | ||
|- | |- | ||
| OP | | OP | ||
| Line 162: | Line 321: | ||
| OT | | OT | ||
| Off-Topic | | Off-Topic | ||
| + | |- | ||
| + | | PADL | ||
| + | | [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 | ||
| [http://en.wikipedia.org/wiki/POPL Principles of Programming Languages, Symposium on] | | [http://en.wikipedia.org/wiki/POPL Principles of Programming Languages, Symposium on] | ||
| + | |- | ||
| + | | POV | ||
| + | | Point Of View | ||
| + | |- | ||
| + | | ppl | ||
| + | | People | ||
| + | |- | ||
| + | | PRNG | ||
| + | | [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator] | ||
| + | |- | ||
| + | | PVP | ||
| + | | [[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 | ||
| Right-Hand Side (of a statement) | | Right-Hand Side (of a statement) | ||
|- | |- | ||
| + | | RNG | ||
| + | | [http://en.wikipedia.org/wiki/Random_number_generator Random number generator] | ||
| + | |- | ||
| RWH | | RWH | ||
| [http://www.realworldhaskell.org/ Real World Haskell], a book about Haskell | | [http://www.realworldhaskell.org/ Real World Haskell], a book about Haskell | ||
| + | |- | ||
| + | | SAT | ||
| + | | [http://en.wikipedia.org/wiki/Boolean_satisfiability_problem SATisfiability problem] | ||
| + | |- | ||
| + | | SEC | ||
| + | | [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 | ||
| - | | | + | | [http://en.wikipedia.org/wiki/Standard_ML Standard ML, a programming language] |
| + | |- | ||
| + | | SMP | ||
| + | | [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 | ||
| + | | [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.pl/ 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 179: | 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 | ||
| [[Software transactional memory]] | | [[Software transactional memory]] | ||
| + | |- | ||
| + | | SYB | ||
| + | | [[Scrap your boilerplate | Scrap Your Boilerplate]] | ||
|- | |- | ||
| TaPL | | TaPL | ||
| Line 188: | 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 | ||
| + | | [[GHC/Type_families | Type families]] | ||
| + | |- | ||
| + | | TFP | ||
| + | | [http://www.haskell.org/haskellwiki/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium | ||
| + | |- | ||
| + | | TH | ||
| + | | [[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://encyclopedia2.thefreedictionary.com/Weak+Head+Normal+Form Weak Head Normal Form] | | [http://encyclopedia2.thefreedictionary.com/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 209: | 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 01:16, 6 September 2012
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.
