Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(More abbreviations) |
m |
||
(15 intermediate revisions by 3 users not shown) | |||
Line 29: | Line 29: | ||
|- |
|- |
||
| AFRP |
| AFRP |
||
− | | [[ |
+ | | [[Arrows-based Functional Reactive Programming]] |
|- |
|- |
||
| 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] |
||
− | | Announcement |
||
|- |
|- |
||
| 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 |
| BE |
||
Line 86: | Line 92: | ||
|- |
|- |
||
| 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 93: | Line 102: | ||
| DSL |
| DSL |
||
| [[Embedded domain specific language | Domain-Specific Language]] |
| [[Embedded domain specific language | Domain-Specific Language]] |
||
+ | |- |
||
+ | |||
+ | | DVCS |
||
+ | | [http://en.wikipedia.org/wiki/Distributed_version_control_system Digital Version Control System] |
||
|- |
|- |
||
| EDSL |
| EDSL |
||
Line 104: | Line 117: | ||
|- |
|- |
||
| FAQ |
| FAQ |
||
− | | Frequently Asked Questions |
+ | | [[:Category:FAQ | Frequently Asked Questions]] |
|- |
|- |
||
| FD |
| FD |
||
Line 113: | Line 126: | ||
|- |
|- |
||
| FHM |
| FHM |
||
− | | [http:// |
+ | | [http://db.inf.uni-tuebingen.de/team/alumni/giorgidze Functional Hybrid Modeling] |
+ | |- |
||
+ | | FPL |
||
+ | | [http://www.haskell.org Functional Programming Language] |
||
|- |
|- |
||
| FRP |
| FRP |
||
Line 134: | Line 150: | ||
|- |
|- |
||
| GHC |
| GHC |
||
− | | [http://haskell.org/ghc/ Glasgow Haskell Compiler] |
+ | | [http://www.haskell.org/ghc/ Glasgow Haskell Compiler] |
|- |
|- |
||
| GPL |
| GPL |
||
Line 145: | Line 161: | ||
| [http://www.gnu.org/licenses/gpl.html GNU General Public License, Version 3] |
| [http://www.gnu.org/licenses/gpl.html GNU General Public License, Version 3] |
||
|- |
|- |
||
− | | |
+ | | GSoC |
| [http://code.google.com/soc/ Google Summer of Code] |
| [http://code.google.com/soc/ Google Summer of Code] |
||
|- |
|- |
||
Line 152: | Line 168: | ||
|- |
|- |
||
| HaLVM |
| HaLVM |
||
− | | [ |
+ | | [https://github.com/GaloisInc/HaLVM Haskell Lightweight Virtual Machine] |
|- |
|- |
||
| HBC |
| HBC |
||
− | | [http://haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler] |
+ | | [http://www.haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler] |
|- |
|- |
||
| HBI |
| HBI |
||
− | | [http://haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter] |
+ | | [http://www.haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter] |
|- |
|- |
||
| HCAR |
| HCAR |
||
| [http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Haskell Communities and Activities Report] |
| [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 168: | Line 187: | ||
| 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 |
||
Line 191: | Line 216: | ||
|- |
|- |
||
| 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 |
||
Line 222: | Line 253: | ||
| ISTR |
| ISTR |
||
| I Seem To Recall |
| I Seem To Recall |
||
+ | |- |
||
+ | | JFYI |
||
+ | | Just For Your Information |
||
|- |
|- |
||
| JHC |
| JHC |
||
Line 248: | Line 282: | ||
|- |
|- |
||
| 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 263: | Line 303: | ||
|- |
|- |
||
| NCG |
| NCG |
||
− | | [http:// |
+ | | [http://ghc.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 |
| nhc98 |
||
Line 278: | Line 321: | ||
|- |
|- |
||
| OP |
| OP |
||
− | | Original Poster (who sent the first e-mail of the current thread) |
+ | | Original Poster (who sent the first e-mail of the current thread) or Original Post (the first e-mail of the current thread) |
|- |
|- |
||
| OT |
| OT |
||
Line 284: | Line 327: | ||
|- |
|- |
||
| 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 291: | Line 337: | ||
| POV |
| POV |
||
| Point Of View |
| Point Of View |
||
+ | |- |
||
+ | | ppl |
||
+ | | People |
||
|- |
|- |
||
| PRNG |
| PRNG |
||
Line 297: | Line 346: | ||
| PVP |
| PVP |
||
| [[Package versioning policy]] |
| [[Package versioning policy]] |
||
+ | |- |
||
+ | | RDP |
||
+ | | [http://awelonblue.wordpress.com/2011/05/21/comparing-frp-to-rdp/ Reactive Demand Programming] |
||
|- |
|- |
||
| RFC |
| RFC |
||
Line 314: | Line 366: | ||
|- |
|- |
||
| SEC |
| SEC |
||
− | | [http://conal.net/blog/posts/semantic-editor-combinators |
+ | | [http://conal.net/blog/posts/semantic-editor-combinators Semantic editor combinator] |
|- |
|- |
||
| SHE |
| SHE |
||
− | | [http://personal.cis.strath.ac.uk/~conor/pub/she/ Strathclyde Haskell Enhancement] |
+ | | [http://personal.cis.strath.ac.uk/~conor/pub/she/ Strathclyde Haskell Enhancement], an experimental preprocessor for the Glasgow Haskell Compiler |
|- |
|- |
||
| SICP |
| SICP |
||
Line 335: | Line 387: | ||
|- |
|- |
||
| 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://ghc.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 341: | Line 402: | ||
|- |
|- |
||
| 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) |
+ | |- |
||
+ | | STLC |
||
+ | | [http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus Simply Typed Lambda Calculus] |
||
|- |
|- |
||
| STM |
| STM |
||
Line 353: | Line 417: | ||
|- |
|- |
||
| 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 Optimization] |
| [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimization] |
||
+ | |- |
||
+ | | TDNR |
||
+ | | [http://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] |
||
|- |
|- |
||
| TF |
| TF |
||
Line 362: | Line 429: | ||
|- |
|- |
||
| 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 |
||
Line 369: | Line 436: | ||
| TIA |
| TIA |
||
| Thanks In Advance |
| Thanks In Advance |
||
+ | |- |
||
+ | | TIL |
||
+ | | Today I Learned |
||
|- |
|- |
||
| tl;dr |
| tl;dr |
||
Line 375: | Line 445: | ||
| TLDR |
| TLDR |
||
| Too Long; Didn't Read |
| Too Long; Didn't Read |
||
+ | |- |
||
+ | | TMI |
||
+ | | Too Much Information |
||
|- |
|- |
||
| TMR |
| TMR |
||
| [[The Monad.Reader]] |
| [[The Monad.Reader]] |
||
+ | |- |
||
+ | | TTBOMK |
||
+ | | To the best of my knowledge |
||
|- |
|- |
||
| UHC |
| UHC |
||
Line 383: | Line 459: | ||
|- |
|- |
||
| 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] (also written as UTF-8) |
+ | |- |
||
+ | | 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 |
||
− | | [ |
+ | | [[Weak head normal form | Weak Head Normal Form]] |
|- |
|- |
||
| wrt |
| wrt |
||
− | | With Respect To, or With Regard To |
+ | | With Respect To, or With Regard To |
|- |
|- |
||
| XML |
| XML |
Revision as of 20:23, 29 May 2014
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.