Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(→An overview of Haskell related abbreviations: fix type directed name resolution link to haskell prime wiki) |
(Links updated) |
||
(3 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://gitlab.haskell.org/ghc/ghc/wikis/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]]. |
{| |
{| |
||
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 135: | Line 135: | ||
|- |
|- |
||
| FHM |
| FHM |
||
− | | [ |
+ | | [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 195: | Line 195: | ||
|- |
|- |
||
| 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 |
||
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 |
||
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://gitlab.haskell.org/ghc/ghc/wikis/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 |
||
Line 348: | Line 351: | ||
|- |
|- |
||
| OCAML |
| OCAML |
||
− | | [ |
+ | | [https://caml.inria.fr/ Objective Caml] (A programming language) |
|- |
|- |
||
| OOM |
| OOM |
||
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 426: | Line 432: | ||
|- |
|- |
||
| SORF |
| SORF |
||
− | | [https://gitlab.haskell.org/ghc/ghc/wikis/records/overloaded-record-fields Simple Overloaded Record Fields] |
+ | | [https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields Simple Overloaded Record Fields] |
|- |
|- |
||
| SPJ |
| SPJ |
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.