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 semantics133 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 tha55 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