Search results

• Category theory/Functor
  ...hcal{B}</math>, then <math>F\circ G:\mathcal{A}\to\mathcal{C}</math>, with composition defined component-wise. The existence of identity and composition functors implies that, for any well-defined collection of categories <math>
  3 KB (543 words) - 01:17, 16 April 2019
• 99 questions/Solutions/90
  The simplest solution is a composition of separate functions to generate the list of candidates and to test each c The key to speeding it up is to fuse the composition <hask>filter test . generate</hask> into a semantically equivalent function
  3 KB (451 words) - 17:56, 30 September 2019
• Infrastructure/Utrecht-Hacking-Notes
  | Trivial composition of not and member
  2 KB (258 words) - 08:46, 30 August 2010
• Haskell logos/Logo design tools
  ...ly distributed piece of software for such tasks as photo retouching, image composition and image authoring.
  2 KB (224 words) - 10:43, 22 December 2008
• DeepArrow
  ...her compositions of these three combinators and delighted to find that the composition chains directly spell out the paths to the value subpart to be edited. ...terfaces and "tangible values" (term thanks to Sean Seefried) and gestural composition in [http://conal.net/papers/Eros Eros].
  3 KB (540 words) - 21:40, 3 May 2024
• 99 questions/Solutions/41
  ...lower and upper limit, print a list of all even numbers and their Goldbach composition.
  992 bytes (161 words) - 19:48, 18 January 2014
• Es/Teoría de Categorías y Programación Funcional @ Stanford: Clase 1
  ...ition operation <math>\circ:G_2\to G_1</math>, and an identity element for composition <math>1_x</math> for each node <math>x</math> of the graph. ...n't line up to a path, you'll get nonsense, and so any statement about the composition operator has an implicit "whenever defined" attached to it.
  21 KB (3,823 words) - 14:25, 4 August 2011
• Haskore
  To get an impression how intuitive music composition with Haskore is, see the following example code (runs with revised Haskore) The <hask>(=:=)</hask> means parallel composition and
  8 KB (1,173 words) - 10:09, 14 July 2014
• TypeDirectedNameResolution
  ...it is normal functional composition, if no spaces, then it is almost like composition in the opposite direction. Also, there seem to be lots of special cases ba ...lot of people have commented that using <hask>.</hask> for this as well as composition and qualification is going to start getting confusing. One alternative sugg
  7 KB (1,198 words) - 05:55, 10 December 2020
• Notation: mathematics, programming languages
  <td>composition of functions</td>
  4 KB (677 words) - 10:52, 24 May 2010
• Applications and libraries/Music and sound
  === Music composition ===
  6 KB (831 words) - 20:07, 5 December 2021
• Pointfree
  composition of other functions, never mentioning the actual arguments ...he 'points' of pointfree style are the <hask>(.)</hask> operator (function composition, as an ASCII symbol), which uses the same identifier as the decimal point.
  10 KB (1,782 words) - 14:44, 5 June 2011
• Lazy functors
  ...rn] by Jeremy Gibbons and Bruno C. d. S. Oliveira, Section 5.2 "Sequential composition of traversals"
  3 KB (500 words) - 14:59, 31 July 2011
• Diagrams/Dev/Transformations
  Linear transformations are closed under composition and form a monoid with the identity function as the neutral element. Affine transformations are also closed under composition, and are used as the basis for all transformations in <code>diagrams</code>
  14 KB (2,245 words) - 03:01, 11 April 2015
• Applicative functor
  for the composition of the functors <hask>f</hask> and <hask>g</hask>. It can be useful to use the applicative composition even when you have a monad transformer at hand. In the example above <hask>
  8 KB (1,326 words) - 08:20, 31 March 2022
• Tangible Value
  ...lues and interfaces are ''combined'' for direct use, and ''separable'' for composition. This combination makes for software that is ''ready to use and ready to r == Composition of TVs ==
  13 KB (1,988 words) - 02:05, 24 September 2021
• Merely monadic
  * the ''time of composition'': when it is defined; ...lt of the aformentioned separation of concerns, most notably the ''time of composition''. Monadic actions thus resemble programs in a particular [[EDSL]] (''embed
  6 KB (988 words) - 04:35, 16 March 2021
• Diagrams/Dev
  * [[/AlignedCompose|Aligned composition]]
  3 KB (338 words) - 19:39, 16 October 2016
• Old-reactive
  Composition is via standard type classes: <hask>Functor</hask>, <hask>Applicative</hask ...active</hask> and <hask>Fun Time</hask> is wrapped in a [[TypeCompose|type composition]], we get <hask>Functor</hask> and <hask>Applicative</hask> instances for f
  10 KB (1,586 words) - 10:40, 17 July 2011
• Partible laws
  ...ble for reasoning about the definitions of programs e.g. verifying Kleisli-composition: ...<i>Kleisli-composition</i> style:
  13 KB (2,108 words) - 12:52, 1 January 2024

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