Personal tools

Abbreviations

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Added PRNG and RNG)
(Added links and new entries)
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]. 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 44: Line 44:
 
| CAML
 
| CAML
 
| A programming language
 
| A programming language
  +
|-
  +
| CFP
  +
| Call For Papers - request to send material for a symposium
 
|-
 
|-
 
| CPR
 
| CPR
Line 119: Line 122:
 
| ICFP
 
| ICFP
 
| [http://www.icfpconference.org/ International Conference on Functional Programming]
 
| [http://www.icfpconference.org/ International Conference on Functional Programming]
  +
|-
  +
| IFL
  +
| [http://haskell.org/haskellwiki/Conferences#Implementation_of_Functional_Languages_.28IFL.29 Implementation and Application of Functional Languages], symposium
 
|-
 
|-
 
| IIRC
 
| IIRC
Line 128: Line 134:
 
| IMHO
 
| IMHO
 
| In My Humble Opinion
 
| In My Humble Opinion
  +
|-
  +
| IMNSHO
  +
| In My Not So Humble Opinion
 
|-
 
|-
 
| IMO
 
| IMO
Line 161: Line 170:
 
| OT
 
| OT
 
| Off-Topic
 
| Off-Topic
  +
|-
  +
| PADL
  +
| [http://haskell.org/haskellwiki/Conferences#Practical_Aspects_of_Declarative_Languages_.28PADL.29 Practical Aspects of Declarative Languages], symposium
 
|-
 
|-
 
| 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
  +
|-
 
| PRNG
 
| PRNG
 
| [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator]
 
| [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator]
Line 181: Line 196:
 
|-
 
|-
 
| SML
 
| SML
| A programming language
+
| [http://en.wikipedia.org/wiki/Standard_ML Standard ML, a programming language]
  +
|-
  +
| SMP
  +
| [http://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing]
  +
|-
  +
| SOE
  +
| [http://haskell.org/haskellwiki/Books#Textbooks Haskell School Of Expression] (title of a book)
 
|-
 
|-
 
| SQL
 
| SQL
Line 187: Line 202:
 
|-
 
|-
 
| STG machine
 
| STG machine
| [http://research.microsoft.com/users/simonpj/papers/spineless-tagless-gmachine.ps.gz Spineless Tagless G-machine]
+
| [http://research.microsoft.com/users/simonpj/papers/spineless-tagless-gmachine.ps.gz Spineless Tagless G-machine] (.ps.gz file)
 
|-
 
|-
 
| STM
 
| STM
Line 200: Line 215:
 
| TCO
 
| TCO
 
| [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimisation]
 
| [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimisation]
  +
|-
  +
| TF
  +
| Type Families
  +
|-
  +
| TFP
  +
| [http://haskell.org/haskellwiki/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium
 
|-
 
|-
 
| TMR
 
| TMR

Revision as of 12:52, 7 January 2010

This article is a stub. You can help by expanding it.

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.

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
CFP Call For Papers - request to send material for a symposium
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 / Internationalisation (which shows why the abbreviation is useful)
IANAL I Am Not A Lawyer
ICFP International Conference on Functional Programming
IFL Implementation and Application of Functional Languages, symposium
IIRC If I Recall Correctly
IIUC If I Understand Correctly
IMHO In My Humble Opinion
IMNSHO In My Not So 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
PADL Practical Aspects of Declarative Languages, symposium
POPL Principles of Programming Languages, Symposium on
POV Point Of View
PRNG Pseudorandom number generator
RHS Right-Hand Side (of a statement)
RNG Random number generator
RWH Real World Haskell, a book about Haskell
SEC Semantic editor combinator
SML Standard ML, a programming language
SMP Symmetric Multi-Processing
SOE Haskell School Of Expression (title of a book)
SQL Structured Query Language
STG machine Spineless Tagless G-machine (.ps.gz file)
STM Software transactional memory
TaPL Types and Programming Languages (book)
TCM Type Class Morphism
TCO Tail-Call Optimisation
TF Type Families
TFP Trends in Functional Programming, symposium
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