Search results
Jump to navigation
Jump to search
- ...ernel line buffering is disabled. So GHC tries its best to get NoBuffering semantics by turning off the kernel line buffering, but as a result you lose Ctrl-D. ...ul. These criteria are not rigorous in any real sense (you'd need a formal semantics for Haskell in order to give a proper answer to this question), but should36 KB (5,898 words) - 06:04, 10 August 2022
- A definition of the semantics of such bindings via a translation to haskell building on the work of recur is accessed through the runOnceIO function. Its semantics are:29 KB (4,624 words) - 05:37, 1 January 2022
- ...read (non-exclusive) lock. Using a write lock makes no difference to the semantics of the transaction: It is just as atomic if you use a read lock. But, wri15 KB (2,390 words) - 15:19, 6 February 2021
- Note that the matchAll semantics changed in regex-posix with version26 KB (3,619 words) - 03:30, 10 March 2017
- Semantics can be subtly or not-so-sublty different between FRP libraries and sometime25 KB (4,168 words) - 15:10, 24 October 2017
- ...s Cox touts that was written 20 years ago by Pike implements Posix or Perl semantics. If it finds the longest match (Posix) then it is no help in replacing the18 KB (2,819 words) - 19:20, 15 August 2019
- ...ar and highlight the key design decisions that were made to preserve GHC's semantics on the JVM. Additionally, I will discuss future directions of GHCVM includi16 KB (2,520 words) - 06:08, 16 October 2016
- principle: All legal regular expressions should remain correct and their semantics22 KB (3,425 words) - 22:34, 29 June 2021
- Semantics / Other Applicative Languages / Implications for Parallelism / Functional P ...ble to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier b53 KB (7,703 words) - 13:28, 28 March 2024
- ...s: categories, monads, modular data structures in Haskell, modular monadic semantics, The Expression Problem, pearls like Functional Pearls, algebraic terms and20 KB (3,023 words) - 14:21, 18 February 2015
- ...e are a few nits in the above implementation. It doesn't exactly match the semantics of the OCaml parser. For more information on this topic, see the linked mai25 KB (4,039 words) - 16:39, 12 March 2024
- ...ariables. If this guess is wrong, an optimization can change the program's semantics! To avoid this kind of disaster, C optimizers are conservative in their gue * Is it possible to duplicate calls? In Haskell semantics - yes, but real compilers never duplicate work in such simple cases (otherw82 KB (13,140 words) - 09:07, 3 May 2024
- The design and semantics of HdpH and HdpH-RS will be presented at the Haskell Sympo-22 KB (3,305 words) - 01:20, 30 September 2014
- ...he language. The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell.</p></li> ....1.0 vs. 2.0.1 include switching to Cabal, and slight changes to the error semantics.</p></li>78 KB (11,405 words) - 03:19, 11 February 2008
- ...iativity law for <code>>>=</code>. Obeying the three laws ensures that the semantics of the do-notation using the monad will be consistent. ...s in other languages do not require them in Haskell, due to Haskell's lazy semantics.169 KB (26,630 words) - 00:15, 19 September 2021
- However, that should not distract from its deerper OO semantics.30 KB (4,685 words) - 01:34, 14 July 2021
- ...in detail at four case studies from different areas: programming language semantics, machine architectures, graphics and formal languages.31 KB (4,662 words) - 08:38, 20 April 2024
- ...l programs tend to be shorter (usually between 2 to 10 times shorter). The semantics are most often a lot closer to the problem than an imperative version, whic33 KB (5,616 words) - 22:30, 3 May 2024
- ...." ... "So monads are about talking about effects in the context of a pure semantics."35 KB (4,953 words) - 00:05, 9 May 2024
- # Is it possible to duplicate calls? In Haskell semantics - yes, but real compilers never duplicate work in such simple cases (otherw in as much as either of those have any semantics at all.64 KB (6,046 words) - 11:23, 22 October 2022
- 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