Search results

Jump to: navigation, search

Page title matches

Page text matches

  • 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
  • ...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 [[eval
    4 KB (643 words) - 03:37, 14 April 2016
  • :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
  • 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
  • I think the inheritance semantics are more useful and also more had inheritance semantics, then I could start a thread early on when
    9 KB (1,433 words) - 17:48, 9 August 2006
  • The semantics of typeclass constraint satisfaction are basicly strict. That
    10 KB (1,651 words) - 20:14, 30 June 2007
  • However, that should not distract from its deerper OO semantics.
    30 KB (4,681 words) - 01:47, 18 November 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 algebraic
    8 KB (1,277 words) - 11:14, 16 June 2012
  • ...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,320 words) - 05:15, 10 January 2017
  • 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 ...hask>Identity' ⊥</hask> really means <hask>Identity' $! ⊥</hask> - the semantics of the type are fundamentally the same, and in particular the case expressi
    6 KB (1,007 words) - 15:57, 22 May 2016
  • symposium includes all aspects of the design, semantics, theory,
    5 KB (731 words) - 19:01, 12 February 2018
  • ...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 interactions
    37 KB (4,961 words) - 07:55, 13 December 2009
  • ...replaces the (>>) that sequence_ folds into the list with different abort semantics
    133 KB (20,540 words) - 08:31, 13 December 2009
  • will just assume "neil" semantics, and might ask for more help in person
    11 KB (1,778 words) - 15:53, 8 October 2006
  • There is some debate about whether the imprecisely defined semantics of <hask>Int</hask> breaks referential transparency.
    2 KB (356 words) - 03:06, 29 March 2009
  • Too much syntactic sugar can make the underlying semantics unclear, but too little can obscure what is being expressed. The author of
    3 KB (490 words) - 01:44, 27 October 2017
  • * Changing the semantics of an existing function is almost certainly controversial
    19 KB (2,988 words) - 02:42, 4 February 2019
  • semantics, but an extra set of coercion rules.
    41 KB (6,592 words) - 21:23, 29 October 2011
  • ...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 f
    12 KB (1,707 words) - 07:27, 10 March 2020
  • '''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|co
    9 KB (1,362 words) - 14:23, 26 January 2010

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