Personal tools

Abbreviations

From HaskellWiki

(Difference between revisions)
Jump to: navigation, 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.

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 Hackage package list.

ABI Application Binary Interface
ADP Algebraic Dynamic Programming
ADT Abstract Data Type / Algebraic Data Type
AFAIU As Far As I Understand
AFRP Arrows-based Functional Reactive Programming], also known as Yampa
AKA Also Known As
ANN Announcement
API Application Programmer Interface
AT Abstract (Data) Type / Associated (Data) Type (see also Associated types with class)
BSD Berkeley Software Distributions (license)
Cabal Common Architecture for Building Applications and Libraries
CAF Constant Applicative Form
CAML A programming language
CPR Constructed Product Result (analysis)
CPS Continuation Passing Style
CUFP Commercial Users of Functional Programming
DPH Data Parallel Haskell
DSEL Domain Specific Embedded Language
DSL Domain Specific Language
EDSL Embedded Domain Specific Language
elt Element (of a list/set/...)
FAQ Frequently Asked Questions
FD Functional Dependencies
FFI Foreign Function Interface
FHM Functional Hybrid Modeling
FRP Functional Reactive Programming
FunDeps Functional Dependencies
FTW For The World / For The Win
FWIW For what it's worth
GHC Glasgow Haskell Compiler
GPL GNU General Public License
HOAS Higher-Order Abstract Syntax (using binding in the host language to represent binding in the embedded language)
HOF Higher Order Functions
HTH Hope This Helps
HUGS Haskell User's Gofer System
I18n Internationalization
IANAL I Am Not A Lawyer
ICFP International Conference on Functional Programming
IIRC If I Recall Correctly
IIUC If I Understand Correctly
IMHO In My Humble Opinion
IMO In My Opinion
IRC Internet Relay Chat
LGPL GNU Lesser General Public License
LHS Left Hand Side (of a statement)
LLVM Low Level Virtual Machine
ML A programming language / Mailing list
MPTC Multi-Parameter Type Class
MTL Monad Template Library
OCAML A programming language
OP Original Poster (who sent the first e-mail of the current thread)
OT Off Topic
POPL Principles of Programming Languages, Symposium on
RHS Right Hand Side (of a statement)
RWH Real World Haskell, a book about Haskell
SML A programming language
SQL Structured Query Language
STG machine Spineless Tagless G-machine
STM Software transactional memory
TaPL Types and Programming Languages (book)
TCM Type Class Morphism
TCO Tail Call Optimisation
TMR The Monad.Reader
UTF8 Unicode Transformation Format, byte-oriented
WHNF Weak Head Normal Form
YAHT Yet Another Haskell Tutorial
YHC York Haskell Compiler
YMMV Your Milage May Vary