Search results
Jump to navigation
Jump to search
Page title matches
- * For simplicity, the examples here only gives semantics for teletype I/O. * These are only some of the various ways to describe the semantics of </i><code>IO a</code><i>; your actual implementation may vary.11 KB (1,628 words) - 10:36, 5 April 2024
- Is the opposite of ... yeah guess what? ... the opposite of [[non-strict semantics]]. [[Strict semantics]] is used e.g. in [[OCaml]] and [[LISP]].363 bytes (53 words) - 15:18, 6 February 2021
- The semantics of LGtk is given by a reference implementation. ...be implemented efficiently? Although this question is not relevant for the semantics, we will see that there is an efficient implementation with <hask>MVar</has16 KB (2,699 words) - 23:00, 7 June 2013
- ...non-strict semantics by default: nearly every other language has [[strict semantics]], in which if any subexpression fails to have a value, the whole expressio ...guage uses innermost-first evaluation, it correspondingly must have strict semantics.9 KB (1,503 words) - 13:55, 15 December 2019
Page text matches
- == Semantics of beside == The semantics of <code>beside</code>---and hence also of <code>(|||)</code> and <code>(==3 KB (570 words) - 03:31, 6 March 2012
- Is the opposite of ... yeah guess what? ... the opposite of [[non-strict semantics]]. [[Strict semantics]] is used e.g. in [[OCaml]] and [[LISP]].363 bytes (53 words) - 15:18, 6 February 2021
- ...ld be reflected in the notation. This got me thinking a bit more about the semantics. ...when an exception is thrown. The paper includes the slightly different STM semantics in which <math>\Delta</math> is built as redundant record of allocation eff3 KB (497 words) - 19:06, 11 February 2008
- '''Eager evaluation''' is an implementation of the [[strict semantics]] as can be found in [[OCaml]] and usually in [[imperative language]]s. A k207 bytes (30 words) - 08:26, 29 November 2007
- ...lthough Backpack is geared toward integration into Haskell, its design and semantics are largely agnostic with respect to the details of the underlying core lan2 KB (285 words) - 13:42, 16 March 2018
- ...hat'' a Haskell program computes, is called [[Non-strict semantics]]. This semantics allows one to bypass undefined values (e.g. results of infinite loops) and ...How it works, how it makes code more modular, how it relates to non-strict semantics, and other things.2 KB (291 words) - 15:20, 6 February 2021
- <br>[http://csg.csail.mit.edu/6.827/handouts/L19-BS5-Semantics.pdf] L19-BS5-Semantics.pdf<br>28-Nov-2006 11:14<br>144K<br> ...br>[http://csg.csail.mit.edu/6.827/handouts/L19-BS5-Semantics.ppt] L19-BS5-Semantics.ppt<br>28-Nov-2006 11:12<br>0<br>5 KB (746 words) - 16:08, 13 March 2011
- ...ver, the language specification simply states that Haskell is [[Non-strict semantics|non-strict]], which is not quite the same thing as [[lazy evaluation|lazy]] [[Non-strict semantics|Non-strictness]] means that [[reduction]] (the mathematical term for [[eval4 KB (643 words) - 23:33, 5 April 2021
- 0. Semantics Semantics,4 KB (583 words) - 10:26, 26 December 2017
- * A precise semantics of message passing and reliability guarantees, with special attention to re1 KB (203 words) - 13:43, 17 December 2012
- ..., following from the principle of [http://conal.net/blog/posts/simplifying-semantics-with-type-class-morphisms/ type class morphisms]. ...ute with values before they can be known, with a simple, purely functional semantics (no IO). Futures are polymorphic over both values ''and'' time, requiring4 KB (524 words) - 10:39, 17 July 2011
- ...gramatica front-end to parse full Haskell projects into an AST with static semantics, and a token stream. Programatica's token stream contains layout and commen ...formation is currently retrieved from the AST. In addition to this, static semantics are also vital for HaRe to identify particular expressions for refactoring4 KB (645 words) - 12:53, 4 August 2014
- :Core language operational semantics in Twelf. :A space semantics for the core language. Adam Bakewell. Proc. 2000 Haskell Workshop. Septembe7 KB (1,054 words) - 07:37, 12 June 2023
- In a language with [[strict semantics]], these two functions are the same. But since the [[non-strict semantics]] of Haskell allows infinite data structures, there is a subtle difference,3 KB (422 words) - 21:22, 29 June 2021
- 3.8 Semantics * Static semantics3 KB (332 words) - 03:38, 14 August 2021
- very confusing. Finally, Haskell's clean semantics makes refactoring3 KB (208 words) - 18:50, 17 May 2008
- * [[LGtk/Semantics]]1 KB (194 words) - 21:08, 22 July 2023
- ...The oracle, by seeming to contain the prediction, limits the effect on the semantics of the language being used. * Jennifer Hackett and Graham Hutton use them as the basis for an alternate semantics (rather than the more common stateful effects) in [https://www.cs.nott.ac.u6 KB (809 words) - 07:56, 12 June 2023
- ...a simple elegant API developed at Sandia with very rich delivery and event semantics. Portals was used (and forked) by the Lustre project (who call it LNET). ...of new features. Has a driver for UDP already. Very low latency, simple semantics.5 KB (710 words) - 12:38, 11 October 2011
- ...non-strict semantics by default: nearly every other language has [[strict semantics]], in which if any subexpression fails to have a value, the whole expressio ...guage uses innermost-first evaluation, it correspondingly must have strict semantics.9 KB (1,503 words) - 13:55, 15 December 2019
- A target denotational semantics for Data.Future -- simple, precise, and deterministic, in terms of time/val ...The rewrite rules and their justification in terms of simple denotational semantics will be described in an upcoming paper.10 KB (1,586 words) - 10:40, 17 July 2011
- has for discussing time and space usage: the cost semantics for profiling.1,004 bytes (152 words) - 06:35, 16 September 2013
- ...connect and reconnect, and a more precisely defined semantics (see section Semantics, below) == Semantics ==12 KB (1,725 words) - 07:44, 10 August 2022
- semantics on equality. This is also problematic for partial evaluation; When we rely less on operational semantics of equality,7 KB (971 words) - 06:34, 2 April 2009
- ...nadic replacements for data constructors are simultaneously '''syntax and semantics''' and works with every monad ! ...le in a large sort of projects involving modular trees and modular monadic semantics (on every monad)6 KB (867 words) - 08:50, 26 July 2011
- * For simplicity, the examples here only gives semantics for teletype I/O. * These are only some of the various ways to describe the semantics of </i><code>IO a</code><i>; your actual implementation may vary.11 KB (1,628 words) - 10:36, 5 April 2024
- ...semantics''' with a working implementation. The library stays close to the semantics pioneered by Conal Elliott.5 KB (615 words) - 21:05, 4 January 2016
- ...fined via lambda abstraction. However, the distinction does not matter to semantics. If a lambda abstraction is applied to "too few arguments", then evaluatin2 KB (253 words) - 22:16, 5 April 2021
- The two sides are interchangeable in any program without affecting semantics. ...stance of <hask>destroy</hask>/<hask>unfoldr</hask>-fusion will change the semantics of a program.15 KB (2,468 words) - 01:17, 8 April 2016
- ...'</hask> can be kept in sync is an important but separate question. [[LGtk/Semantics#Dependent_reference_creation]] describes a possible solution.9 KB (1,506 words) - 18:10, 8 June 2013
- * By "purely functional" we mean a language that has value semantics; that is, there is no function such that after evaluation of the function t1 KB (200 words) - 12:50, 31 May 2022
- ...arly implementation of Fran represented behaviors as implied in the formal semantics: ...-Time Programming: The Language Ruth And Its Semantics], some parts of the semantics Dave Harrison gives for ''Ruth'' bears a curious resemblance to those for F11 KB (1,615 words) - 05:58, 7 November 2022
- ...imization rules; all others cause a compilation error. Finally, the XQuery semantics requires duplicate elimination and sorting by document order for every XPat2 KB (389 words) - 12:16, 18 August 2008
- Since Haskell is [[non-strict semantics|non-strict]], the occurence of an error within an expression is not necessa2 KB (296 words) - 15:56, 7 August 2022
- If O(orbits) fails to produce Posix semantics then this failing might take a few forms: ...T and 18 of them are listed as getting the Posix *-operator disambiguation semantics correct. But as this is my hobby I decided that I preferred to try and rei8 KB (1,325 words) - 18:23, 21 February 2007
- This is intrinsic to Haskell's lazy, non-total semantics. The problem is that this means tracking whether a value is wrapped in a co ...at <hask>Identity' ⊥</hask> really means <hask>Identity' $! ⊥</hask> - the semantics of the type are fundamentally the same, and in particular the case expressi6 KB (1,007 words) - 15:57, 22 May 2016
- == Semantics-related nitpicks ==7 KB (1,033 words) - 01:16, 27 September 2021
- ...h of reading further, because a detailed description of Lucid's syntax and semantics is hiding inside this paper (section 3.1.2 on pages 22--38). This paper is4 KB (593 words) - 15:07, 5 November 2011
- == Semantics of 'freeze' == ...me places and thinner in others). It might be nice to define an alternate semantics defined in terms of, e.g. an "average scale factor" for a given transformat10 KB (1,576 words) - 22:57, 30 November 2013
- This is in many cases the best semantics and the most efficient implementation.2 KB (342 words) - 09:27, 9 June 2023
- ...ography.html publications] on natural language processing, parsing, formal semantics. Many of them use Haskell, and there are [http://www.ling.gu.se/~peb/softwa ...st order terms), and produces the set of sentences associated to the input semantics by the grammar. See also [http://www.loria.fr/~kow/ Eric Kow]'s recent publ15 KB (2,211 words) - 16:44, 1 August 2021
- Try Haskell. Haskell's lazy semantics are simpler to reason with than ML's.4 KB (703 words) - 06:43, 24 January 2006
- '''Note:''' In general it's a bad idea for rules to change the semantics (meaning) of your code in such a way. Consider someone using <tt>reverse . ...d of rewrite rules the above mentioned problem of potentially changing the semantics of programs occurs. Read further under [[Correctness of short cut fusion|co9 KB (1,362 words) - 14:23, 26 January 2010
- * [[/Fixpoint|Fixpoint semantics]]3 KB (338 words) - 19:39, 16 October 2016
- Too much syntactic sugar can make the underlying semantics unclear, but too little can obscure what is being expressed. The author of3 KB (490 words) - 01:44, 27 October 2017
- ...ating support for nested data parallelism into Haskell; in particular, the semantics of parallel arrays and the idea of distinguishing between the parallel and ...2006/1286/pdf/leshchinskiy_roman.pdf Higher-order nested data parallelism: semantics and implementation], PhD Thesis, Roman Leshchinskiy. This deals in details8 KB (1,153 words) - 13:18, 2 December 2008
- I think the inheritance semantics are more useful and also more had inheritance semantics, then I could start a thread early on when9 KB (1,433 words) - 17:48, 9 August 2006
- One of Haskell's main features is [[non-strict semantics]], which is implemented by [[lazy evaluation]] in all popular Haskell compi ...o unnecessary inefficiencies, [[memory leak]]s and, we suspect, unintended semantics.20 KB (3,285 words) - 12:03, 21 October 2012
- ...functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar st3 KB (503 words) - 18:18, 4 April 2017
- ...The ''Helper Thread'' code is a very close attempt to simulate the correct semantics. The ''Single Thread'' code is flawed since it will get caught in a busy w mailing list, in which the type and semantics of onCommit and24 KB (3,463 words) - 05:20, 12 July 2021
- ...ronous Lint Engine) is a plugin for providing linting (checking syntax and semantics) in NeoVim 0.2.0+ and Vim 8 while you edit your text files, and acts as a V4 KB (508 words) - 22:01, 20 November 2022
- ...e'', if their interfaces are equal and all exported entities have the same semantics. ...er any changes to its interface, including type signatures (of course) and semantics.27 KB (4,434 words) - 20:29, 19 February 2015
- ...teseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.455.1434&rep=rep1&type=pdf Semantics of Context-Free Languages].4 KB (598 words) - 07:06, 26 January 2018
- The semantics of LGtk is given by a reference implementation. ...be implemented efficiently? Although this question is not relevant for the semantics, we will see that there is an efficient implementation with <hask>MVar</has16 KB (2,699 words) - 23:00, 7 June 2013
- ...ored as a thunk, not fully, because the programmer read about [[non-strict semantics]] and [[lazy vs. non-strict]]. The programmer explicitly wrote <hask>sum</h ...d of strictness annotations as above can have unexpected impact on program semantics, in particular when certain optimizations are performed by the compiler. Se7 KB (1,162 words) - 17:16, 8 June 2022
- It is used in Haskell systems that implement [[non-strict semantics]] by [[lazy evaluation]].3 KB (450 words) - 20:07, 19 October 2020
- ...kell.readscheme.org/servlets/cite.ss?pattern=erkok-launchbury-moran-tia-02 Semantics of Value Recursion for Monadic Input/Output] ;[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.736 Semantics of fixIO]18 KB (2,331 words) - 09:02, 1 September 2022
- Formal syntax and semantics of programming languages: a laboratory 2.Programming languages (Electronic computers)--Semantics.8 KB (1,173 words) - 08:03, 17 February 2015
- ...is evaluated, all of them are - we also call this a ''parallel evaluation semantics''. Moreover, ''segmented'' means that all operations come in two flavours:6 KB (885 words) - 11:09, 21 August 2007
- This implementation of the above API is intended to give its semantics.7 KB (1,192 words) - 06:36, 29 June 2012
- Haskell semantics<br>4 KB (621 words) - 05:56, 26 April 2021
- :because it does ''not'' follow a “grammar vs semantics” view, and has a relational approach to understand sign and meaning === Formal semantics ===5 KB (703 words) - 12:09, 4 September 2006
- *:"Denotational semantics and its foundations provide an extremely helpful mathematical understanding4 KB (504 words) - 12:02, 15 April 2024
- ...he STG machine is the abstract machine at the core of GHC. The operational semantics used in Ministg is taken from the paper [https://citeseerx.ist.psu.edu/vie Due to the fact that Ministg implements a small-step semantics, even short computations can yield a large number of trace files. To avoid15 KB (2,396 words) - 07:19, 10 August 2022
- semantics specifically geared to the domain of the application. Much5 KB (796 words) - 20:31, 25 January 2006
- This is the purpose of a hole: it has similar semantics to <tt>undefined</tt>, in that evaluating it is an error (you can replace a ...tt>, meaning I can prove <i>anything</i> with it. In the domain of Haskell semantics, this expression is in fact equivalent to <tt>undefined</tt> as well, becau9 KB (1,711 words) - 20:19, 31 August 2014
- ==Haskell semantics== ...peytonjones.org/publications-1999/#a-static-semantics-for-haskell A static semantics for Haskell]26 KB (3,569 words) - 10:04, 1 September 2022
- ...me circumstances. It would also be beneficial to work out the exact formal semantics of the fusion operator for infinite loops.5 KB (679 words) - 14:07, 5 August 2016
- ...ww.macs.hw.ac.uk/~gnik/apset/transitionsystem.ps.gz Towards an operational semantics for a parallel non-strict functional language] ...://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.8875 An Operational Semantics for Parallel Lazy Evaluation]9 KB (1,361 words) - 06:20, 12 June 2023
- ...just like in other transformer libraries, but this one has very different semantics and also takes an additional parameter: ...hat <hask>bracket</hask> and <hask>bracket_</hask> have slightly different semantics than the corresponding functions from <hask>Control.Exception</hask>. If a12 KB (2,067 words) - 05:43, 9 March 2021
- ...d most direct way to write the program. Since the threads perform I/O, the semantics of the program is necessarily non-deterministic.4 KB (606 words) - 16:32, 17 April 2014
- ...is to reach some kind of reasonable consensus, specifically on naming and semantics. Even if we need pairs of functions to satisfy various usage and algebraic8 KB (1,277 words) - 11:14, 16 June 2012
- Then, in the definition of the operational semantics, the ENTER rule is:8 KB (1,253 words) - 21:53, 12 June 2009
- ...eturn values in the `Maybe` monad from the `State` monad, and gives us the semantics of both monads combined in a useful way: ...to write simple recursive solvers in Haskell, with state and backtracking semantics layered into the program using monads and monad transformers. In terms of f18 KB (2,751 words) - 00:55, 10 May 2008
- ...d the proper choice of line weight depends on the context, because the old semantics was not very sensible).5 KB (807 words) - 19:36, 30 June 2014
- ...her, and the community, well -- one with all the gory detail of syntax and semantics, the other serving more as a tutorial for someone who is familiar with at l6 KB (919 words) - 14:03, 7 September 2011
- [9] There is some debate about whether the imprecisely-defined semantics of <code>Int</code> breaks referential transparency. For instance, <code>ev5 KB (774 words) - 10:59, 15 August 2023
- ...unctional language derived from Haskell, although with a strict evaluation semantics. The Timber compiler currently runs on Linux and MacOS X platforms, but use :An interpreter for a high-level, small-step, operational semantics for the STG machine. Features execution tracing, rendered in HTML. Useful f12 KB (1,707 words) - 07:27, 10 March 2020
- ...cess/blob/master/doc/semantics/CloudHaskellSemantics.pdf precisely defined semantics]; supports [http://hackage.haskell.org/package/distributed-static composabl ...ki/Important-Open-Issues important open issues] of the implementation; the semantics document mentioned above lists some important open semantic issues.15 KB (2,160 words) - 09:39, 13 November 2012
- The set of generic function combinators of Strafunski has a well-understood semantics that does not rely on very advanced typing features. As a result, reasoning7 KB (931 words) - 03:51, 10 December 2011
- ...cia Johann, SAIG 2001: Proceedings of the Second International Workshop on Semantics, Applications, and Implementation of Program Generation, 2001, 3-540-42558- ...t/TCS.pdf Selective strictness and parametricity in structural operational semantics, inequationally]19 KB (2,599 words) - 00:14, 15 June 2023
- ...DSL, not Haskell→JS. Works. Not ''very'' annoying to program in, but is JS semantics, not Haskell. Hackage package [http://hackage.haskell.org/package/HJScript [http://roy.brianmckenna.org/ Roy]: meld JavaScript semantics with functional languages. Experimental, but has many bread-and-butter Hask11 KB (1,601 words) - 18:02, 26 October 2020
- * [https://axellang.github.io/ Axel] - Haskell's semantics, plus Lisp's macros; a purely functional, extensible, and powerful programm5 KB (799 words) - 16:55, 23 March 2021
- ...'well-defined' part of the Statecharts found in UML -- in that they have a semantics and, via the Z translation, a logic too. ZooM is a tool which takes the .m for functional programming and formal semantics, but in fact we have14 KB (2,263 words) - 06:31, 10 August 2022
- are combined by `orElse` which gives the semantics one wants: on each8 KB (1,050 words) - 06:19, 21 February 2010
- 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
- The semantics of typeclass constraint satisfaction are basicly strict. That10 KB (1,653 words) - 00:25, 12 July 2021
- ...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,424 words) - 06:35, 5 January 2022
- .../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
- 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
- === 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
- ...in detail at four case studies from different areas: programming language semantics, machine architectures, graphics and formal languages. * [[IO Semantics]]35 KB (5,171 words) - 21:24, 12 April 2024
- 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,139 words) - 12:00, 21 July 2023
- 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
- ...." ... "So monads are about talking about effects in the context of a pure semantics."32 KB (4,536 words) - 11:00, 11 April 2024
- However, that should not distract from its deerper OO semantics.30 KB (4,685 words) - 01:34, 14 July 2021
- ...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,613 words) - 08:24, 16 November 2020
- # 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) - 15:16, 6 February 2021
- ...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