Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
Benmachine (talk | contribs) |
(Added LYH) |
||
(19 intermediate revisions by 3 users not shown) | |||
Line 29: | Line 29: | ||
|- |
|- |
||
| AFRP |
| AFRP |
||
− | | [[ |
+ | | [[Arrows-based Functional Reactive Programming]] |
|- |
|- |
||
| AKA |
| AKA |
||
Line 36: | Line 36: | ||
| alist |
| alist |
||
| Association list, a list of key-value pairs, [(key, value)] |
| Association list, a list of key-value pairs, [(key, value)] |
||
+ | |- |
||
+ | | AMP |
||
+ | | [http://www.haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal Applicative-Monad Proposal] |
||
|- |
|- |
||
| ANN |
| ANN |
||
+ | | ANNouncement / [http://en.wikipedia.org/wiki/Artificial_neural_network Artificial Neural Network] |
||
− | | Announcement |
||
|- |
|- |
||
| API |
| API |
||
Line 49: | Line 52: | ||
| As Soon As Possible |
| As Soon As Possible |
||
|- |
|- |
||
+ | | AST |
||
+ | | [http://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:// |
+ | | [[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]) |
|- |
|- |
||
| BE |
| BE |
||
Line 73: | Line 79: | ||
| Call For Papers - request to send material for a symposium |
| Call For Papers - request to send material for a symposium |
||
|- |
|- |
||
+ | | CLC |
||
+ | | [[Core Libraries Committee]] |
||
+ | |- |
||
| CPR |
| CPR |
||
| [http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm Constructed Product Result] (analysis) |
| [http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm Constructed Product Result] (analysis) |
||
Line 102: | Line 111: | ||
| DSL |
| DSL |
||
| [[Embedded domain specific language | Domain-Specific Language]] |
| [[Embedded domain specific language | Domain-Specific Language]] |
||
+ | |- |
||
+ | |||
+ | | DVCS |
||
+ | | [http://en.wikipedia.org/wiki/Distributed_version_control_system Distributed Version Control System] |
||
|- |
|- |
||
| EDSL |
| EDSL |
||
Line 113: | Line 126: | ||
|- |
|- |
||
| FAQ |
| FAQ |
||
− | | Frequently Asked Questions |
+ | | [[:Category:FAQ | Frequently Asked Questions]] |
|- |
|- |
||
| FD |
| FD |
||
Line 122: | Line 135: | ||
|- |
|- |
||
| FHM |
| FHM |
||
− | | [http://db.inf.uni-tuebingen.de/team/ |
+ | | [http://db.inf.uni-tuebingen.de/team/alumni/giorgidze Functional Hybrid Modeling] |
|- |
|- |
||
| FPL |
| FPL |
||
| [http://www.haskell.org Functional Programming Language] |
| [http://www.haskell.org Functional Programming Language] |
||
− | |- |
+ | |- |
+ | | FTFY |
||
+ | | Fixed That For You |
||
+ | |- |
||
| FRP |
| FRP |
||
| [[Functional Reactive Programming]] |
| [[Functional Reactive Programming]] |
||
Line 132: | Line 148: | ||
| FSF |
| FSF |
||
| [http://www.fsf.org/ Free Software Foundation] |
| [http://www.fsf.org/ Free Software Foundation] |
||
+ | |- |
||
+ | | FTP |
||
+ | | [[Foldable Traversable In Prelude | Foldable/Traversable in Prelude proposal]] |
||
|- |
|- |
||
| FTW |
| FTW |
||
Line 143: | Line 162: | ||
|- |
|- |
||
| GCC |
| GCC |
||
− | | [http://gcc.gnu.org/ GNU |
+ | | [http://gcc.gnu.org/ GNU Compiler Collection] |
|- |
|- |
||
| GHC |
| GHC |
||
Line 157: | Line 176: | ||
| [http://www.gnu.org/licenses/gpl.html GNU General Public License, Version 3] |
| [http://www.gnu.org/licenses/gpl.html GNU General Public License, Version 3] |
||
|- |
|- |
||
− | | |
+ | | GSoC |
| [http://code.google.com/soc/ Google Summer of Code] |
| [http://code.google.com/soc/ Google Summer of Code] |
||
|- |
|- |
||
Line 164: | Line 183: | ||
|- |
|- |
||
| HaLVM |
| HaLVM |
||
− | | [ |
+ | | [https://github.com/GaloisInc/HaLVM Haskell Lightweight Virtual Machine] |
|- |
|- |
||
| HBC |
| HBC |
||
Line 185: | Line 204: | ||
|- |
|- |
||
| 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 / [https://prime.haskell.org/wiki/Committee Haskell Prime Committee] / High Performance Computing |
|- |
|- |
||
| HSE |
| HSE |
||
Line 276: | Line 295: | ||
| LtU |
| LtU |
||
| [http://lambda-the-ultimate.org/ Lambda the Ultimate] (Website) |
| [http://lambda-the-ultimate.org/ Lambda the Ultimate] (Website) |
||
+ | |- |
||
+ | | LYH |
||
+ | | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] |
||
|- |
|- |
||
| LYAH |
| LYAH |
||
Line 282: | Line 304: | ||
| LYAHFGG |
| LYAHFGG |
||
| [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] |
| [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] |
||
+ | |- |
||
+ | | MFP |
||
+ | | [[MonadFail Proposal]] |
||
|- |
|- |
||
| ML |
| ML |
||
− | | A programming language / Mailing |
+ | | A [http://en.wikipedia.org/wiki/ML_(programming_language) programming language] / Mailing List / Machine Learning |
|- |
|- |
||
| MMR |
| MMR |
||
Line 294: | Line 319: | ||
| MR |
| MR |
||
| [[Monomorphism Restriction]] |
| [[Monomorphism Restriction]] |
||
+ | |- |
||
+ | | MRP |
||
+ | | [https://mail.haskell.org/pipermail/libraries/2015-September/026121.html Monad of no `return` Proposal (MRP)]: Moving `return` out of `Monad` |
||
|- |
|- |
||
| MTL |
| MTL |
||
Line 299: | Line 327: | ||
|- |
|- |
||
| NCG |
| NCG |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend |
|- |
|- |
||
| NF |
| NF |
||
Line 317: | Line 345: | ||
|- |
|- |
||
| OP |
| OP |
||
− | | Original Poster (who sent the first e-mail of the current thread) |
+ | | Original Poster (who sent the first e-mail of the current thread) or Original Post (the first e-mail of the current thread) |
|- |
|- |
||
| OT |
| OT |
||
Line 337: | Line 365: | ||
| People |
| People |
||
|- |
|- |
||
+ | | PR |
||
+ | | [https://help.github.com/articles/using-pull-requests/ Pull Request] |
||
+ | |- |
||
| PRNG |
| PRNG |
||
| [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator] |
| [http://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator] |
||
Line 365: | Line 396: | ||
|- |
|- |
||
| SHE |
| SHE |
||
− | | [http://personal.cis.strath.ac.uk/~conor/pub/she/ Strathclyde Haskell Enhancement] |
+ | | [http://personal.cis.strath.ac.uk/~conor/pub/she/ Strathclyde Haskell Enhancement], an experimental preprocessor for the Glasgow Haskell Compiler |
|- |
|- |
||
| SICP |
| SICP |
||
Line 386: | Line 417: | ||
|- |
|- |
||
| SORF |
| SORF |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields Simple Overloaded Record Fields] |
|- |
|- |
||
| SPJ |
| SPJ |
||
Line 392: | Line 423: | ||
|- |
|- |
||
| SPOJ |
| SPOJ |
||
− | | [http://www.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 |
|- |
|- |
||
| SQL |
| SQL |
||
Line 399: | Line 430: | ||
| 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) |
| [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) |
||
+ | |- |
||
+ | | STLC |
||
+ | | [http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus Simply Typed Lambda Calculus] |
||
|- |
|- |
||
| STM |
| STM |
||
Line 416: | Line 450: | ||
|- |
|- |
||
| TDNR |
| TDNR |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] |
|- |
|- |
||
| TF |
| TF |
||
Line 444: | Line 478: | ||
| TMR |
| TMR |
||
| [[The Monad.Reader]] |
| [[The Monad.Reader]] |
||
+ | |- |
||
+ | | TTBOMK |
||
+ | | To the best of my knowledge |
||
|- |
|- |
||
| UHC |
| UHC |
||
Line 449: | Line 486: | ||
|- |
|- |
||
| 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] (also written as UTF-8) |
|- |
|- |
||
| VCS |
| VCS |
||
Line 458: | Line 495: | ||
|- |
|- |
||
| WHNF |
| WHNF |
||
− | | [ |
+ | | [[Weak head normal form | Weak Head Normal Form]] |
|- |
|- |
||
| wrt |
| wrt |
||
− | | With Respect To, or With Regard To |
+ | | With Respect To, or With Regard To |
|- |
|- |
||
| XML |
| XML |
Revision as of 14:21, 5 January 2016
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.