Search results

Jump to navigation Jump to search

  • User:Michiexile/SU09 Lecture 2
    ...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 no
    8 KB (1,285 words) - 22:54, 22 September 2009
  • 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

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

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