Search results

• 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

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