Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
("Arrows-based Functional Reactive Programming" is not identical to Yampa) |
(Added Monad of no `return` Proposal) |
||
(9 intermediate revisions by 2 users not shown) | |||
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 |
||
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://www.cse.unsw.edu.au/~chak/papers/CKPM05.html Associated types with class]) |
| [[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]) |
||
Line 102: | Line 108: | ||
| 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 122: | Line 132: | ||
|- |
|- |
||
| 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 145: | ||
| 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 159: | ||
|- |
|- |
||
| GCC |
| GCC |
||
− | | [http://gcc.gnu.org/ GNU |
+ | | [http://gcc.gnu.org/ GNU Compiler Collection] |
|- |
|- |
||
| GHC |
| GHC |
||
Line 157: | Line 173: | ||
| [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 180: | ||
|- |
|- |
||
| HaLVM |
| HaLVM |
||
− | | [ |
+ | | [https://github.com/GaloisInc/HaLVM Haskell Lightweight Virtual Machine] |
|- |
|- |
||
| HBC |
| HBC |
||
Line 282: | Line 298: | ||
| 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 |
||
Line 294: | Line 313: | ||
| 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 321: | ||
|- |
|- |
||
| NCG |
| NCG |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend |
|- |
|- |
||
| NF |
| NF |
||
Line 365: | Line 387: | ||
|- |
|- |
||
| 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 408: | ||
|- |
|- |
||
| SORF |
| SORF |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields Simple Overloaded Record Fields] |
|- |
|- |
||
| SPJ |
| SPJ |
||
Line 392: | Line 414: | ||
|- |
|- |
||
| 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 |
+ | | [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 421: | ||
| 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 441: | ||
|- |
|- |
||
| TDNR |
| TDNR |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] |
|- |
|- |
||
| TF |
| TF |
||
Line 444: | Line 469: | ||
| TMR |
| TMR |
||
| [[The Monad.Reader]] |
| [[The Monad.Reader]] |
||
+ | |- |
||
+ | | TTBOMK |
||
+ | | To the best of my knowledge |
||
|- |
|- |
||
| UHC |
| UHC |
||
Line 449: | Line 477: | ||
|- |
|- |
||
| 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 |
Revision as of 19:03, 5 October 2015
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.