Search results

• Hac4/Projects
  ...iety of web servers. It borrows heavily from Python's successful WSGI [2] standard, which serves the same purpose, and recent interest in writing web applicat ...lows us to reuse all the cool HSP functionality with other monads than the standard HSP one (which is now HSPT IO). In particular this allows us to reuse the l
  4 KB (626 words) - 13:14, 17 December 2012
• HSQL
  Patching HSQL to work with recent GHC and Cabal versions is a standard process described in [[Upgrading packages]]. Database.HSQL.Types
  2 KB (252 words) - 21:41, 2 October 2008
• Traits type class
  ...ssociate information with a [[type]], not just a value. An example is the standard <hask>Bounded</hask> class: ...on with [[Functional dependencies]]. For example, there may be some float types for which an Int may not be sufficient to express the number of digits in t
  3 KB (408 words) - 18:20, 18 August 2009
• Constructor
  ...to be substituted by a specific type). So when used, the values will have types like <hask>Tree Int</hask> or <hask>Tree (Tree Boolean)</hask>. ...g to a type. On the other hand, <hask>Node</hask> contains other data. The types of those data are its parameters. The first one has type <hask>a</hask>, so
  6 KB (1,060 words) - 16:51, 18 June 2021
• MapReduce as a monad
  ...turally, using functional programming techniques, as a form of monad. The standard implementation of MapReduce is the JAVA-based HADOOP framework, which is ve where <hask>s</hask> and <hask>s'</hask> are data types and <hask>a</hask> and <hask>b</hask> are key values.
  6 KB (1,053 words) - 03:27, 9 April 2021
• Installers
  The compilers which are committed to implementing this standard ''(note that this document is still in the discussion phase)'' are: [[Yhc]] ...h Tool", ..) will be available via the right-click menu for files of these types. If the user picks no, then no changes will be made to the .lhs/.hs associa
  6 KB (1,025 words) - 20:14, 9 December 2020
• Haskell Platform/FAQ
  ...stead, we rely on the large base library to provide the standard interface types. Addition to the platform is a social process. This social process acts as
  1 KB (214 words) - 15:19, 6 February 2021
• Applications and libraries/Generic programming/SyB
  <li><p>rank-2 types</p></li> Rank-2 types are supported by GHC and Hugs and are going to be part of Haskell'.
  5 KB (827 words) - 04:00, 6 April 2021
• TypeCompose/Versions
  ...ir</hask> & <hask>Data.Fun</hask>. Classes of pair-like and function-like types. * Eliminated dependency on "mtl" package by removing a standard applicative instance for <hask>ReaderT</hask>.
  3 KB (440 words) - 17:28, 18 March 2008
• Hoogle/Specs
  At the top of each file is a list of types and their arities, for example: Maybe=1, []=1, Bool=0 Need a standard and an advanced section. Standard is just a textbox. Advanced both parses the search and allows you to type i
  5 KB (854 words) - 14:39, 2 July 2006
• Short theorem prover
  In order to avoid infinite types (which are not intrinsically dangerous in a programming language but wreak The deduction steps are performed by a standard unification routine:
  3 KB (694 words) - 08:23, 13 December 2009
• Cn/十分钟学会 Haskell
  类型 [[Type|types]]（以及类型类 type [[class]]es，稍后提及）总是以大写开头 Function types are written with the argument type, then <hask> -> </hask>, then the result
  14 KB (1,168 words) - 07:39, 12 February 2012
• Jmacro
  mainly compatible with standard Javascript. Most Javascript code in range of standard Haskell types, which are able to be marshalled into
  8 KB (1,206 words) - 23:52, 29 July 2011
• GHC optimisations
  ...function call is replaced by that function's definition. For example, the standard <hask>map</hask> function can be defined as ...expose new optimisations opportunities; <hask>map</hask> works for ''any'' types, whereas <hask>foo</hask> probably works for only ''one'' type.)
  14 KB (2,322 words) - 09:32, 18 January 2008
• The Monad.Reader/Issue5/Different Language
  ...from standard input and display all lines containing the word "Haskell" on standard output. I'll go through this example with you in more detail and show you h ...unction starts by calling getContents. This returns the entire contents of standard input as a string. getContents is an IO action, so we use the <- operator t
  19 KB (3,237 words) - 01:33, 10 May 2008
• Functional dependencies
  ...y the others can, for example, be the return type but none of the argument types of some of the methods. ...s. You really need a multiplication function which overloads to different types:
  4 KB (706 words) - 22:41, 21 July 2021
• Simonpj/Talk:ListComp
  ...e that after the "foo", the types of "a", "b" and "c" have changed. Their types before "foo" get wrapped by "n" after "foo".) # The Down trick is very neat, perhaps that should be a part of the standard libraries.
  11 KB (1,836 words) - 02:36, 25 September 2007
• Libraries and tools/Linguistics/Applicative universal grammar
  ...ERICExtSearch_SearchType_0=eric_accno&objectId=0900000b80096971 Linguistic Types and the Valence of Operators in Applicative Universal Grammar] written by [ ...ew modification, by GHC too (''transpose'' must be explictly imported from standard library module ''Data.List'', and class ''Text'' renamed to ''Show'').
  5 KB (703 words) - 12:09, 4 September 2006
• Applications and libraries/Data structures
  :This is a package of many useful collections types. Advantages include: :*It's easy to migrate from standard Lists/Sets/Maps to the new package. The package is an evolution (rather tha
  17 KB (2,508 words) - 07:09, 8 June 2023
• Monad/ST
  {{Standard class|ST|module=Control.Monad.ST|module-doc=Control-Monad-ST|package=base}} [[Category:Standard classes]] [[Category:Monad]]
  5 KB (802 words) - 05:38, 4 August 2021

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)