Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(→An overview of Haskell related abbreviations: Updated links) |
(Links updated) |
||
(6 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/ Hackage package list]. For GHC related abbreviations, see [https:// |
+ | 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]]. |
{| |
{| |
||
Line 38: | Line 38: | ||
|- |
|- |
||
| AMP |
| AMP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Functor-Applicative-Monad_Proposal Applicative-Monad Proposal] |
|- |
|- |
||
| ANN |
| ANN |
||
Line 56: | Line 56: | ||
|- |
|- |
||
| 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 |
||
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 165: | Line 165: | ||
|- |
|- |
||
| GHC |
| GHC |
||
− | | [ |
+ | | [https://www.haskell.org/ghc/ Glasgow Haskell Compiler] |
|- |
|- |
||
| GPL |
| GPL |
||
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 |
| HIE |
||
− | | [https://github.com/haskell/haskell-ide-engine Haskell IDE Engine] |
+ | | [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 |
||
Line 207: | 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 |
| HPFFP |
||
− | | [ |
+ | | [https://haskellbook.com/ Haskell Programming From First Principles] (book) |
|- |
|- |
||
| HSE |
| HSE |
||
Line 237: | Line 240: | ||
|- |
|- |
||
| IFL |
| IFL |
||
− | | [ |
+ | | [[Conferences#Implementation_of_Functional_Languages_.28IFL.29 | Implementation and Application of Functional Languages]], symposium |
|- |
|- |
||
| IHG |
| IHG |
||
Line 267: | Line 270: | ||
|- |
|- |
||
| IR |
| IR |
||
− | | [ |
+ | | [https://lambda.uta.edu/cse5317/notes/node5.html Intermediate Representation] in a two-phase compiler |
|- |
|- |
||
| IRC |
| IRC |
||
Line 300: | Line 303: | ||
|- |
|- |
||
| LSP |
| LSP |
||
− | | [https://en.wikipedia.org/wiki/Language_Server_Protocol Language Server Protocol] (used by the Haskell |
+ | | [https://en.wikipedia.org/wiki/Language_Server_Protocol Language Server Protocol] (used by the [[Haskell-language-server]]) |
|- |
|- |
||
| LtU |
| LtU |
||
Line 336: | Line 339: | ||
|- |
|- |
||
| NCG |
| NCG |
||
− | | [https:// |
+ | | [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 360: | 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 375: | 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 |
||
Line 394: | Line 397: | ||
| RNG |
| RNG |
||
| [https://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 |
||
Line 408: | Line 414: | ||
|- |
|- |
||
| SICP |
| SICP |
||
− | | [https:// |
+ | | [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 |
||
Line 423: | Line 429: | ||
|- |
|- |
||
| SOE |
| SOE |
||
− | | [ |
+ | | [https://wiki.haskell.org/Books#Textbooks Haskell School Of Expression] (title of a book) |
|- |
|- |
||
| SORF |
| SORF |
||
− | | [https:// |
+ | | [https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields Simple Overloaded Record Fields] |
|- |
|- |
||
| SPJ |
| SPJ |
||
Line 432: | Line 438: | ||
|- |
|- |
||
| 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 |
||
Line 450: | Line 456: | ||
|- |
|- |
||
| TaPL |
| TaPL |
||
− | | [ |
+ | | [https://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] (book) |
|- |
|- |
||
| TCM |
| TCM |
||
Line 459: | Line 465: | ||
|- |
|- |
||
| TDNR |
| TDNR |
||
− | | [https:// |
+ | | [https://gitlab.haskell.org/haskell/prime/-/wikis/Type-Directed-Name-Resolution Type Directed Name Resolution] |
|- |
|- |
||
| TF |
| TF |
||
Line 465: | Line 471: | ||
|- |
|- |
||
| TFP |
| TFP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium |
|- |
|- |
||
| TH |
| TH |
||
Line 492: | Line 498: | ||
|- |
|- |
||
| UHC |
| UHC |
||
− | | [ |
+ | | [https://web.archive.org/web/20170729171806/foswiki.cs.uu.nl/foswiki/UHC Utrecht Haskell Compiler] |
|- |
|- |
||
| UTF8 |
| UTF8 |
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.