Search results

Jump to navigation Jump to search
  • semantics, but an extra set of coercion rules.
    41 KB (6,592 words) - 22:27, 3 May 2024
  • ...plementation of <code>(>>)</code>, it would not correspond to the intended semantics: the intention is that <code>m >> n</code> ignores the ''result'' of <code> ...code>maybeFix</code> has the right type, it does ''not'' have the intended semantics. If we think about how <code>(>>=)</code> works for the <code>Maybe</code>
    179 KB (29,519 words) - 16:10, 30 December 2022
  • ...replaces the (>>) that sequence_ folds into the list with different abort semantics
    133 KB (20,540 words) - 08:31, 13 December 2009
  • ...med, exceedingly technical device introduced to structure the denotational semantics has by now achieved cult status. It has been married to effects -- more tha
    55 KB (8,884 words) - 01:18, 10 November 2022
  • all aspects of the design, semantics, theory, application, implementation,
    93 KB (13,836 words) - 23:40, 14 August 2019

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