Difference between revisions of "Abbreviations"

From HaskellWiki
Jump to navigation Jump to search
(Links updated)
 
(15 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
== An overview of Haskell related abbreviations ==
  
== 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 [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage package list]. For GHC related abbreviations, see [https://ghc.haskell.org/trac/ghc/wiki/Commentary/Abbreviations GHC Source Code Abbreviations]. The abbreviation might also indicate a [[Conferences | conference]].
+
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/ Hackage package list]. For GHC related abbreviations, see [https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/abbreviations GHC Source Code Abbreviations]. The abbreviation might also indicate a [[Conferences | conference]].
   
 
{|
 
{|
 
| ABI
  
| ABI
−
| [http://en.wikipedia.org/wiki/Application_binary_interface Application Binary Interface]
 +
| [https://en.wikipedia.org/wiki/Application_binary_interface Application Binary Interface]
 
|-
 
|-
 
| ADP
  
| ADP
−
| [http://bibiserv.techfak.uni-bielefeld.de/adp/ Algebraic Dynamic Programming]
 +
| [https://bibiserv.cebitec.uni-bielefeld.de/adp/ Algebraic Dynamic Programming]
 
|-
 
|-
 
| ADT
 
| ADT
Line 38: Line 38:
 
|-
 
|-
 
| AMP
  
| AMP
−
| [http://www.haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal Applicative-Monad Proposal]
 +
| [https://wiki.haskell.org/Functor-Applicative-Monad_Proposal Applicative-Monad Proposal]
 
|-
 
|-
 
| ANN
  
| ANN
−
| ANNouncement / [http://en.wikipedia.org/wiki/Artificial_neural_network Artificial Neural Network]
 +
| ANNouncement / [https://en.wikipedia.org/wiki/Artificial_neural_network Artificial Neural Network]
 
|-
 
|-
 
| API
  
| API
−
| [http://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface]
 +
| [https://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface]
 
|-
 
|-
 
| aPToP
  
| aPToP
Line 53: Line 53:
 
|-
 
|-
 
| AST
  
| AST
−
| [http://en.wikipedia.org/wiki/Abstract_syntax_tree Abstract syntax tree]
 +
| [https://en.wikipedia.org/wiki/Abstract_syntax_tree Abstract syntax tree]
 
|-
  
|-
 
| 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://www.cse.unsw.edu.au/~chak/papers/CKPM05.html Associated types with class])
 +
| [[Abstract data type | Abstract (Data) Type]] / [https://www.researchgate.net/publication/2880714_Associated_Types_with_Class Associated types with class])
 
|-
 
|-
 
| BE
  
| BE
−
| [http://en.wikipedia.org/wiki/Endianness Big Endian]
 +
| [https://en.wikipedia.org/wiki/Endianness Big Endian]
 
|-
 
|-
 
| BSD
  
| BSD
−
| [http://en.wikipedia.org/wiki/BSD_license Berkeley Software Distributions (license)]
 +
| [https://en.wikipedia.org/wiki/BSD_license Berkeley Software Distributions (license)]
 
|-
 
|-
 
| Cabal
  
| Cabal
Line 74: Line 74:
 
|-
 
|-
 
| CFG
  
| CFG
−
| [http://en.wikipedia.org/wiki/Context-free_grammar Context-Free Grammar]
 +
| [https://en.wikipedia.org/wiki/Context-free_grammar Context-Free Grammar]
 
|-
 
|-
 
| CFP
  
| CFP
Line 83: Line 83:
 
|-
  
|-
 
| CPR
  
| CPR
−
| [http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm Constructed Product Result] (analysis)
 +
| [https://www.microsoft.com/en-us/research/publication/constructed-product-result-analysis-haskell/ Constructed Product Result] (analysis)
 
|-
 
|-
 
| CPS
  
| CPS
Line 89: Line 89:
 
|-
 
|-
 
| CSE
  
| CSE
−
| [http://en.wikipedia.org/wiki/Common_subexpression_elimination Common subexpression elimination]
+
| [https://en.wikipedia.org/wiki/Common_subexpression_elimination Common subexpression elimination]
 
|-
 
|-
 
| CUFP
  
| CUFP
−
| [http://cufp.galois.com/ Commercial Users of Functional Programming]
+
| [http://cufp.org/ Commercial Users of Functional Programming]
 
|-
 
|-
 
| DAG
  
| DAG
−
| [http://en.wikipedia.org/wiki/Directed_acyclic_graph Directed acyclic graph]
 +
| [https://en.wikipedia.org/wiki/Directed_acyclic_graph Directed acyclic graph]
 
|-
 
|-
 
| DFA
  
| 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]
 +
| [https://en.wikipedia.org/wiki/Deterministic_finite_automaton Deterministic Finite Automaton], [https://en.wikipedia.org/wiki/Data_flow_analysis Data Flow Analysis], [https://en.wikipedia.org/wiki/Differential_fault_analysis Differential Fault Analysis] or [https://en.wikipedia.org/wiki/Dual_Factor_Authentication Dual Factor Authentication]
 
|-
 
|-
 
| DPH
  
| DPH
Line 104: Line 104:
 
|-
 
|-
 
| DRY
  
| DRY
−
| [http://en.wikipedia.org/wiki/Don't_repeat_yourself Don't repeat yourself]
 +
| [https://en.wikipedia.org/wiki/Don't_repeat_yourself Don't repeat yourself]
 
|-
 
|-
 
| DSEL
  
| DSEL
Line 114: Line 114:
   
 
| DVCS
  
| DVCS
−
| [http://en.wikipedia.org/wiki/Distributed_version_control_system Distributed Version Control System]
 +
| [https://en.wikipedia.org/wiki/Distributed_version_control_system Distributed Version Control System]
 
|-
 
|-
 
| EDSL
  
| EDSL
Line 120: Line 120:
 
|-
 
|-
 
| EHC
  
| EHC
−
| The [http://www.cs.uu.nl/wiki/bin/view/Ehc/WebHome Essential Haskell Compiler]
 +
| The [https://web.archive.org/web/20160916002228/foswiki.cs.uu.nl/foswiki/Ehc/WebHome Essential Haskell Compiler]
 
|-
 
|-
 
| elt
  
| elt
Line 135: Line 135:
 
|-
 
|-
 
| FHM
  
| FHM
−
| [http://db.inf.uni-tuebingen.de/team/alumni/giorgidze Functional Hybrid Modeling]
 +
| [http://www.cs.nott.ac.uk/~psznhn/Publications/padl2003.pdf Functional Hybrid Modeling] (link to PDF)
 
|-
 
|-
 
| FPL
  
| FPL
−
| [http://www.haskell.org Functional Programming Language]
 +
| [https://www.haskell.org Functional Programming Language]
 
|-
  
|-
 
| FTFY
 
| FTFY
Line 147: Line 147:
 
|-
 
|-
 
| FSF
  
| FSF
−
| [http://www.fsf.org/ Free Software Foundation]
 +
| [https://www.fsf.org/ Free Software Foundation]
 
|-
 
|-
 
| FTP
  
| FTP
Line 153: Line 153:
 
|-
 
|-
 
| FTW
  
| FTW
−
| [http://en.wiktionary.org/wiki/FTW For The World / For The Win]
 +
| [https://en.wiktionary.org/wiki/FTW For The World / For The Win]
 
|-
 
|-
 
| FunDeps
  
| FunDeps
Line 165: Line 165:
 
|-
 
|-
 
| GHC
  
| GHC
−
| [http://www.haskell.org/ghc/ Glasgow Haskell Compiler]
 +
| [https://www.haskell.org/ghc/ Glasgow Haskell Compiler]
 
|-
  
|-
 
| GPL
  
| GPL
Line 177: Line 177:
 
|-
 
|-
 
| GSoC
  
| GSoC
−
| [http://code.google.com/soc/ Google Summer of Code]
 +
| [https://developers.google.com/open-source/gsoc/?csw=1 Google Summer of Code]
 
|-
 
|-
 
| GUI
  
| GUI
−
| [http://en.wikipedia.org/wiki/Graphical_User_Interface Graphical User Interface]
 +
| [https://en.wikipedia.org/wiki/Graphical_User_Interface Graphical User Interface]
 
|-
 
|-
 
| HaLVM
  
| HaLVM
Line 186: Line 186:
 
|-
 
|-
 
| HBC
  
| HBC
−
| [http://www.haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler]
 +
| [https://wiki.haskell.org/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler]
 
|-
 
|-
 
| HBI
  
| HBI
−
| [http://www.haskell.org/haskellwiki/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter]
 +
| [https://wiki.haskell.org/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter]
 
|-
 
|-
 
| HCAR
  
| HCAR
−
| [http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Haskell Communities and Activities Report]
 +
| [https://wiki.haskell.org/Haskell_Communities_and_Activities_Report Haskell Communities and Activities Report]
 
|-
 
|-
  +
| HIE
  +
| [https://github.com/haskell/haskell-ide-engine Haskell IDE Engine] (see also [[Haskell Language Server]])
  +
|-
  +
| HLS
  +
| [[Haskell Language Server]]
  +
|-
 
| HNF
  
| HNF
−
| [http://encyclopedia2.thefreedictionary.com/head+normal+form Head Normal Form]
 +
| [https://encyclopedia2.thefreedictionary.com/head+normal+form Head Normal Form]
 
|-
 
|-
 
| HOAS
 
| HOAS
−
| [http://en.wikipedia.org/wiki/Higher-order_abstract_syntax Higher-Order Abstract Syntax] (using binding in the host language to represent binding in the embedded language)
 +
| [https://en.wikipedia.org/wiki/Higher-order_abstract_syntax Higher-Order Abstract Syntax] (using binding in the host language to represent binding in the embedded language)
 
|-
 
|-
 
| HOF
  
| HOF
Line 204: Line 210:
 
|-
 
|-
 
| HPC
  
| HPC
−
| [[Haskell program coverage | Haskell Program Coverage]], a tool-kit to record and display Haskell program coverage / [https://prime.haskell.org/wiki/Committee Haskell Prime Committee] / High Performance Computing
 +
| [[Haskell program coverage | Haskell Program Coverage]], a tool-kit to record and display Haskell program coverage / Haskell Prime Committee / High Performance Computing
  +
|-
  +
| HPFFP
  +
| [https://haskellbook.com/ Haskell Programming From First Principles] (book)
 
|-
 
|-
 
| HSE
  
| HSE
Line 213: Line 222:
 
|-
 
|-
 
| HTML
  
| HTML
−
| [http://en.wikipedia.org/wiki/HTML HyperText Markup Language]
 +
| [https://en.wikipedia.org/wiki/HTML HyperText Markup Language]
 
|-
 
|-
 
| HUGS
 
| HUGS
Line 231: Line 240:
 
|-
 
|-
 
| IFL
  
| IFL
−
| [http://www.haskell.org/haskellwiki/Conferences#Implementation_of_Functional_Languages_.28IFL.29 Implementation and Application of Functional Languages], symposium
 +
| [[Conferences#Implementation_of_Functional_Languages_.28IFL.29 | Implementation and Application of Functional Languages]], symposium
 
|-
 
|-
 
| IHG
  
| IHG
Line 261: Line 270:
 
|-
 
|-
 
| IR
  
| IR
−
| [http://lambda.uta.edu/cse5317/notes/node5.html Intermediate Representation] in a two-phase compiler
 +
| [https://lambda.uta.edu/cse5317/notes/node5.html Intermediate Representation] in a two-phase compiler
 
|-
 
|-
 
| IRC
  
| IRC
Line 276: Line 285:
 
|-
 
|-
 
| JVM
  
| JVM
−
| [http://en.wikipedia.org/wiki/Java_Virtual_Machine Java Virtual Machine]
 +
| [https://en.wikipedia.org/wiki/Java_Virtual_Machine Java Virtual Machine]
 
|-
 
|-
 
| LE
  
| LE
−
| [http://en.wikipedia.org/wiki/Endianness Little Endian]
 +
| [https://en.wikipedia.org/wiki/Endianness Little Endian]
 
|-
 
|-
 
| LGPL
  
| LGPL
Line 285: Line 294:
 
|-
 
|-
 
| LHC
  
| LHC
−
| [http://lhc.seize.it/ Luxurious Haskell Compiler]. LHC is a whole-program optimizing backend for the Glorious Glasgow Haskell Compiler
 +
| [https://github.com/Lemmih/lhc LLVM Haskell Compiler]. LHC is a whole-program optimizing backend for the Glorious Glasgow Haskell Compiler
 
|-
 
|-
 
| LHS
  
| LHS
Line 292: Line 301:
 
| LLVM
  
| LLVM
 
| [[LLVM | Low-Level Virtual Machine]]
  
| [[LLVM | Low-Level Virtual Machine]]
  +
|-
  +
| LSP
  +
| [https://en.wikipedia.org/wiki/Language_Server_Protocol Language Server Protocol] (used by the [[Haskell-language-server]])
 
|-
 
|-
 
| LtU
  
| LtU
Line 309: Line 321:
 
|-
 
|-
 
| ML
  
| ML
−
| A [http://en.wikipedia.org/wiki/ML_(programming_language) programming language] / Mailing List / Machine Learning
 +
| A [https://en.wikipedia.org/wiki/ML_(programming_language) programming language] / Mailing List / Machine Learning
 
|-
 
|-
 
| MMR
 
| MMR
Line 324: Line 336:
 
|-
 
|-
 
| MTL
  
| MTL
−
| [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mtl Monad Transformer Library]
 +
| [http://hackage.haskell.org/package/mtl Monad Transformer Library]
 
|-
 
|-
 
| NCG
  
| NCG
−
| [http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend
 +
| [https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/backends/ncg Native Code Generator], a GHC backend
 
|-
 
|-
 
| NF
  
| 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
 +
| [https://encyclopedia2.thefreedictionary.com/Normal+Form Normal Form], in addition to the [https://en.wikipedia.org/wiki/Normal_form explanations in the Wikipedia article], a fully evaluated expression
 
|-
 
|-
 
| nhc98
  
| nhc98
−
| [http://www.haskell.org/nhc98/ Nearly a Haskell Compiler]
 +
| [https://www.haskell.org/nhc98/ Nearly a Haskell Compiler]
 
|-
 
|-
 
| NLP
  
| NLP
−
| [http://www.haskell.org/haskellwiki/Applications_and_libraries/Linguistics#Natural_language_processing_and_combinatory_logic Natural Language Processing]
 +
| [https://wiki.haskell.org/Applications_and_libraries/Linguistics#Natural_language_processing_and_combinatory_logic Natural Language Processing]
 
|-
 
|-
 
| OCAML
  
| OCAML
−
| [http://caml.inria.fr/ Objective Caml] (A programming language)
 +
| [https://caml.inria.fr/ Objective Caml] (A programming language)
 
|-
 
|-
 
| OOM
  
| OOM
Line 351: Line 363:
 
|-
 
|-
 
| PADL
  
| PADL
−
| [http://www.haskell.org/haskellwiki/Conferences#Practical_Aspects_of_Declarative_Languages_.28PADL.29 Practical Aspects of Declarative Languages], symposium
 +
| [https://wiki.haskell.org/Conferences#Practical_Aspects_of_Declarative_Languages_.28PADL.29 Practical Aspects of Declarative Languages], symposium
 
|-
 
|-
 
| PM
  
| PM
Line 357: Line 369:
 
|-
 
|-
 
| POPL
  
| POPL
−
| [http://en.wikipedia.org/wiki/POPL Principles of Programming Languages, Symposium on]
 +
| [https://en.wikipedia.org/wiki/POPL Principles of Programming Languages, Symposium on]
 
|-
  
|-
 
| POV
  
| POV
Line 366: Line 378:
 
|-
 
|-
 
| PR
  
| PR
−
| [https://help.github.com/articles/using-pull-requests/ Pull Request]
 +
| [https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests Pull Request]
 
|-
  
|-
 
| PRNG
 
| PRNG
−
| [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator]
 +
| [https://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator]
 
|-
  
|-
 
| PVP
  
| PVP
Line 375: Line 387:
 
|-
 
|-
 
| RDP
  
| RDP
−
| [http://awelonblue.wordpress.com/2011/05/21/comparing-frp-to-rdp/ Reactive Demand Programming]
 +
| [https://awelonblue.wordpress.com/2011/05/21/comparing-frp-to-rdp/ Reactive Demand Programming]
 
|-
 
|-
 
| RFC
  
| RFC
−
| [http://en.wikipedia.org/wiki/Request_For_Comment Request For Comments]
 +
| [https://en.wikipedia.org/wiki/Request_For_Comment Request For Comments]
 
|-
 
|-
 
| RHS
  
| RHS
Line 384: Line 396:
 
|-
 
|-
 
| RNG
  
| RNG
−
| [http://en.wikipedia.org/wiki/Random_number_generator Random number generator]
 +
| [https://en.wikipedia.org/wiki/Random_number_generator Random number generator]
  +
|-
  +
| RTS
  +
| [https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts Runtime System]
 
|-
  
|-
 
| RWH
  
| RWH
−
| [http://www.realworldhaskell.org/ Real World Haskell], a book about Haskell
 +
| [http://book.realworldhaskell.org/ Real World Haskell], a book about Haskell
 
|-
  
|-
 
| SAT
  
| SAT
−
| [http://en.wikipedia.org/wiki/Boolean_satisfiability_problem SATisfiability problem]
 +
| [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem SATisfiability problem]
 
|-
 
|-
 
| SEC
  
| SEC
Line 399: Line 414:
 
|-
 
|-
 
| SICP
  
| SICP
−
| [http://mitpress.mit.edu/sicp/full-text/book/book.html Structure and Interpretation of Computer Programs]
 +
| [https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html Structure and Interpretation of Computer Programs]
 
|-
 
|-
 
| SML
  
| SML
−
| [http://en.wikipedia.org/wiki/Standard_ML Standard ML, a programming language]
 +
| [https://en.wikipedia.org/wiki/Standard_ML Standard ML, a programming language]
 
|-
 
|-
 
| SMP
  
| SMP
−
| [http://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing]
 +
| [https://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing]
 
|-
 
|-
 
| SMT
 
| SMT
−
| [http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Satisfiability Modulo Theories]
 +
| [https://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Satisfiability Modulo Theories]
 
|-
 
|-
 
| SO
  
| SO
−
| [http://stackoverflow.com/ StackOverflow], a programming question and answer site
 +
| [https://stackoverflow.com/ StackOverflow], a programming question and answer site
 
|-
 
|-
 
| SOE
  
| SOE
−
| [http://www.haskell.org/haskellwiki/Books#Textbooks Haskell School Of Expression] (title of a book)
 +
| [https://wiki.haskell.org/Books#Textbooks Haskell School Of Expression] (title of a book)
 
|-
 
|-
 
| SORF
  
| SORF
−
| [http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields Simple Overloaded Record Fields]
 +
| [https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields Simple Overloaded Record Fields]
 
|-
 
|-
 
| SPJ
  
| SPJ
−
| [http://research.microsoft.com/en-us/people/simonpj/ Simon Peyton Jones]
 +
| [https://www.microsoft.com/en-us/research/people/simonpj/ Simon Peyton Jones]
 
|-
 
|-
 
| SPOJ
  
| SPOJ
−
| [http://www.spoj.com/ Sphere Online Judge], an online judge system with over 9000 problems. The solution to problems can be submitted in over 40 languages, including Haskell
 +
| [https://www.spoj.com/ 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
−
| [http://en.wikipedia.org/wiki/SQL Structured Query Language]
 +
| [https://en.wikipedia.org/wiki/SQL Structured Query Language]
 
|-
 
|-
 
| STG machine
  
| STG 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)
 +
| [https://www.microsoft.com/en-us/research/publication/implementing-lazy-functional-languages-on-stock-hardware-the-spineless-tagless-g-machine/ Spineless Tagless G-machine]
 
|-
 
|-
 
| STLC
  
| STLC
−
| [http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus Simply Typed Lambda Calculus]
 +
| [https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus Simply Typed Lambda Calculus]
 
|-
 
|-
 
| STM
  
| STM
Line 441: Line 456:
 
|-
 
|-
 
| TaPL
  
| TaPL
−
| [http://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] (book)
 +
| [https://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] (book)
 
|-
 
|-
 
| TCM
  
| TCM
Line 447: Line 462:
 
|-
 
|-
 
| TCO
  
| TCO
−
| [http://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimization]
 +
| [https://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimization]
 
|-
 
|-
 
| TDNR
  
| TDNR
−
| [http://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution]
 +
| [https://gitlab.haskell.org/haskell/prime/-/wikis/Type-Directed-Name-Resolution Type Directed Name Resolution]
 
|-
 
|-
 
| TF
  
| TF
Line 456: Line 471:
 
|-
 
|-
 
| TFP
  
| TFP
−
| [http://www.haskell.org/haskellwiki/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium
 +
| [https://wiki.haskell.org/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium
 
|-
 
|-
 
| TH
  
| TH
Line 483: Line 498:
 
|-
 
|-
 
| UHC
  
| UHC
−
| [http://www.cs.uu.nl/wiki/UHC Utrecht Haskell Compiler]
 +
| [https://web.archive.org/web/20170729171806/foswiki.cs.uu.nl/foswiki/UHC Utrecht Haskell Compiler]
 
|-
 
|-
 
| UTF8
  
| UTF8
Line 489: Line 504:
 
|-
 
|-
 
| VCS
  
| VCS
−
| [http://en.wikipedia.org/wiki/Version_Control_System Version Control System]
 +
| [https://en.wikipedia.org/wiki/Version_Control_System Version Control System]
 
|-
 
|-
 
| VPS
  
| VPS
−
| [http://en.wikipedia.org/wiki/Virtual_Private_Server Virtual Private Server], a virtual machine for hosting a website
 +
| [https://en.wikipedia.org/wiki/Virtual_Private_Server Virtual Private Server], a virtual machine for hosting a website
 
|-
 
|-
 
| WHNF
  
| WHNF
Line 501: Line 516:
 
|-
 
|-
 
| XML
  
| XML
−
| [http://en.wikipedia.org/wiki/XML eXtensible Markup Language]
 +
| [https://en.wikipedia.org/wiki/XML eXtensible Markup Language]
 
|-
 
|-
 
| YAHT
  
| YAHT
−
| [http://en.wikibooks.org/wiki/Haskell/YAHT Yet Another Haskell Tutorial]
 +
| [https://en.wikibooks.org/wiki/Haskell/YAHT Yet Another Haskell Tutorial]
 
|-
 
|-
 
| YHC
  
| YHC
Line 510: Line 525:
 
|-
 
|-
 
| YMMV
  
| YMMV
−
| [http://en.wiktionary.org/wiki/your_mileage_may_vary Your Mileage May Vary]
 +
| [https://en.wiktionary.org/wiki/your_mileage_may_vary Your Mileage May Vary]
 
|-
 
|-
 
|}
  
|}

Latest revision as of 22:08, 12 November 2022

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 Source Code Abbreviations. The abbreviation might also indicate a conference.

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
AKA Also Known As
alist Association list, a list of key-value pairs, [(key, value)]
AMP Applicative-Monad Proposal
ANN ANNouncement / Artificial Neural Network
API Application Programming Interface
aPToP A practical theory of programming
ASAP As Soon As Possible
AST Abstract syntax tree
AT Abstract (Data) Type / 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
CLC Core Libraries Committee
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
DVCS Distributed Version Control System
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 (link to PDF)
FPL Functional Programming Language
FTFY Fixed That For You
FRP Functional Reactive Programming
FSF Free Software Foundation
FTP Foldable/Traversable in Prelude proposal
FTW For The World / For The Win
FunDeps Functional Dependencies
FWIW For what it's worth
GCC GNU Compiler Collection
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
HIE Haskell IDE Engine (see also Haskell Language Server)
HLS Haskell Language Server
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 / Haskell Prime Committee / High Performance Computing
HPFFP Haskell Programming From First Principles (book)
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 LLVM 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
LSP Language Server Protocol (used by the Haskell-language-server)
LtU Lambda the Ultimate (Website)
LYH Learn You a Haskell for Great Good!
LYAH Learn You a Haskell for Great Good!
LYAHFGG Learn You a Haskell for Great Good!
MFP MonadFail Proposal
ML A programming language / Mailing List / Machine Learning
MMR MonoMorphism Restriction
MPTC Multi-Parameter Type Class
MR Monomorphism Restriction
MRP Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`
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) or Original Post (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
PR Pull Request
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
RTS Runtime System
RWH Real World Haskell, a book about Haskell
SAT SATisfiability problem
SEC Semantic editor combinator
SHE Strathclyde Haskell Enhancement, 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
STLC Simply Typed Lambda Calculus
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
TTBOMK To the best of my knowledge
UHC Utrecht Haskell Compiler
UTF8 Unicode Transformation Format, byte-oriented (also written as UTF-8)
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
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=65435"