Search results

• Haskell IO for Imperative Programmers
  ...The inline would eliminate all the bugs, but it would also enforce strict semantics — that is, it will fail to do the thing we had hoped to achieve by using ...nd then does output, and all the messy interleaving is handled by the lazy semantics of the language. It’s as if you’ve defined a collection of cooperating
  20 KB (3,555 words) - 06:05, 24 April 2024
• The I/O problem
  By introducing <i>side effects</i> in expressions, the semantics becomes ...psu.edu/viewdoc/download?doi=10.1.1.38.9189&rep=rep1&type=pdf Denotational Semantics of Evaluation Order in Expressions with Side Effects], Nikolaos S. Papaspyr
  62 KB (9,247 words) - 20:23, 15 June 2024
• Research papers/Testing and correctness
  ;[http://www.cs.kent.ac.uk/pubs/2001/1810/index.html A semantics for tracing. Olaf Chitil]
  11 KB (1,480 words) - 16:36, 1 August 2021
• Avoiding IO
  ...t] in a library with a well-chosen interface. Because Haskell's non-strict semantics makes the direct use of observable effects thoroughly impractical, you must
  10 KB (1,634 words) - 22:52, 6 April 2022
• FAQ
  ...ype|subtle difference]] between <hask>data</hask> and <hask>newtype</hask> semantics, which is why the <hask>newtype</hask> optimization is not applied automati Briefly: concurrency describes semantics; parallelism describes an implementation property.
  36 KB (5,814 words) - 22:06, 10 May 2024
• CamHac/PostHackathonReport
  ...e annotations, and breakpoints in the GHCi debugger. I'm working on a new semantics for cost centre stacks, which will allow us to track call stacks at runtime
  12 KB (1,833 words) - 12:53, 17 December 2012
• Yhc/TMR
  === Semantics of Yhc Core === are semantics-preserving. As part of another project, we have
  28 KB (4,378 words) - 13:10, 8 April 2007
• SafeConcurrent
  ...d to allow peekAvail to query the amount of content in the semaphore. The semantics of QSem are slightly extended to allow a new MSem to be initialized with ne
  21 KB (3,241 words) - 13:06, 12 April 2011
• Free structure
  ...ny one-element set is final. Initial objects play an important role in the semantics of algebraic datatypes. For a datatype like:
  13 KB (2,245 words) - 15:18, 6 February 2021
• ZuriHac2016
  The goal of the talk is to introduce the audience into the operational semantics of Haskell, by executing a couple of small programs everyone should be fami
  13 KB (1,982 words) - 10:32, 8 September 2016
• GHC/FAQ
  ...ernel line buffering is disabled. So GHC tries its best to get NoBuffering semantics by turning off the kernel line buffering, but as a result you lose Ctrl-D. ...ul. These criteria are not rigorous in any real sense (you'd need a formal semantics for Haskell in order to give a proper answer to this question), but should
  36 KB (5,898 words) - 06:04, 10 August 2022
• Top level mutable state
  A definition of the semantics of such bindings via a translation to haskell building on the work of recur is accessed through the runOnceIO function. Its semantics are:
  29 KB (4,624 words) - 05:37, 1 January 2022
• BerkeleyDBXML
  ...read (non-exclusive) lock. Using a write lock makes no difference to the semantics of the transaction: It is just as atomic if you use a read lock. But, wri
  15 KB (2,390 words) - 15:19, 6 February 2021
• Regex Posix
  Note that the matchAll semantics changed in regex-posix with version
  26 KB (3,619 words) - 03:30, 10 March 2017
• FRP explanation using reactive-banana
  Semantics can be subtly or not-so-sublty different between FRP libraries and sometime
  25 KB (4,168 words) - 15:10, 24 October 2017
• Regular expressions
  ...s Cox touts that was written 20 years ago by Pike implements Posix or Perl semantics. If it finds the longest match (Posix) then it is no help in replacing the
  18 KB (2,819 words) - 19:20, 15 August 2019
• HaskellImplementorsWorkshop/2016
  ...ar and highlight the key design decisions that were made to preserve GHC's semantics on the JVM. Additionally, I will discuss future directions of GHCVM includi
  16 KB (2,520 words) - 06:08, 16 October 2016
• Regular expressions for XML Schema
  principle: All legal regular expressions should remain correct and their semantics
  22 KB (3,425 words) - 22:34, 29 June 2021
• Books
  Semantics / Other Applicative Languages / Implications for Parallelism / Functional P ...ble to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier b
  53 KB (7,703 words) - 13:28, 28 March 2024
• Stiri Ro/Haskell-2009
  ...s: categories, monads, modular data structures in Haskell, modular monadic semantics, The Expression Problem, pearls like Functional Pearls, algebraic terms and
  20 KB (3,023 words) - 14:21, 18 February 2015

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