Search results

Jump to navigation Jump to search

  • The Monad.Reader/Issue2/EternalCompatibilityInTheory
    ...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
  • Attribute grammar
    ...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
  • LGtk/Semantics
    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</has
    16 KB (2,699 words) - 23:00, 7 June 2013
  • Performance/Strictness
    ...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. Se
    7 KB (1,162 words) - 17:16, 8 June 2022
  • Thunk
    It is used in Haskell systems that implement [[non-strict semantics]] by [[lazy evaluation]].
    3 KB (450 words) - 20:07, 19 October 2020
  • Research papers/Monads and arrows
    ...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
  • Programare functionala
    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
  • GHC/Data Parallel Haskell/Package NDP
    ...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
  • APL
    This implementation of the above API is intended to give its semantics.
    7 KB (1,192 words) - 06:36, 29 June 2012
  • Haiku
    Haskell semantics<br>
    4 KB (621 words) - 05:56, 26 April 2021
  • Libraries and tools/Linguistics/Applicative universal grammar
    :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
  • Denotative programming timeline
    *:"Denotational semantics and its foundations provide an extremely helpful mathematical understanding
    4 KB (506 words) - 06:17, 20 April 2024
  • Ministg
    ...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 avoid
    15 KB (2,396 words) - 07:19, 10 August 2022
  • Humor/Enron
    semantics specifically geared to the domain of the application. Much
    5 KB (796 words) - 20:31, 25 January 2006
  • GHC/Typed holes
    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, becau
    9 KB (1,711 words) - 20:19, 31 August 2014
  • Research papers/Type systems
    ==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
  • Budapest Hackathon 2016/Projects
    ...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
  • Maintaining laziness
    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,325 words) - 12:02, 19 April 2024
  • Research papers/Parallelism and concurrency
    ...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,352 words) - 21:43, 10 May 2024
  • Contstuff
    ...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 a
    12 KB (2,067 words) - 05:43, 9 March 2021
  • Parallel/Glossary
    ...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 (637 words) - 02:02, 6 May 2024
  • List function suggestions
    ...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
  • MaxBolingbroke/Talk:TypesAreCallingConventions
    Then, in the definition of the operational semantics, the ENTER rule is:
    8 KB (1,253 words) - 21:53, 12 June 2009
  • The Monad.Reader/Issue4/Solving Sudoku
    ...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 f
    18 KB (2,751 words) - 00:55, 10 May 2008
  • Diagrams/Dev/Migrate1.2
    ...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
  • O mica introducere in Haskell 98
    ...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 l
    6 KB (919 words) - 14:03, 7 September 2011
  • Referential transparency
    [9] There is some debate about whether the imprecisely-defined semantics of <code>Int</code> breaks referential transparency. For instance, <code>ev
    5 KB (774 words) - 10:59, 15 August 2023
  • Applications and libraries/Compilers and interpreters
    ...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
  • Applications and libraries/Generic programming/Strafunski
    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, reasoning
    7 KB (931 words) - 03:51, 10 December 2011
  • Research papers/Compilation
    ...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
  • The JavaScript Problem
    ...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 Hask
    11 KB (1,601 words) - 18:02, 26 October 2020
  • Haskell Lisp
    * [https://axellang.github.io/ Axel] - Haskell's semantics, plus Lisp's macros; a purely functional, extensible, and powerful programm
    5 KB (799 words) - 16:55, 23 March 2021
  • Haskell in practice
    ...'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 have
    14 KB (2,263 words) - 06:31, 10 August 2022
  • Concurrency demos/Graceful exit
    are combined by `orElse` which gives the semantics one wants: on each
    8 KB (1,050 words) - 06:19, 21 February 2010
  • Yhc/Notes
    will just assume "neil" semantics, and might ask for more help in person
    11 KB (1,778 words) - 15:53, 8 October 2006
  • Dependent type
    .../www.cs.chalmers.se/~aarne/course-langtech/lectures/lang09.html Lecture 9. Semantics and pragmatics of text and dialogue] dicsusses these concepts in the contex
    6 KB (884 words) - 16:00, 19 April 2021
  • Performance/Monads
    ...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 i
    6 KB (995 words) - 23:51, 16 April 2021
  • HsLua
    its author said, "Lua provides Modula syntax but Scheme semantics". We already mentioned that Lua semantics is rather close, may be a bit
    13 KB (2,016 words) - 18:34, 20 August 2017
  • Google summer of code
    ...om/gsoc/project/google/gsoc2011/lazard/8001 David Lazar: Formal Executable Semantics of Haskell]
    8 KB (1,152 words) - 13:09, 24 March 2018
  • Conferences
    symposium includes all aspects of the design, semantics, theory,
    6 KB (787 words) - 04:34, 17 January 2022
  • The Monad.Reader/Issue2/FunWithLinearImplicitParameters
    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 type
    35 KB (5,673 words) - 20:05, 7 July 2015
  • The Monad.Reader/Issue3/Join Hs
    semantics and in particular synchronization were more ''ad hoc'' than
    8 KB (1,374 words) - 00:14, 10 May 2008
  • Diagrams/Dev/Fixpoint
    diagrams, to give them a semantics based on computing fixed points of
    7 KB (1,077 words) - 14:56, 12 June 2014
  • Shootout/Chameneos
    ...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
  • What a Monad is not
    Monad operations (bind and return) have to be [[Non-strict semantics|non-strict]] in fact, always! However
    6 KB (1,032 words) - 16:45, 2 December 2020
  • Lightweight concurrency
    ...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
  • Module signature
    ...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 signatures
    10 KB (1,679 words) - 23:28, 2 April 2017
  • GHC/CloudAndHPCHaskell
    ...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
  • Haskell in education
    plus history, semantics and implementation issues. These courses deal with the advanced issues such as semantics, type
    40 KB (6,259 words) - 05:49, 6 June 2020
  • Diagrams/Dev/Arrows
    The original semantics we choose for arrows was for only the shaft length to
    8 KB (1,340 words) - 13:19, 29 March 2014

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

Retrieved from "https://wiki.haskell.org/Special:Search"