Re: [GHC] #4887: add a Location interface for element-wise operations on Data.Map

[GHC]

#4887: add a Location interface for element-wise operations on Data.Map
+---
  Reporter:  ross   |  Owner:  
  Type:  proposal   | Status:  closed  
  Priority:  normal |  Milestone:  Not GHC 
 Component:  libraries (other)  |Version:  7.0.1   
Resolution:  wontfix|   Keywords:  
  Testcase: |  Blockedby:  
Difficulty: | Os:  Unknown/Multiple
  Blocking: |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown   |  
+---
Changes (by ross):

  * status:  new => closed
  * resolution:  => wontfix


Comment:

 Several people liked the interface, but it's only a little faster than
 lookup followed by insert, and thus doesn't seem worth the extra
 functions:

 http://www.haskell.org/pipermail/libraries/2011-January/015685.html

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #4887: add a Location interface for element-wise operations on Data.Map

[GHC]

#4887: add a Location interface for element-wise operations on Data.Map
--+-
Reporter:  ross   |Owner:  
Type:  proposal   |   Status:  new 
Priority:  normal |Milestone:  Not GHC 
   Component:  libraries (other)  |  Version:  7.0.1   
Keywords: | Testcase:  
   Blockedby: |   Difficulty:  
  Os:  Unknown/Multiple   | Blocking:  
Architecture:  Unknown/Multiple   |  Failure:  None/Unknown
--+-

Comment(by tibbe):

 I've attached a patch bundle that changes the benchmark to use operations
 from `MapOps.hs`, when possible. This makes it easier to experiment with
 performance improvements to the Location based interface.

 (The patch bundle also includes Ross' original patch.)

 To run:
 {{{
 cd benchmarks
 ghc -DTESTING --make -O2 -fforce-recomp -i.. Map.hs
 ./Map
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #4887: add a Location interface for element-wise operations on Data.Map

[GHC]

#4887: add a Location interface for element-wise operations on Data.Map
--+-
Reporter:  ross   |Owner:  
Type:  proposal   |   Status:  new 
Priority:  normal |Milestone:  Not GHC 
   Component:  libraries (other)  |  Version:  7.0.1   
Keywords: | Testcase:  
   Blockedby: |   Difficulty:  
  Os:  Unknown/Multiple   | Blocking:  
Architecture:  Unknown/Multiple   |  Failure:  None/Unknown
--+-
Changes (by igloo):

  * milestone:  => Not GHC


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #4887: add a Location interface for element-wise operations on Data.Map

[GHC]

#4887: add a Location interface for element-wise operations on Data.Map
-+--
Reporter:  ross  |   Owner:   
Type:  proposal  |  Status:  new  
Priority:  normal|   Component:  libraries (other)
 Version:  7.0.1 |Keywords:   
Testcase:|   Blockedby:   
  Os:  Unknown/Multiple  |Blocking:   
Architecture:  Unknown/Multiple  | Failure:  None/Unknown 
-+--

Old description:

> This is a variant of a suggestion by apfelmus:
>
>   http://www.haskell.org/pipermail/libraries/2010-September/014510.html
>
> To avoid proliferation of variants of element-wise operations, the idea
> is to split these operations into two phases mediated by a new Location
> type, so that users can do whatever they like between these phases.
> Documentation is here:
>
>   http://code.haskell.org/~ross/containers_doc/Data-Map.html#3
>
> This adds a type and 9 functions to the interface, but makes possible
> monadic updates and much more.  As an illustration, the file
> {{{MapOps.hs}}} attached to the ticket gives definitions of 30 of the
> public functions of Data.Map in terms of the new interface.  At least in
> the case of insert, this definition is slightly faster than the current
> one.
>
> Discussion period: 4 weeks (to 4 February)

New description:

 This is a variant of a suggestion by apfelmus:

   http://www.haskell.org/pipermail/libraries/2010-September/014510.html

 To avoid proliferation of variants of element-wise operations, the idea is
 to split these operations into two phases mediated by a new Location type,
 so that users can do whatever they like between these phases.
 Documentation is here:

   http://code.haskell.org/~ross/containers_doc/Data-Map.html#3

 This adds a type and 9 functions to the interface, but makes possible
 monadic updates and much more.  As an illustration, the file
 {{{MapOps.hs}}} attached to the ticket gives definitions of 30 of the
 public functions of Data.Map in terms of the new interface.  ~~At least in
 the case of insert, this definition is slightly faster than the current
 one.~~

 Discussion period: 4 weeks (to 4 February)

--

Comment(by ross):

 Strike speed claim.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #4887: add a Location interface for element-wise operations on Data.Map

[GHC]

#4887: add a Location interface for element-wise operations on Data.Map
-+--
Reporter:  ross  |   Owner:   
Type:  proposal  |  Status:  new  
Priority:  normal|   Component:  libraries (other)
 Version:  7.0.1 |Keywords:   
Testcase:|   Blockedby:   
  Os:  Unknown/Multiple  |Blocking:   
Architecture:  Unknown/Multiple  | Failure:  None/Unknown 
-+--

Comment(by tibbe):

 Attached results for the `benchmarks/Map.hs` benchmark. `baseline.csv` is
 the benchmark data for the current API and `mapops.csv` is the benchmark
 data for the current API implemented in terms of `Location`.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #4887: add a Location interface for element-wise operations on Data.Map

[GHC]

#4887: add a Location interface for element-wise operations on Data.Map
-+--
Reporter:  ross  |   Owner:   
Type:  proposal  |  Status:  new  
Priority:  normal|   Component:  libraries (other)
 Version:  7.0.1 |Keywords:   
Testcase:|   Blockedby:   
  Os:  Unknown/Multiple  |Blocking:   
Architecture:  Unknown/Multiple  | Failure:  None/Unknown 
-+--
 This is a variant of a suggestion by apfelmus:

   http://www.haskell.org/pipermail/libraries/2010-September/014510.html

 To avoid proliferation of variants of element-wise operations, the idea is
 to split these operations into two phases mediated by a new Location type,
 so that users can do whatever they like between these phases.
 Documentation is here:

   http://code.haskell.org/~ross/containers_doc/Data-Map.html#3

 This adds a type and 9 functions to the interface, but makes possible
 monadic updates and much more.  As an illustration, the file
 {{{MapOps.hs}}} attached to the ticket gives definitions of 30 of the
 public functions of Data.Map in terms of the new interface.  At least in
 the case of insert, this definition is slightly faster than the current
 one.

 Discussion period: 4 weeks (to 4 February)

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs