Search results
Jump to navigation
Jump to search
- ...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