Search results

• Curry-Howard-Lambek correspondence
  Things get interesting when polymorphism comes in. The composition operator in Haskell proves a very simple theorem.
  8 KB (1,303 words) - 15:42, 18 November 2019
• DataDriven
  ...way to sample the value when changed. Here <hask>g `O` h</hask> means the composition of two type constructors, and is defined in [[TypeCompose]]. Without the f
  13 KB (2,149 words) - 10:44, 17 July 2011
• Category theory
  function <math>\circ</math> called composition, such that <math>g
  9 KB (1,379 words) - 04:11, 14 February 2023
• Untypechecking
  various arguments. The return result does behave like a `composition' The type "(b -> c) -> (a -> b) -> a -> c" (of the composition function)
  20 KB (3,458 words) - 15:19, 6 February 2021
• Exception
  approach the order of composition needs not to be fixed by the throwing
  10 KB (1,404 words) - 06:22, 22 January 2020
• Yhc/TMR
  -- The LAMBDA is similar to the composition function (.), only with ...makes a good obfuscator), something may be seen in the Javascript for the composition function. It builds an application of its first argument to the third, and
  28 KB (4,378 words) - 13:10, 8 April 2007
• HWN/es/2006-10-31
  * [39]Query Composition using Functional Programming Techniques in C# 3.0
  11 KB (1,674 words) - 08:26, 2 November 2007
• Phooey
  ...emented as a very simple layer on top of the monadic interface, using type composition (from [[TypeCompose]]):
  15 KB (2,333 words) - 14:34, 3 April 2012
• Memoization
  To recombine the functionality, we will use ordinary function composition <code>(.)</code> and the fix point operator <code>fix</code> (cf. <code>Dat
  12 KB (1,702 words) - 16:05, 28 April 2014
• Research papers/Compilation
  ;[http://wwwtcs.inf.tu-dresden.de/~voigt/JFP-main.pdf Composition of functions with accumulating parameters] ([http://wwwtcs.inf.tu-dresden.d ...-dresden.de/~voigt/TOCS.pdf Formal Efficiency Analysis for Tree Transducer Composition]
  19 KB (2,599 words) - 00:14, 15 June 2023
• Monad tutorials timeline
  ...nads are a generalization of functions, function application, and function composition to allow them to deal with richer notions of computation than standard func ...a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor."
  35 KB (4,981 words) - 17:08, 31 May 2024
• The Monad.Reader/Issue5/Different Language
  The period is a function composition operator. In general terms, where f and g are functions, (f . g) x means th
  19 KB (3,237 words) - 01:33, 10 May 2008
• Fold
  where the period (.) is an operator denoting [[function composition]].
  12 KB (1,923 words) - 18:51, 28 March 2019
• Xmonad/Notable changes since 0.8
  ...e> will need to change xmonad.hs: their types have changed to allow easier composition with other XConfig modifiers. The dynamicLogDzen and dynamicLogXmobar funct ...> and <hask>xmobar</hask> quick bar functions have changed type for easier composition with other XConfig modifiers. <hask>dynamicLogDzen</hask> and <hask>dynami
  21 KB (3,078 words) - 08:18, 23 May 2021
• ZuriHac2015
  * Deep embedding of composition to give statically allocated descriptions of branching programs
  13 KB (2,000 words) - 08:31, 31 May 2015
• ZuriHac2010/Projects
  ...ntains categorical functors which support the identity functor and functor composition without needing newtype wrappers.
  17 KB (2,638 words) - 12:02, 26 June 2013
• The Monad.Reader/Issue5/Number Param Types
  ...through <hask>D9</hask> are type constructors of one argument. We use the composition of the constructors to represent sequences of digits. And so we introduce a ...nctions’ types. Another approach to multivariate functions — multivariate composition operator — is discussed in [[#mcomp|mcomp]].
  74 KB (11,649 words) - 11:34, 9 August 2012
• Typeclassopedia
  :''The composition of two <code>Functor</code>s is also a <code>Functor</code>.'' ...er every item in a container has no effect. The second says that mapping a composition of two functions over every item in a container is the same as first mappin
  179 KB (29,519 words) - 16:10, 30 December 2022
• Haskell logos/New logo ideas
  - In the center is a dot, which is the function composition operator Number 2 and 3 also reference function composition. Number 3 is my personal favourite.
  34 KB (5,126 words) - 19:19, 15 August 2019
• Haskell programming tips/Discussion
  ...w.haskell.org/ghc/dist/current/docs/libraries/base/Data-Ord.html). It is a composition of <hask>compare</hask> and <hask>on</hask>/<hask>compose2</hask>. However
  24 KB (4,110 words) - 01:13, 7 November 2020

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