Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(Added PRNG and RNG) |
Benmachine (talk | contribs) |
||
(13 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | {{Stub}} |
||
− | |||
== An overview of Haskell related abbreviations == |
== An overview of Haskell related abbreviations == |
||
− | For GHC related abbreviations [[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]. 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] |
||
− | | [[Functional dependencies | Functional Dependencies]] |
||
|- |
|- |
||
| 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 |
| PRNG |
||
| [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator] |
| [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) |
||
Line 178: | Line 358: | ||
| [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 |
| 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 |
||
− | | |
+ | | [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 188: | 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 197: | 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 218: | 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
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.