Sergei Winitzki

start on DCM write-up

1

- [x] a new chapter describing the DCM, with motivation - [x] example: distributed map/reduce without ordered reduce - [ ] example: distributed merge-sort - [ ] example: distributed pipeline...

Support nested `if` statements as output environments

1

Currently, only a single layer of `if` statements is supported when analyzing the output environments in the "shrink" operation at compile time. However, the `go` macro already gathers complete tree...

Not sure whether type ascriptions `pq"$var @ (_: $type)"` or `pq"$var : $type"` are supported when we detect irrefutable patterns. Tests need to verify this, and if type ascriptions are...

In some cases, macros in `ReactionMacros.scala`/ `Macros.scala` fail to build correct pattern matching closures. Testing with `scalatest` cannot uncover this failure: see https://github.com/Chymyst/joinrun-scala/blob/master/joinrun/src/test/scala/code/chymyst/jc/MacroErrorSpec.scala#L57 This test passes, but writing ```scala val...

fix to the coend definition

2

I think the previous code for `Coend` was incorrect. The previous code was in no way different from the code for `trait PolyFunction1`, i.e. for `End`. The `Coend` must contain...

https://github.com/hmemcpy/milewski-ctfp-pdf/issues/174

https://github.com/hmemcpy/milewski-ctfp-pdf/issues/174

https://github.com/hmemcpy/milewski-ctfp-pdf/issues/174

The functions `catstr` and `catstr'` defined in Haskell are equivalent, but the Scala code defines two functions (named the same, `catstr`?) that are _not_ equivalent, despite what the text says....