... | ... | @@ -49,6 +49,8 @@ I move stuff here from the different sections that is on our radar at the moment |
|
|
|
|
|
# Demand Analysis
|
|
|
|
|
|
- #20325: cost model for w/w (not hard)
|
|
|
|
|
|
- #19917: better w/w for bottoming functions
|
|
|
|
|
|
- #18907 Product demands
|
... | ... | @@ -180,4 +182,4 @@ I move stuff here from the different sections that is on our radar at the moment |
|
|
- Why? What's needed? A formal Specification? Which part? Static or dynamic semantics?
|
|
|
- Also how much? Whole pattern language or just enough of a fragment to explain or patterns?
|
|
|
- I see there is https://gitlab.haskell.org/rae/haskell as a starting point, but it seems to focus entirely on static semantics. But probably the document to complete?
|
|
|
- We talked about it; it's a matter of pushing the proposal forward rather than investing actual elbow grease into an impl. |
|
|
- We talked about it; it's a matter of pushing the proposal forward rather than investing actual elbow grease into an impl. |
|
|
\ No newline at end of file |