Search results
Jump to navigation
Jump to search
- will just assume "neil" semantics, and might ask for more help in person11 KB (1,778 words) - 15:53, 8 October 2006
- .../www.cs.chalmers.se/~aarne/course-langtech/lectures/lang09.html Lecture 9. Semantics and pragmatics of text and dialogue] dicsusses these concepts in the contex6 KB (884 words) - 16:00, 19 April 2021
- ...ro</hask> or <hask>get</hask>. This is close to specifying the operational semantics of <hask>>>=</hask> directly and can hence be used to implement the monad i6 KB (995 words) - 23:51, 16 April 2021
- its author said, "Lua provides Modula syntax but Scheme semantics". We already mentioned that Lua semantics is rather close, may be a bit13 KB (2,016 words) - 18:34, 20 August 2017
- ...om/gsoc/project/google/gsoc2011/lazard/8001 David Lazar: Formal Executable Semantics of Haskell]8 KB (1,152 words) - 13:09, 24 March 2018
- symposium includes all aspects of the design, semantics, theory,6 KB (787 words) - 04:34, 17 January 2022
- As in the implicit case, the semantics of linear implicit parameters can be described in terms of a "monad", which So the semantics of the program depends on whether or not foo has a type35 KB (5,673 words) - 20:05, 7 July 2015
- semantics and in particular synchronization were more ''ad hoc'' than8 KB (1,374 words) - 00:14, 10 May 2008
- diagrams, to give them a semantics based on computing fixed points of7 KB (1,077 words) - 14:56, 12 June 2014
- ...sion does not use a separate manager thread. It employs STM to ensure the semantics of "meet". The code is not easy to follow, especially since I tweaked thin {- meet holds most of the semantics of the thread interactions37 KB (4,961 words) - 07:55, 13 December 2009
- Monad operations (bind and return) have to be [[Non-strict semantics|non-strict]] in fact, always! However6 KB (1,032 words) - 16:45, 2 December 2020
- ...schedulers and blocking actions is motivated through actions on MVars.The semantics of takeMVar is to block the calling thread if the MVar is empty, and eventu ...created by the RTS to inherit a scheduler, so that they will have sensible semantics when they block on a blackhole, for example.19 KB (2,840 words) - 16:41, 1 August 2021
- ...he signatures so that they don't define two functions with different types/semantics under the same name. Second, they provide a set of reusable type signatures10 KB (1,679 words) - 23:28, 2 April 2017
- ...tuations, but with state involved things like checkpoints and exactly once semantics make it more involved.6 KB (959 words) - 08:48, 10 August 2022
- plus history, semantics and implementation issues. These courses deal with the advanced issues such as semantics, type40 KB (6,259 words) - 05:49, 6 June 2020
- The original semantics we choose for arrows was for only the shaft length to8 KB (1,340 words) - 13:19, 29 March 2014
- Attribute grammars add semantics to a context free grammar. Although it is accurately describing a language's semantics is notoriously22 KB (3,703 words) - 21:20, 30 May 2021
- ...n event with a single occurrence. This one doesn't quite fit the original semantics, as the occurrence is delivered immediately on "listening" to an event (dis13 KB (2,149 words) - 10:44, 17 July 2011
- ** That the semantics are missing. Interaction with type inference, polymorphism, type classes, G7 KB (1,198 words) - 05:55, 10 December 2020
- ...ou to be importing a function with the same name, same type, and different semantics, which I don't think is common. Likewise, it relies on having mistakes in y9 KB (1,515 words) - 23:39, 23 October 2014
- line 34...43. The semantics of the constructed Score is to be added14 KB (2,261 words) - 19:12, 11 August 2008
- (10:46) < byorgey> so that would actually give us the wrong semantics.9 KB (1,383 words) - 16:48, 18 November 2013
- ...ps://www2.ki.informatik.uni-frankfurt.de/papers/schauss/FUNDIO.pdf FUNDIO] semantics to ease the use of I/O-centric code outside monadic contexts. More informat9 KB (1,363 words) - 15:57, 9 March 2024
- ...d with actual things (mathematical objects, say, or a programming language semantics embedding typed lambda calculus) - ''then'' the things given by translating18 KB (3,328 words) - 06:32, 28 October 2009
- The semantics of typeclass constraint satisfaction are basicly strict. That10 KB (1,653 words) - 00:25, 12 July 2021
- ...h arrows - apply to more familiar situations. And we'll talk about how the semantics of some of the more wellknown ideas in mathematics are captured by these no18 KB (3,153 words) - 06:10, 7 December 2009
- .../www.zerny.dk/danvy-al-tcs12.pdf On Inter-deriving Small-step and Big-step Semantics: A Case Study for Storeless Call-by-need Evaluation]9 KB (1,252 words) - 05:28, 1 September 2022
- ...The inline would eliminate all the bugs, but it would also enforce strict semantics — that is, it will fail to do the thing we had hoped to achieve by using ...nd then does output, and all the messy interleaving is handled by the lazy semantics of the language. It’s as if you’ve defined a collection of cooperating20 KB (3,555 words) - 06:05, 24 April 2024
- By introducing <i>side effects</i> in expressions, the semantics becomes ...psu.edu/viewdoc/download?doi=10.1.1.38.9189&rep=rep1&type=pdf Denotational Semantics of Evaluation Order in Expressions with Side Effects], Nikolaos S. Papaspyr61 KB (9,234 words) - 04:14, 5 April 2024
- ;[http://www.cs.kent.ac.uk/pubs/2001/1810/index.html A semantics for tracing. Olaf Chitil]11 KB (1,480 words) - 16:36, 1 August 2021
- ...t] in a library with a well-chosen interface. Because Haskell's non-strict semantics makes the direct use of observable effects thoroughly impractical, you must10 KB (1,634 words) - 22:52, 6 April 2022
- ...ype|subtle difference]] between <hask>data</hask> and <hask>newtype</hask> semantics, which is why the <hask>newtype</hask> optimization is not applied automati Briefly: concurrency describes semantics; parallelism describes an implementation property.36 KB (5,813 words) - 06:04, 13 April 2024
- ...e annotations, and breakpoints in the GHCi debugger. I'm working on a new semantics for cost centre stacks, which will allow us to track call stacks at runtime12 KB (1,833 words) - 12:53, 17 December 2012
- ...Comment. '''page 7'''. Section 3.4. Although Haskell doesn't have a formal semantics maybe it would be helful to point out that the report uses a core language ...ould tie this back to the discussion in Section 3.4 (Haskell has no formal semantics). Also, I think it would be reasonable to say "GHC provides a flag to suppr46 KB (6,895 words) - 11:08, 19 January 2009
- === Semantics of Yhc Core === are semantics-preserving. As part of another project, we have28 KB (4,378 words) - 13:10, 8 April 2007
- ...d to allow peekAvail to query the amount of content in the semaphore. The semantics of QSem are slightly extended to allow a new MSem to be initialized with ne21 KB (3,241 words) - 13:06, 12 April 2011
- ...ny one-element set is final. Initial objects play an important role in the semantics of algebraic datatypes. For a datatype like:13 KB (2,245 words) - 15:18, 6 February 2021
- The goal of the talk is to introduce the audience into the operational semantics of Haskell, by executing a couple of small programs everyone should be fami13 KB (1,982 words) - 10:32, 8 September 2016
- ...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
- ...add amount to the balance (sadly). Also, since this withdraw has different semantics to the version on p5, you may want to consider giving it a different name.38 KB (6,033 words) - 09:39, 12 January 2009
- ...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
- ...." ... "So monads are about talking about effects in the context of a pure semantics."35 KB (4,940 words) - 10:59, 2 May 2024
- ...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
- # 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