Search results

• Library/New collections
  New Collections: A Modern Package of Collections Types * Easy to migrate from standard Lists/Sets/Maps to the new package. The package is an evolution (rather tha
  596 bytes (86 words) - 15:18, 6 February 2021
• Impredicative types
  ...types are an advanced form of polymorphism, to be contrasted with [[rank-N types]]. ...to be ''universally quantified'': <tt>id :: a -> a</tt> means "''for all'' types <tt>a</tt>, <tt>id</tt> can take an argument and return a result of that ty
  2 KB (347 words) - 11:46, 4 February 2023
• Web/Libraries/JavaScript and AJAX
  ...ch can generate further JMacro code, or any of a range of standard Haskell types, which are able to be marshalled into JMacro through typeclass methods.
  2 KB (222 words) - 23:55, 15 August 2011
• Library
  *[[Library/IO]] - a proposal for development of a new standard low-level IO library. *[[Library/New collections]] - A modern package of collections types.
  773 bytes (108 words) - 19:40, 4 June 2009
• News/1988
  * Hope+ and existential data types (Perry) * Yale Meeting, establishes goals of standard language, and the name Haskell is chosen.
  504 bytes (62 words) - 02:57, 29 June 2021
• Hoogle/Tutorial
  ...API Search can search for either names, or types. For example, to find the standard <code>map :: (a -> b) -> [a] -> [b]</code> function you could search for:
  1,015 bytes (186 words) - 15:54, 15 February 2007
• Internationalization of Haskell programs
  === Using native Haskell data types === You can internationalize your program using native Haskell data types.
  5 KB (762 words) - 17:22, 13 January 2012
• Type inference
  ...ype inference''' is a feature of the type system which means that concrete types are deduced by the type system whereever it is obvious. Another example: There are the following standard functions:
  1 KB (221 words) - 07:35, 29 November 2007
• Strings
  There are several types of strings that can be used in Haskell programs. <hask>String</hask> is the only string type mandated by the language standard, and as such is overwhelmingly the most common, especially for non-performa
  2 KB (285 words) - 20:38, 2 March 2014
• Xmonad/Guided tour of the xmonad source
  basic Haskell: defining functions and data; the type system; standard functions, types, and type classes from the Standard Prelude; and at least
  3 KB (531 words) - 09:09, 15 August 2017
• Monad Transformer Library
  ...fferent by necessity, because they used different technology, but the data types themselves were duplicated for no reason. ...rary that used no extensions to Haskell98 and only defined the transformer types themselves, so that more advanced libraries could share them as a base. mon
  3 KB (429 words) - 17:04, 21 December 2012
• Partial functions
  ...for all possible arguments of the specified type. Examples in the Haskell standard library are: ...al function, it's because your types are incorrect and you should fix your types rather than writing partial functions which guarantee the impossible.
  1 KB (247 words) - 16:53, 15 November 2014
• Merely monadic
  In Haskell, ''monadic types'' - types having an instance for the <code>Monad</code> class - can be thought of as ...often makes the monadic interface the preferred choice for ''abstract data types'', where the inner workings of monadic actions must be kept private e.g. to
  6 KB (988 words) - 04:35, 16 March 2021
• Applications and libraries/Generic programming/Lightweight
  <li><p>Requires Haskell 98 + existential types</p></li> == Subset of data types covered ==
  5 KB (859 words) - 10:10, 20 April 2021
• Peano numbers
  === Peano number types === ...hask> has kind <hask>* -> *</hask>. The natural numbers are represented by types (of kind <hask>*</hask>) <hask>Zero</hask>, <hask>Succ Zero</hask>, <hask>S
  4 KB (571 words) - 20:38, 26 November 2022
• Numeric Prelude
  ...re both certain new type classes representing algebraic structures and new types of mathematical objects. Currently supported algebraic structures are ...which is useful both for applications and testing the class hierarchy. The types are
  4 KB (544 words) - 17:33, 9 July 2012
• GHC/Stand-alone deriving declarations
  == Deriving data types with non-standard contexts == because the instance declaration would have a non-standard context. It would have to look like this:
  5 KB (755 words) - 22:49, 12 June 2021
• Simple to complex
  == Types == from which you can build more complex types.
  6 KB (1,000 words) - 16:35, 6 February 2009
• Hexpat/
  -- it to standard out. ...t data type, which is faster than the standard Haskell String. (Both data types are shown on the graph for hexpat.)
  4 KB (552 words) - 09:01, 20 February 2010
• Wc
  == Standard [Char] == import Foreign.C.Types
  8 KB (1,320 words) - 10:40, 9 April 2013

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