Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(More abbreviations) |
(Added a link to GHC/List of abbreviations and more abbreviations) |
||
Line 3: | Line 3: | ||
== 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]. |
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]. |
||
{| |
{| |
||
+ | | ABI |
||
+ | | [http://en.wikipedia.org/wiki/Application_binary_interface Application Binary Interface] |
||
⚫ | |||
| ADP |
| ADP |
||
| [http://bibiserv.techfak.uni-bielefeld.de/adp/ Algebraic Dynamic Programming] |
| [http://bibiserv.techfak.uni-bielefeld.de/adp/ Algebraic Dynamic Programming] |
||
Line 11: | Line 15: | ||
| 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]] |
||
⚫ | |||
+ | | AFAIU |
||
+ | | As Far As I Understand |
||
⚫ | |||
+ | | AFRP |
||
+ | | [Yampa | Arrows-based Functional Reactive Programming], also known as Yampa |
||
|- |
|- |
||
| AKA |
| AKA |
||
Line 23: | Line 33: | ||
| 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]) |
||
+ | |- |
||
+ | | BSD |
||
+ | | [http://en.wikipedia.org/wiki/BSD_license Berkeley Software Distributions (license)] |
||
|- |
|- |
||
| Cabal |
| Cabal |
||
Line 29: | Line 42: | ||
| CAF |
| CAF |
||
| [[Constant applicative form | Constant Applicative Form]] |
| [[Constant applicative form | Constant Applicative Form]] |
||
+ | |- |
||
+ | | CAML |
||
+ | | A programming language |
||
+ | |- |
||
+ | | CPR |
||
+ | | [http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm Constructed Product Result] (analysis) |
||
|- |
|- |
||
| CPS |
| CPS |
||
Line 50: | Line 69: | ||
| elt |
| elt |
||
| Element (of a list/set/...) |
| Element (of a list/set/...) |
||
+ | |- |
||
+ | | FAQ |
||
+ | | Frequently Asked Questions |
||
|- |
|- |
||
| FD |
| FD |
||
Line 75: | Line 97: | ||
| [http://haskell.org/ghc/ Glasgow Haskell Compiler] |
| [http://haskell.org/ghc/ Glasgow Haskell Compiler] |
||
|- |
|- |
||
+ | | GPL |
||
+ | | [http://www.gnu.org/licenses/gpl.html GNU General Public License] |
||
+ | |- |
||
| HOAS |
| HOAS |
||
| [http://en.wikipedia.org/wiki/Higher-order_abstract_syntax Higher-Order Abstract Syntax] (using binding in the host language to represent binding in the embedded language) |
| [http://en.wikipedia.org/wiki/Higher-order_abstract_syntax Higher-Order Abstract Syntax] (using binding in the host language to represent binding in the embedded language) |
||
Line 86: | Line 111: | ||
| HUGS |
| HUGS |
||
| [[Hugs | Haskell User's Gofer System]] |
| [[Hugs | Haskell User's Gofer System]] |
||
+ | |- |
||
+ | | I18n |
||
+ | | Internationalization |
||
+ | |- |
||
+ | | IANAL |
||
+ | | I Am Not A Lawyer |
||
|- |
|- |
||
| ICFP |
| ICFP |
||
Line 104: | Line 135: | ||
| IRC |
| IRC |
||
| [[IRC channel | Internet Relay Chat]] |
| [[IRC channel | Internet Relay Chat]] |
||
+ | |- |
||
+ | | LGPL |
||
+ | | [http://www.gnu.org/licenses/lgpl.html GNU Lesser General Public License] |
||
|- |
|- |
||
| LHS |
| LHS |
||
Line 110: | Line 144: | ||
| LLVM |
| LLVM |
||
| [[LLVM | Low Level Virtual Machine]] |
| [[LLVM | Low Level Virtual Machine]] |
||
+ | |- |
||
+ | | ML |
||
+ | | A programming language / Mailing list |
||
+ | |- |
||
+ | | MPTC |
||
+ | | [[Multi-Parameter Type Class]] |
||
|- |
|- |
||
| MTL |
| MTL |
||
| [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mtl Monad Template Library] |
| [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mtl Monad Template Library] |
||
+ | |- |
||
+ | | OCAML |
||
+ | | A programming language |
||
|- |
|- |
||
| OP |
| OP |
||
Line 125: | Line 168: | ||
| RHS |
| RHS |
||
| Right Hand Side (of a statement) |
| Right Hand Side (of a statement) |
||
+ | |- |
||
+ | | RWH |
||
+ | | [http://www.realworldhaskell.org/ Real World Haskell], a book about Haskell |
||
+ | |- |
||
+ | | SML |
||
+ | | A programming language |
||
|- |
|- |
||
| SQL |
| SQL |
||
Line 134: | Line 183: | ||
| STM |
| STM |
||
| [[Software transactional memory]] |
| [[Software transactional memory]] |
||
+ | |- |
||
+ | | TaPL |
||
+ | | [http://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] (book) |
||
+ | |- |
||
+ | | TCM |
||
+ | | [http://conal.net/blog/tag/type-class-morphism/ Type Class Morphism] |
||
+ | |- |
||
+ | | TCO |
||
+ | | [http://en.wikipedia.org/wiki/Tail_call_optimization Tail Call Optimisation] |
||
+ | |- |
||
+ | | TMR |
||
+ | | [[The Monad.Reader]] |
||
|- |
|- |
||
| 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] |
||
+ | |- |
||
+ | | WHNF |
||
+ | | [http://encyclopedia2.thefreedictionary.com/Weak+Head+Normal+Form Weak Head Normal Form] |
||
|- |
|- |
||
| YAHT |
| YAHT |
||
Line 146: | Line 210: | ||
| YMMV |
| YMMV |
||
| [http://en.wiktionary.org/wiki/your_mileage_may_vary Your Milage May Vary] |
| [http://en.wiktionary.org/wiki/your_mileage_may_vary Your Milage May Vary] |
||
⚫ | |||
⚫ | |||
⚫ | |||
|- |
|- |
||
|} |
|} |
Revision as of 20:09, 30 March 2009
This article is a stub. You can help by expanding it.
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 Hackage package list.