Personal tools

Abbreviations

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Ocaml)
Line 19: Line 19:
 
|-
 
|-
 
| AFRP
 
| AFRP
| [Yampa | Arrows-based Functional Reactive Programming], also known as Yampa
+
| [[Yampa | Arrows-based Functional Reactive Programming]], also known as Yampa
 
|-
 
|-
 
| AKA
 
| AKA
Line 29: Line 29:
 
| API
 
| API
 
| [http://en.wikipedia.org/wiki/Application_programming_interface Application Programmer Interface]
 
| [http://en.wikipedia.org/wiki/Application_programming_interface Application Programmer Interface]
  +
|-
  +
| aPToP
  +
| [http://www.cs.toronto.edu/~hehner/aPToP/ A practical theory of programming]
 
|-
 
|-
 
| AT
 
| AT
Line 161: Line 164:
 
| 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]
  +
|-
  +
| NCG
  +
| [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend
 
|-
 
|-
 
| OCAML
 
| OCAML
Line 212: Line 218:
 
| STM
 
| STM
 
| [[Software transactional memory]]
 
| [[Software transactional memory]]
  +
|-
  +
| SYB
  +
| [[Scrap your boilerplate | Scrap Your Boilerplate]]
 
|-
 
|-
 
| TaPL
 
| TaPL

Revision as of 20:39, 11 July 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
aPToP A practical theory of programming
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
NCG Native Code Generator, a GHC backend
OCAML Objective Caml (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
SYB Scrap Your Boilerplate
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