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
Retrieved from "http://www.haskell.org/haskellwiki/Abbreviations"

Categories: Stub articles | Language | Glossary