Difference between revisions of "Abbreviations"

From HaskellWiki
Jump to navigation Jump to search
(SEC - [http://conal.net/blog/posts/semantic-editor-combinators/ Semantic editor combinator])
(14 intermediate revisions by 2 users not shown)
Line 1: Line 1:
−
{{Stub}}
  
−  
 
== 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 15: 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
  +
|-
  +
| AFAICS
  +
| As Far As I Can See
  +
|-
  +
| AFAICT
  +
| As Far As I Can Tell
  +
|-
  +
| AFAIK
  +
| As Far As I Know
 
|-
 
|-
 
| AFAIU
  
| AFAIU
Line 20: Line 29:
 
|-
 
|-
 
| AFRP
  
| AFRP
−
| [Yampa | Arrows-based Functional Reactive Programming], also known as Yampa
 +
| [[Yampa | Arrows-based Functional Reactive Programming]], also known as Yampa
 
|-
 
|-
 
| AKA
  
| AKA
 
| Also Known As
  
| Also Known As
  +
|-
  +
| alist
  +
| Association list, a list of key-value pairs, [(key, value)]
 
|-
 
|-
 
| ANN
  
| ANN
Line 29: Line 41:
 
|-
 
|-
 
| API
  
| API
−
| [http://en.wikipedia.org/wiki/Application_programming_interface Application Programmer Interface]
 +
| [http://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface]
  +
|-
  +
| aPToP
  +
| [http://www.cs.toronto.edu/~hehner/aPToP/ A practical theory of programming]
  +
|-
  +
| ASAP
  +
| As Soon As Possible
 
|-
 
|-
 
| AT
  
| AT
 
| [[Abstract data type | Abstract (Data) Type]] / [http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html Associated (Data) Type] (see also [http://portal.acm.org/citation.cfm?id=1040306 Associated types with class])
  
| [[Abstract data type | Abstract (Data) Type]] / [http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html Associated (Data) Type] (see also [http://portal.acm.org/citation.cfm?id=1040306 Associated types with class])
  +
|-
  +
| BE
  +
| [http://en.wikipedia.org/wiki/Endianness Big Endian]
 
|-
 
|-
 
| BSD
  
| BSD
Line 45: Line 66:
 
| CAML
  
| CAML
 
| A programming language
  
| A programming language
  +
|-
  +
| CFG
  +
| [http://en.wikipedia.org/wiki/Context-free_grammar Context-Free Grammar]
  +
|-
  +
| CFP
  +
| Call For Papers - request to send material for a symposium
 
|-
 
|-
 
| CPR
  
| CPR
Line 51: Line 78:
 
| CPS
  
| CPS
 
| [[Continuation | Continuation-Passing Style]]
  
| [[Continuation | Continuation-Passing Style]]
  +
|-
  +
| CSE
  +
| [http://en.wikipedia.org/wiki/Common_subexpression_elimination Common subexpression elimination]
 
|-
 
|-
 
| CUFP
  
| CUFP
 
| [http://cufp.galois.com/ Commercial Users of Functional Programming]
 
| [http://cufp.galois.com/ Commercial Users of Functional Programming]
  +
|-
  +
| DAG
  +
| [http://en.wikipedia.org/wiki/Directed_acyclic_graph Directed acyclic graph]
  +
|-
  +
| DFA
  +
| [http://en.wikipedia.org/wiki/Deterministic_finite_automaton Deterministic Finite Automaton], [http://en.wikipedia.org/wiki/Data_flow_analysis Data Flow Analysis], [http://en.wikipedia.org/wiki/Differential_fault_analysis Differential Fault Analysis] or [http://en.wikipedia.org/wiki/Dual_Factor_Authentication Dual Factor Authentication]
 
|-
 
|-
 
| DPH
  
| DPH
−
| [[Data Parallel Haskell]]
 +
| [[GHC/Data Parallel Haskell | Data Parallel Haskell]]
  +
|-
  +
| DRY
  +
| [http://en.wikipedia.org/wiki/Don't_repeat_yourself Don't repeat yourself]
 
|-
 
|-
 
| DSEL
  
| DSEL
Line 66: Line 105:
 
| EDSL
  
| EDSL
 
| [[Embedded domain specific language | Embedded Domain-Specific Language]]
  
| [[Embedded domain specific language | Embedded Domain-Specific Language]]
  +
|-
  +
| EHC
  +
| The [http://www.cs.uu.nl/wiki/bin/view/Ehc/WebHome Essential Haskell Compiler]
 
|-
 
|-
 
| elt
  
| elt
Line 80: Line 122:
 
|-
 
|-
 
| FHM
  
| FHM
−
| [http://www.cs.nott.ac.uk/~ggg/ Functional Hybrid Modeling]
 +
| [http://db.inf.uni-tuebingen.de/team/giorgidze/ Functional Hybrid Modeling]
  +
|-
  +
| FPL
  +
| [http://www.haskell.org Functional Programming Language]
 
|-
 
|-
 
| FRP
  
| FRP
 
| [[Functional Reactive Programming]]
  
| [[Functional Reactive Programming]]
 
|-
 
|-
−
| FunDeps
 +
| FSF
  +
| [http://www.fsf.org/ Free Software Foundation]
−
| [[Functional dependencies | Functional Dependencies]]
  
 
|-
 
|-
 
| FTW
  
| FTW
 
| [http://en.wiktionary.org/wiki/FTW For The World / For The Win]
  
| [http://en.wiktionary.org/wiki/FTW For The World / For The Win]
  +
|-
  +
| FunDeps
  +
| [[Functional dependencies | Functional Dependencies]]
 
|-
 
|-
 
| FWIW
  
| FWIW
 
| For what it's worth
  
| For what it's worth
  +
|-
  +
| GCC
  +
| [http://gcc.gnu.org/ GNU C Compiler]
 
|-
 
|-
 
| GHC
  
| GHC
−
| [http://haskell.org/ghc/ Glasgow Haskell Compiler]
 +
| [http://www.haskell.org/ghc/ Glasgow Haskell Compiler]
 
|-
  
|-
 
| GPL
  
| GPL
 
| [http://www.gnu.org/licenses/gpl.html GNU General Public License]
  
| [http://www.gnu.org/licenses/gpl.html GNU General Public License]
  +
|-
  +
| GPL2
  +
| [http://www.gnu.org/licenses/gpl2.html GNU General Public License, Version 2]
  +
|-
  +
| GPL3
  +
| [http://www.gnu.org/licenses/gpl.html GNU General Public License, Version 3]
  +
|-
  +
| 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://www.haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler]
  +
|-
  +
| HBI
  +
| [http://www.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]
  +
|-
  +
| HNF
  +
| [http://encyclopedia2.thefreedictionary.com/head+normal+form Head Normal Form]
 
|-
 
|-
 
| HOAS
 
| HOAS
Line 105: Line 183:
 
| HOF
  
| HOF
 
| [[Higher order function | Higher-Order Functions]]
  
| [[Higher order function | Higher-Order Functions]]
  +
|-
  +
| HPC
  +
| [[Haskell program coverage | Haskell Program Coverage]], a tool-kit to record and display Haskell program coverage
  +
|-
  +
| HSE
  +
| [http://hackage.haskell.org/package/haskell-src-exts Haskell-Source with Extensions] (a package on Hackage, haskell-src-exts); an extension of the standard haskell-src package
 
|-
 
|-
 
| HTH
  
| HTH
 
| Hope This Helps
  
| Hope This Helps
  +
|-
  +
| HTML
  +
| [http://en.wikipedia.org/wiki/HTML HyperText Markup Language]
 
|-
 
|-
 
| HUGS
 
| HUGS
 
| [[Hugs | Haskell User's Gofer System]]
  
| [[Hugs | Haskell User's Gofer System]]
  +
|-
  +
| HWN
  +
| [[Haskell Weekly News]]
 
|-
 
|-
 
| I18n
  
| I18n
Line 120: Line 210:
 
| ICFP
  
| ICFP
 
| [http://www.icfpconference.org/ International Conference on Functional Programming]
  
| [http://www.icfpconference.org/ International Conference on Functional Programming]
  +
|-
  +
| IFL
  +
| [http://www.haskell.org/haskellwiki/Conferences#Implementation_of_Functional_Languages_.28IFL.29 Implementation and Application of Functional Languages], symposium
  +
|-
  +
| IHG
  +
| [http://industry.haskell.org/ Industrial Haskell Group]
 
|-
 
|-
 
| IIRC
  
| IIRC
 
| If I Recall Correctly
  
| If I Recall Correctly
  +
|-
  +
| IIUIC
  +
| If I Understand It Correctly
 
|-
 
|-
 
| IIUC
  
| IIUC
 
| If I Understand Correctly
  
| If I Understand Correctly
  +
|-
  +
| IME
  +
| In My Experience
 
|-
 
|-
 
| IMHO
  
| IMHO
 
| In My Humble Opinion
  
| In My Humble Opinion
  +
|-
  +
| IMNSHO
  +
| In My Not So Humble Opinion
 
|-
 
|-
 
| 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
 
| [[IRC channel | Internet Relay Chat]]
  
| [[IRC channel | Internet Relay Chat]]
  +
|-
  +
| ISTR
  +
| I Seem To Recall
  +
|-
  +
| JFYI
  +
| Just For Your Information
  +
|-
  +
| JHC
  +
| [[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]
  +
|-
  +
| LE
  +
| [http://en.wikipedia.org/wiki/Endianness Little Endian]
 
|-
 
|-
 
| LGPL
  
| LGPL
 
| [http://www.gnu.org/licenses/lgpl.html GNU Lesser General Public License]
  
| [http://www.gnu.org/licenses/lgpl.html GNU Lesser General Public License]
  +
|-
  +
| LHC
  +
| [http://lhc.seize.it/ Luxurious Haskell Compiler]. LHC is a whole-program optimizing backend for the Glorious Glasgow Haskell Compiler
 
|-
 
|-
 
| LHS
  
| LHS
Line 144: Line 273:
 
| LLVM
  
| LLVM
 
| [[LLVM | Low-Level Virtual Machine]]
  
| [[LLVM | Low-Level Virtual Machine]]
  +
|-
  +
| LtU
  +
| [http://lambda-the-ultimate.org/ Lambda the Ultimate] (Website)
  +
|-
  +
| LYAH
  +
| [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!]
  +
|-
  +
| LYAHFGG
  +
| [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!]
 
|-
 
|-
 
| ML
  
| ML
 
| A programming language / Mailing list
  
| A programming language / Mailing list
  +
|-
  +
| MMR
  +
| [[Monomorphism Restriction | MonoMorphism Restriction]]
 
|-
 
|-
 
| MPTC
  
| MPTC
 
| [[Multi-parameter type class | Multi-Parameter Type Class]]
  
| [[Multi-parameter type class | Multi-Parameter Type Class]]
  +
|-
  +
| MR
  +
| [[Monomorphism Restriction]]
 
|-
 
|-
 
| 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 Transformer Library]
  +
|-
  +
| NCG
  +
| [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend
  +
|-
  +
| NF
  +
| [http://encyclopedia2.thefreedictionary.com/Normal+Form Normal Form], in addition to the [http://en.wikipedia.org/wiki/Normal_form explanations in the Wikipedia article], a fully evaluated expression
  +
|-
  +
| nhc98
  +
| [http://www.haskell.org/nhc98/ Nearly a Haskell Compiler]
  +
|-
  +
| NLP
  +
| [http://www.haskell.org/haskellwiki/Applications_and_libraries/Linguistics#Natural_language_processing_and_combinatory_logic Natural Language Processing]
 
|-
 
|-
 
| OCAML
  
| OCAML
−
| A programming language
 +
| [http://caml.inria.fr/ Objective Caml] (A programming language)
  +
|-
  +
| OOM
  +
| Out Of Memory
 
|-
 
|-
 
| OP
  
| OP
Line 162: Line 321:
 
| OT
  
| OT
 
| Off-Topic
  
| Off-Topic
  +
|-
  +
| PADL
  +
| [http://www.haskell.org/haskellwiki/Conferences#Practical_Aspects_of_Declarative_Languages_.28PADL.29 Practical Aspects of Declarative Languages], symposium
  +
|-
  +
| PM
  +
| Personal Message, a message to someone on a message board, that no one else can read
 
|-
 
|-
 
| 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
  +
|-
  +
| ppl
  +
| People
  +
|-
  +
| PRNG
  +
| [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator]
  +
|-
  +
| PVP
  +
| [[Package versioning policy]]
  +
|-
  +
| RDP
  +
| [http://awelonblue.wordpress.com/2011/05/21/comparing-frp-to-rdp/ Reactive Demand Programming]
  +
|-
  +
| RFC
  +
| [http://en.wikipedia.org/wiki/Request_For_Comment Request For Comments]
 
|-
 
|-
 
| RHS
  
| RHS
 
| Right-Hand Side (of a statement)
  
| Right-Hand Side (of a statement)
 
|-
 
|-
  +
| RNG
  +
| [http://en.wikipedia.org/wiki/Random_number_generator Random number generator]
  +
|-
 
| RWH
  
| RWH
 
| [http://www.realworldhaskell.org/ Real World Haskell], a book about Haskell
  
| [http://www.realworldhaskell.org/ Real World Haskell], a book about Haskell
 
|-
  
|-
  +
| SAT
  +
| [http://en.wikipedia.org/wiki/Boolean_satisfiability_problem SATisfiability problem]
  +
|-
 
| 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
−
| 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]
  +
|-
  +
| SMT
  +
| [http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Satisfiability Modulo Theories]
  +
|-
  +
| SO
  +
| [http://stackoverflow.com/ StackOverflow], a programming question and answer site
  +
|-
  +
| SOE
  +
| [http://www.haskell.org/haskellwiki/Books#Textbooks Haskell School Of Expression] (title of a book)
  +
|-
  +
| SORF
  +
| [http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields Simple Overloaded Record Fields]
  +
|-
  +
| SPJ
  +
| [http://research.microsoft.com/en-us/people/simonpj/ Simon Peyton Jones]
  +
|-
  +
| SPOJ
  +
| [http://www.spoj.pl/ Sphere Online Judge] an online judge system with over 9000 problems. The solution to problems can be submitted in over 40 languages, including Haskell
 
|-
 
|-
 
| SQL
  
| SQL
Line 182: Line 398:
 
|-
 
|-
 
| STG machine
  
| STG machine
−
| [http://research.microsoft.com/users/simonpj/papers/spineless-tagless-gmachine.ps.gz Spineless Tagless G-machine]
 +
| [http://research.microsoft.com/en-us/um/people/simonpj/papers/spineless-tagless-gmachine.ps.gz Spineless Tagless G-machine] (the link points to a .ps.gz file)
 
|-
 
|-
 
| STM
  
| STM
 
| [[Software transactional memory]]
  
| [[Software transactional memory]]
  +
|-
  +
| SYB
  +
| [[Scrap your boilerplate | Scrap Your Boilerplate]]
 
|-
 
|-
 
| TaPL
  
| TaPL
Line 191: Line 410:
 
|-
 
|-
 
| TCM
  
| TCM
−
| [http://conal.net/blog/tag/type-class-morphism/ Type Class Morphism]
 +
| [http://conal.net/blog/tag/type-class-morphism Type Class Morphism]
 
|-
 
|-
 
| TCO
  
| TCO
−
| [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimisation]
 +
| [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimization]
  +
|-
  +
| TDNR
  +
| [http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution]
  +
|-
  +
| TF
  +
| [[GHC/Type_families | Type families]]
  +
|-
  +
| TFP
  +
| [http://www.haskell.org/haskellwiki/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium
  +
|-
  +
| TH
  +
| [[Template Haskell]]
  +
|-
  +
| TIA
  +
| Thanks In Advance
  +
|-
  +
| TIL
  +
| Today I Learned
  +
|-
  +
| tl;dr
  +
| Too Long; Didn't Read
  +
|-
  +
| TLDR
  +
| Too Long; Didn't Read
  +
|-
  +
| TMI
  +
| Too Much Information
 
|-
 
|-
 
| TMR
  
| TMR
 
| [[The Monad.Reader]]
  
| [[The Monad.Reader]]
  +
|-
  +
| UHC
  +
| [http://www.cs.uu.nl/wiki/UHC Utrecht Haskell Compiler]
 
|-
 
|-
 
| UTF8
  
| UTF8
 
| [http://unicode.org/faq/utf_bom.html#UTF8 Unicode Transformation Format, byte-oriented]
  
| [http://unicode.org/faq/utf_bom.html#UTF8 Unicode Transformation Format, byte-oriented]
  +
|-
  +
| VCS
  +
| [http://en.wikipedia.org/wiki/Version_Control_System Version Control System]
  +
|-
  +
| VPS
  +
| [http://en.wikipedia.org/wiki/Virtual_Private_Server Virtual Private Server], a virtual machine for hosting a website
 
|-
 
|-
 
| WHNF
  
| WHNF
 
| [http://encyclopedia2.thefreedictionary.com/Weak+Head+Normal+Form Weak Head Normal Form]
  
| [http://encyclopedia2.thefreedictionary.com/Weak+Head+Normal+Form Weak Head Normal Form]
  +
|-
  +
| wrt
  +
| With Respect To, or With Regard To, depending on context
  +
|-
  +
| XML
  +
| [http://en.wikipedia.org/wiki/XML eXtensible Markup Language]
 
|-
 
|-
 
| YAHT
  
| YAHT
Line 212: Line 473:
 
|-
 
|-
 
| YMMV
  
| YMMV
−
| [http://en.wiktionary.org/wiki/your_mileage_may_vary Your Milage May Vary]
 +
| [http://en.wiktionary.org/wiki/your_mileage_may_vary Your Mileage May Vary]
 
|-
 
|-
 
|}
  
|}

Revision as of 01:16, 6 September 2012

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
AFAICS As Far As I Can See
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
alist Association list, a list of key-value pairs, [(key, value)]
ANN Announcement
API Application Programming Interface
aPToP A practical theory of programming
ASAP As Soon As Possible
AT Abstract (Data) Type / Associated (Data) Type (see also Associated types with class)
BE Big Endian
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
DFA Deterministic Finite Automaton, Data Flow Analysis, Differential Fault Analysis or Dual Factor Authentication
DPH Data Parallel Haskell
DRY Don't repeat yourself
DSEL Domain-Specific Embedded Language
DSL Domain-Specific Language
EDSL Embedded Domain-Specific Language
EHC The Essential Haskell Compiler
elt Element (of a list/set/...)
FAQ Frequently Asked Questions
FD Functional Dependencies
FFI Foreign Function Interface
FHM Functional Hybrid Modeling
FPL Functional Programming Language
FRP Functional Reactive Programming
FSF Free Software Foundation
FTW For The World / For The Win
FunDeps Functional Dependencies
FWIW For what it's worth
GCC GNU C Compiler
GHC Glasgow Haskell Compiler
GPL GNU General Public License
GPL2 GNU General Public License, Version 2
GPL3 GNU General Public License, Version 3
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
HNF Head Normal Form
HOAS Higher-Order Abstract Syntax (using binding in the host language to represent binding in the embedded language)
HOF Higher-Order Functions
HPC Haskell Program Coverage, a tool-kit to record and display Haskell program coverage
HSE Haskell-Source with Extensions (a package on Hackage, haskell-src-exts); an extension of the standard haskell-src package
HTH Hope This Helps
HTML HyperText Markup Language
HUGS Haskell User's Gofer System
HWN Haskell Weekly News
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
IHG Industrial Haskell Group
IIRC If I Recall Correctly
IIUIC If I Understand It 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
ISTR I Seem To Recall
JFYI Just For Your Information
JHC John's Haskell Compiler. Compiles to efficient C programs via whole program analysis and other optimizations.
JVM Java Virtual Machine
LE Little Endian
LGPL GNU Lesser General Public License
LHC Luxurious 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!
LYAHFGG Learn You a Haskell for Great Good!
ML A programming language / Mailing list
MMR MonoMorphism Restriction
MPTC Multi-Parameter Type Class
MR Monomorphism Restriction
MTL Monad Transformer Library
NCG Native Code Generator, a GHC backend
NF Normal Form, in addition to the explanations in the Wikipedia article, a fully evaluated expression
nhc98 Nearly a Haskell Compiler
NLP Natural Language Processing
OCAML Objective Caml (A programming language)
OOM Out Of Memory
OP Original Poster (who sent the first e-mail of the current thread)
OT Off-Topic
PADL Practical Aspects of Declarative Languages, symposium
PM Personal Message, a message to someone on a message board, that no one else can read
POPL Principles of Programming Languages, Symposium on
POV Point Of View
ppl People
PRNG Pseudorandom number generator
PVP Package versioning policy
RDP Reactive Demand Programming
RFC Request For Comments
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, a programming question and answer site
SOE Haskell School Of Expression (title of a book)
SORF Simple Overloaded Record Fields
SPJ Simon Peyton Jones
SPOJ Sphere Online Judge an online judge system with over 9000 problems. The solution to problems can be submitted in over 40 languages, including Haskell
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 Optimization
TDNR Type Directed Name Resolution
TF Type families
TFP Trends in Functional Programming, symposium
TH Template Haskell
TIA Thanks In Advance
TIL Today I Learned
tl;dr Too Long; Didn't Read
TLDR Too Long; Didn't Read
TMI Too Much Information
TMR The Monad.Reader
UHC Utrecht Haskell Compiler
UTF8 Unicode Transformation Format, byte-oriented
VCS Version Control System
VPS Virtual Private Server, a virtual machine for hosting a website
WHNF Weak Head Normal Form
wrt With Respect To, or With Regard To, depending on context
XML eXtensible Markup Language
YAHT Yet Another Haskell Tutorial
YHC York Haskell Compiler
YMMV Your Mileage May Vary
Retrieved from "https://wiki.haskell.org/index.php?title=Abbreviations&oldid=51852"