Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(→An overview of Haskell related abbreviations: Updated link for GHC related abbreviations, added link to Conferences) |
(Links updated) |
||
(16 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/ |
+ | 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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Application_binary_interface Application Binary Interface] |
|- |
|- |
||
| ADP |
| ADP |
||
− | | [ |
+ | | [https://bibiserv.cebitec.uni-bielefeld.de/adp/ Algebraic Dynamic Programming] |
|- |
|- |
||
| ADT |
| ADT |
||
Line 38: | Line 38: | ||
|- |
|- |
||
| AMP |
| AMP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Functor-Applicative-Monad_Proposal Applicative-Monad Proposal] |
|- |
|- |
||
| ANN |
| ANN |
||
− | | ANNouncement / [ |
+ | | ANNouncement / [https://en.wikipedia.org/wiki/Artificial_neural_network Artificial Neural Network] |
|- |
|- |
||
| API |
| API |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface] |
|- |
|- |
||
| aPToP |
| aPToP |
||
Line 53: | Line 53: | ||
|- |
|- |
||
| AST |
| AST |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Abstract_syntax_tree Abstract syntax tree] |
|- |
|- |
||
| AT |
| AT |
||
− | | [[Abstract data type | Abstract (Data) Type]] / [ |
+ | | [[Abstract data type | Abstract (Data) Type]] / [https://www.researchgate.net/publication/2880714_Associated_Types_with_Class Associated types with class]) |
|- |
|- |
||
| BE |
| BE |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Endianness Big Endian] |
|- |
|- |
||
| BSD |
| BSD |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/BSD_license Berkeley Software Distributions (license)] |
|- |
|- |
||
| Cabal |
| Cabal |
||
Line 74: | Line 74: | ||
|- |
|- |
||
| CFG |
| CFG |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Context-free_grammar Context-Free Grammar] |
|- |
|- |
||
| CFP |
| CFP |
||
Line 83: | Line 83: | ||
|- |
|- |
||
| CPR |
| CPR |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Common_subexpression_elimination Common subexpression elimination] |
|- |
|- |
||
| CUFP |
| CUFP |
||
− | | [http://cufp. |
+ | | [http://cufp.org/ Commercial Users of Functional Programming] |
|- |
|- |
||
| DAG |
| DAG |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Directed_acyclic_graph Directed acyclic graph] |
|- |
|- |
||
| DFA |
| DFA |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Don't_repeat_yourself Don't repeat yourself] |
|- |
|- |
||
| DSEL |
| DSEL |
||
Line 114: | Line 114: | ||
| DVCS |
| DVCS |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Distributed_version_control_system Distributed Version Control System] |
|- |
|- |
||
| EDSL |
| EDSL |
||
Line 120: | Line 120: | ||
|- |
|- |
||
| EHC |
| EHC |
||
− | | The [ |
+ | | 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:// |
+ | | [http://www.cs.nott.ac.uk/~psznhn/Publications/padl2003.pdf Functional Hybrid Modeling] (link to PDF) |
|- |
|- |
||
| FPL |
| FPL |
||
− | | [ |
+ | | [https://www.haskell.org Functional Programming Language] |
|- |
|- |
||
| FTFY |
| FTFY |
||
Line 147: | Line 147: | ||
|- |
|- |
||
| FSF |
| FSF |
||
− | | [ |
+ | | [https://www.fsf.org/ Free Software Foundation] |
|- |
|- |
||
| FTP |
| FTP |
||
Line 153: | Line 153: | ||
|- |
|- |
||
| FTW |
| FTW |
||
− | | [ |
+ | | [https://en.wiktionary.org/wiki/FTW For The World / For The Win] |
|- |
|- |
||
| FunDeps |
| FunDeps |
||
Line 165: | Line 165: | ||
|- |
|- |
||
| GHC |
| GHC |
||
− | | [ |
+ | | [https://www.haskell.org/ghc/ Glasgow Haskell Compiler] |
|- |
|- |
||
| GPL |
| GPL |
||
Line 177: | Line 177: | ||
|- |
|- |
||
| GSoC |
| GSoC |
||
− | | [ |
+ | | [https://developers.google.com/open-source/gsoc/?csw=1 Google Summer of Code] |
|- |
|- |
||
| GUI |
| GUI |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Graphical_User_Interface Graphical User Interface] |
|- |
|- |
||
| HaLVM |
| HaLVM |
||
Line 186: | Line 186: | ||
|- |
|- |
||
| HBC |
| HBC |
||
− | | [ |
+ | | [https://wiki.haskell.org/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler] |
|- |
|- |
||
| HBI |
| HBI |
||
− | | [ |
+ | | [https://wiki.haskell.org/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter] |
|- |
|- |
||
| HCAR |
| HCAR |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://encyclopedia2.thefreedictionary.com/head+normal+form Head Normal Form] |
|- |
|- |
||
| HOAS |
| HOAS |
||
− | | [ |
+ | | [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 / |
+ | | [[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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/HTML HyperText Markup Language] |
|- |
|- |
||
| HUGS |
| HUGS |
||
Line 231: | Line 240: | ||
|- |
|- |
||
| IFL |
| IFL |
||
− | | [ |
+ | | [[Conferences#Implementation_of_Functional_Languages_.28IFL.29 | Implementation and Application of Functional Languages]], symposium |
|- |
|- |
||
| IHG |
| IHG |
||
Line 261: | Line 270: | ||
|- |
|- |
||
| IR |
| IR |
||
− | | [ |
+ | | [https://lambda.uta.edu/cse5317/notes/node5.html Intermediate Representation] in a two-phase compiler |
|- |
|- |
||
| IRC |
| IRC |
||
Line 276: | Line 285: | ||
|- |
|- |
||
| JVM |
| JVM |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Java_Virtual_Machine Java Virtual Machine] |
|- |
|- |
||
| LE |
| LE |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Endianness Little Endian] |
|- |
|- |
||
| LGPL |
| LGPL |
||
Line 285: | Line 294: | ||
|- |
|- |
||
| LHC |
| LHC |
||
− | | [ |
+ | | [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 [ |
+ | | 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 |
+ | | [http://hackage.haskell.org/package/mtl Monad Transformer Library] |
|- |
|- |
||
| NCG |
| NCG |
||
− | | [ |
+ | | [https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/backends/ncg Native Code Generator], a GHC backend |
|- |
|- |
||
| NF |
| NF |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://www.haskell.org/nhc98/ Nearly a Haskell Compiler] |
|- |
|- |
||
| NLP |
| NLP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Applications_and_libraries/Linguistics#Natural_language_processing_and_combinatory_logic Natural Language Processing] |
|- |
|- |
||
| OCAML |
| OCAML |
||
− | | [ |
+ | | [https://caml.inria.fr/ Objective Caml] (A programming language) |
|- |
|- |
||
| OOM |
| OOM |
||
Line 351: | Line 363: | ||
|- |
|- |
||
| PADL |
| PADL |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/POPL Principles of Programming Languages, Symposium on] |
|- |
|- |
||
| POV |
| POV |
||
Line 366: | Line 378: | ||
|- |
|- |
||
| PR |
| PR |
||
− | | [https:// |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator] |
|- |
|- |
||
| PVP |
| PVP |
||
Line 375: | Line 387: | ||
|- |
|- |
||
| RDP |
| RDP |
||
− | | [ |
+ | | [https://awelonblue.wordpress.com/2011/05/21/comparing-frp-to-rdp/ Reactive Demand Programming] |
|- |
|- |
||
| RFC |
| RFC |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Request_For_Comment Request For Comments] |
|- |
|- |
||
| RHS |
| RHS |
||
Line 384: | Line 396: | ||
|- |
|- |
||
| RNG |
| RNG |
||
− | | [ |
+ | | [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:// |
+ | | [http://book.realworldhaskell.org/ Real World Haskell], a book about Haskell |
|- |
|- |
||
| SAT |
| SAT |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem SATisfiability problem] |
|- |
|- |
||
| SEC |
| SEC |
||
Line 399: | Line 414: | ||
|- |
|- |
||
| SICP |
| SICP |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Standard_ML Standard ML, a programming language] |
|- |
|- |
||
| SMP |
| SMP |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing] |
|- |
|- |
||
| SMT |
| SMT |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Satisfiability Modulo Theories] |
|- |
|- |
||
| SO |
| SO |
||
− | | [ |
+ | | [https://stackoverflow.com/ StackOverflow], a programming question and answer site |
|- |
|- |
||
| SOE |
| SOE |
||
− | | [ |
+ | | [https://wiki.haskell.org/Books#Textbooks Haskell School Of Expression] (title of a book) |
|- |
|- |
||
| SORF |
| SORF |
||
− | | [ |
+ | | [https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields Simple Overloaded Record Fields] |
|- |
|- |
||
| SPJ |
| SPJ |
||
− | | [ |
+ | | [https://www.microsoft.com/en-us/research/people/simonpj/ Simon Peyton Jones] |
|- |
|- |
||
| SPOJ |
| SPOJ |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/SQL Structured Query Language] |
|- |
|- |
||
| STG machine |
| STG machine |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus Simply Typed Lambda Calculus] |
|- |
|- |
||
| STM |
| STM |
||
Line 441: | Line 456: | ||
|- |
|- |
||
| TaPL |
| TaPL |
||
− | | [ |
+ | | [https://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] (book) |
|- |
|- |
||
| TCM |
| TCM |
||
Line 447: | Line 462: | ||
|- |
|- |
||
| TCO |
| TCO |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimization] |
|- |
|- |
||
| TDNR |
| TDNR |
||
− | | [ |
+ | | [https://gitlab.haskell.org/haskell/prime/-/wikis/Type-Directed-Name-Resolution Type Directed Name Resolution] |
|- |
|- |
||
| TF |
| TF |
||
Line 456: | Line 471: | ||
|- |
|- |
||
| TFP |
| TFP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium |
|- |
|- |
||
| TH |
| TH |
||
Line 483: | Line 498: | ||
|- |
|- |
||
| UHC |
| UHC |
||
− | | [ |
+ | | [https://web.archive.org/web/20170729171806/foswiki.cs.uu.nl/foswiki/UHC Utrecht Haskell Compiler] |
|- |
|- |
||
| UTF8 |
| UTF8 |
||
Line 489: | Line 504: | ||
|- |
|- |
||
| VCS |
| VCS |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Version_Control_System Version Control System] |
|- |
|- |
||
| VPS |
| VPS |
||
− | | [ |
+ | | [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 |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/XML eXtensible Markup Language] |
|- |
|- |
||
| YAHT |
| YAHT |
||
− | | [ |
+ | | [https://en.wikibooks.org/wiki/Haskell/YAHT Yet Another Haskell Tutorial] |
|- |
|- |
||
| YHC |
| YHC |
||
Line 510: | Line 525: | ||
|- |
|- |
||
| YMMV |
| YMMV |
||
− | | [ |
+ | | [https://en.wiktionary.org/wiki/your_mileage_may_vary Your Mileage May Vary] |
|- |
|- |
||
|} |
|} |
Latest revision as of 22:08, 12 November 2022
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.