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 45: Line 44:
 
| CAML
 
| CAML
 
| A programming language
 
| A programming language
 +
|-
 +
| CFP
 +
| Call For Papers - request to send material for a symposium
 
|-  
 
|-  
 
| CPR
 
| CPR
Line 120: 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 129: Line 134:
 
| IMHO
 
| IMHO
 
| In My Humble Opinion
 
| In My Humble Opinion
 +
|-
 +
| IMNSHO
 +
| In My Not So Humble Opinion
 
|-  
 
|-  
 
| IMO
 
| IMO
Line 162: 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 182: 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 188: Line 208:
 
|-  
 
|-  
 
| 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 201: Line 221:
 
| 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