Personal tools

Abbreviations

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Monad Template -> Transformer, JHC, TH, Type families link)
(And even more abbreviations...)
Line 12: Line 12:
 
| 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]]
  +
|-
  +
| AFAIC
  +
| As Far As I'm Concerned / As Far As I Can
  +
|-
  +
| AFAICT
  +
| As Far As I Can Tell
  +
|-
  +
| AFAIK
  +
| As Far As I Know
 
|-
 
|-
 
| AFAIU
 
| AFAIU
Line 45: Line 54:
 
| CAML
 
| CAML
 
| A programming language
 
| A programming language
  +
|-
  +
| CFG
  +
| [http://en.wikipedia.org/wiki/Context-free_grammar Context-Free Grammar]
 
|-
 
|-
 
| CFP
 
| CFP
Line 54: Line 66:
 
| CPS
 
| CPS
 
| [[Continuation | Continuation-Passing Style]]
 
| [[Continuation | Continuation-Passing Style]]
  +
|-
  +
| CSE
  +
| [http://en.wikipedia.org/wiki/Common_subexpression_elimination Common subexpression elimination]
 
|-
 
|-
 
| CUFP
 
| CUFP
Line 99: Line 114:
 
| FWIW
 
| FWIW
 
| For what it's worth
 
| For what it's worth
  +
|-
  +
| GCC
  +
| [http://gcc.gnu.org/ GNU C Compiler]
 
|-
 
|-
 
| GHC
 
| GHC
Line 105: Line 123:
 
| GPL
 
| GPL
 
| [http://www.gnu.org/licenses/gpl.html GNU General Public License]
 
| [http://www.gnu.org/licenses/gpl.html GNU General Public License]
  +
|-
  +
| GSOC
  +
| [http://code.google.com/soc/ Google Summer of Code]
  +
|-
  +
| GUI
  +
| [http://en.wikipedia.org/wiki/Graphical_User_Interface Graphical User Interface]
  +
|-
  +
| HaLVM
  +
| [http://halvm.org/wiki/ Haskell Lightweight Virtual Machine]
  +
|-
  +
| HBC
  +
| [http://haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler]
  +
|-
  +
| HBI
  +
| [http://haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter]
  +
|-
  +
| HCAR
  +
| [http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Haskell Communities and Activities Report]
 
|-
 
|-
 
| HOAS
 
| HOAS
Line 135: Line 171:
 
| IIUC
 
| IIUC
 
| If I Understand Correctly
 
| If I Understand Correctly
  +
|-
  +
| IME
  +
| In My Experience
 
|-
 
|-
 
| IMHO
 
| IMHO
Line 144: Line 183:
 
| IMO
 
| IMO
 
| In My Opinion
 
| In My Opinion
  +
|-
  +
| IOW
  +
| In Other Words
  +
|-
  +
| IR
  +
| [http://lambda.uta.edu/cse5317/notes/node5.html Intermediate Representation] in a two-phase compiler
 
|-
 
|-
 
| IRC
 
| IRC
Line 150: Line 195:
 
| JHC
 
| JHC
 
| [[Jhc|John's Haskell Compiler]]. Compiles to efficient C programs via whole program analysis and other optimizations.
 
| [[Jhc|John's Haskell Compiler]]. Compiles to efficient C programs via whole program analysis and other optimizations.
  +
|-
  +
| JVM
  +
| [http://en.wikipedia.org/wiki/Java_Virtual_Machine Java Virtual Machine]
 
|-
 
|-
 
| LGPL
 
| LGPL
Line 162: Line 210:
 
| LLVM
 
| LLVM
 
| [[LLVM | Low-Level Virtual Machine]]
 
| [[LLVM | Low-Level Virtual Machine]]
  +
|-
  +
| LtU
  +
| [http://lambda-the-ultimate.org/ Lambda the Ultimate] (Website)
 
|-
 
|-
 
| LYAH
 
| LYAH
Line 180: Line 231:
 
| NCG
 
| NCG
 
| [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend
 
| [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend
  +
|-
  +
| nhc98
  +
| [http://www.haskell.org/nhc98/ Nearly a Haskell Compiler]
 
|-
 
|-
 
| NLP
 
| NLP
Line 222: Line 276:
 
| SEC
 
| SEC
 
| [http://conal.net/blog/posts/semantic-editor-combinators/ Semantic editor combinator]
 
| [http://conal.net/blog/posts/semantic-editor-combinators/ Semantic editor combinator]
  +
|-
  +
| SHE
  +
| [http://personal.cis.strath.ac.uk/~conor/pub/she/ Strathclyde Haskell Enhancement] is an experimental preprocessor for the Glasgow Haskell Compiler
  +
|-
  +
| SICP
  +
| [http://mitpress.mit.edu/sicp/full-text/book/book.html Structure and Interpretation of Computer Programs]
 
|-
 
|-
 
| SML
 
| SML
Line 228: Line 288:
 
| SMP
 
| SMP
 
| [http://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing]
 
| [http://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing]
  +
|-
  +
| SMT
  +
| [http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Satisfiability Modulo Theories]
  +
|-
  +
| SO
  +
| [http://stackoverflow.com/ StackOverflow] (website)
 
|-
 
|-
 
| SOE
 
| SOE
Line 264: Line 330:
 
| TMR
 
| TMR
 
| [[The Monad.Reader]]
 
| [[The Monad.Reader]]
  +
|-
  +
| UHC
  +
| [http://www.cs.uu.nl/wiki/UHC Utrecht Haskell Compiler]
 
|-
 
|-
 
| UTF8
 
| UTF8

Revision as of 17:17, 16 December 2010

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
AFAIC As Far As I'm Concerned / As Far As I Can
AFAICT As Far As I Can Tell
AFAIK As Far As I Know
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
CFG Context-Free Grammar
CFP Call For Papers - request to send material for a symposium
CPR Constructed Product Result (analysis)
CPS Continuation-Passing Style
CSE Common subexpression elimination
CUFP Commercial Users of Functional Programming
DAG Directed acyclic graph
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
GCC GNU C Compiler
GHC Glasgow Haskell Compiler
GPL GNU General Public License
GSOC Google Summer of Code
GUI Graphical User Interface
HaLVM Haskell Lightweight Virtual Machine
HBC Haskell-B Compiler
HBI Haskell-B Interpreter
HCAR Haskell Communities and Activities Report
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
IME In My Experience
IMHO In My Humble Opinion
IMNSHO In My Not So Humble Opinion
IMO In My Opinion
IOW In Other Words
IR Intermediate Representation in a two-phase compiler
IRC Internet Relay Chat
JHC John's Haskell Compiler. Compiles to efficient C programs via whole program analysis and other optimizations.
JVM Java Virtual Machine
LGPL GNU Lesser General Public License
LHC Luxureous Haskell Compiler. LHC is a whole-program optimizing backend for the Glorious Glasgow Haskell Compiler
LHS Left-Hand Side (of a statement)
LLVM Low-Level Virtual Machine
LtU Lambda the Ultimate (Website)
LYAH Learn You a Haskell for Great Good!
ML A programming language / Mailing list
MPTC Multi-Parameter Type Class
MR Monomorphism Restriction
MTL Monad Transformer Library
NCG Native Code Generator, a GHC backend
nhc98 Nearly a Haskell Compiler
NLP Natural Language Processing
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
PVP Package versioning policy
RHS Right-Hand Side (of a statement)
RNG Random number generator
RWH Real World Haskell, a book about Haskell
SAT SATisfiability problem
SEC Semantic editor combinator
SHE Strathclyde Haskell Enhancement is an experimental preprocessor for the Glasgow Haskell Compiler
SICP Structure and Interpretation of Computer Programs
SML Standard ML, a programming language
SMP Symmetric Multi-Processing
SMT Satisfiability Modulo Theories
SO StackOverflow (website)
SOE Haskell School Of Expression (title of a book)
SQL Structured Query Language
STG machine Spineless Tagless G-machine (the link points to a .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
TH Template Haskell
TMR The Monad.Reader
UHC Utrecht Haskell Compiler
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