This page is no longer maintained — Please continue to the home page at www.scala-lang.org

zippers

2 replies
Matthew Pocock 3
Joined: 2010-07-30,
User offline. Last seen 42 years 45 weeks ago.
Hi,
Scalaz has zippers for some immutable data structures. A while ago, there was a prototype plugin for scalac that generated zippers for immutable case classes annotated with @zip, I think. Has anyone followed this up? I'm thinking of resurrecting an old project I was involved in written in Java that did some funky stuff with a rather 'unique' graph data structure that I'd like to re-implement as immutable/persistent. However, to keep my sanity, I'd need something like zippers to make working with a persistent version of the data-structures not make me want to saw my own fingers off by gluing glass dust to my ears.
Matthew

--
Dr Matthew PocockIntegrative Bioinformatics Group, School of Computing Science, Newcastle Universitymailto: turingatemyhamster@gmail.com gchat: turingatemyhamster@gmail.commsn: matthew_pocock@yahoo.co.uk irc.freenode.net: drdozerskype: matthew.pococktel: (0191) 2566550mob: +447535664143
rytz
Joined: 2008-07-01,
User offline. Last seen 45 weeks 5 days ago.
Re: zippers
Hi Matthew,
Nobody worked on it since the proof-of-concept (which is still here). Btw, it wasnot a plugin. It cannot be a plugin with the current compiler plugin architecture (known issue of generating code that's required to be there before type checking,but the generation already needs to know some types).
However, you can write everything that the plugin generates by hand, obviously.
Cheers: Lukas

On Tue, Dec 6, 2011 at 19:31, Matthew Pocock <turingatemyhamster@gmail.com> wrote:
Hi,
Scalaz has zippers for some immutable data structures. A while ago, there was a prototype plugin for scalac that generated zippers for immutable case classes annotated with @zip, I think. Has anyone followed this up? I'm thinking of resurrecting an old project I was involved in written in Java that did some funky stuff with a rather 'unique' graph data structure that I'd like to re-implement as immutable/persistent. However, to keep my sanity, I'd need something like zippers to make working with a persistent version of the data-structures not make me want to saw my own fingers off by gluing glass dust to my ears.
Matthew

--
Dr Matthew PocockIntegrative Bioinformatics Group, School of Computing Science, Newcastle Universitymailto: turingatemyhamster@gmail.com gchat: turingatemyhamster@gmail.commsn: matthew_pocock@yahoo.co.uk irc.freenode.net: drdozerskype: matthew.pococktel: (0191) 2566550mob: +447535664143

Matthew Pocock 3
Joined: 2010-07-30,
User offline. Last seen 42 years 45 weeks ago.
Re: zippers
Thanks.
Matthew

On 6 December 2011 19:44, Lukas Rytz <lukas.rytz@epfl.ch> wrote:
Hi Matthew,
Nobody worked on it since the proof-of-concept (which is still here). Btw, it wasnot a plugin. It cannot be a plugin with the current compiler plugin architecture (known issue of generating code that's required to be there before type checking,but the generation already needs to know some types).
However, you can write everything that the plugin generates by hand, obviously.
Cheers: Lukas

On Tue, Dec 6, 2011 at 19:31, Matthew Pocock <turingatemyhamster@gmail.com> wrote:
Hi,
Scalaz has zippers for some immutable data structures. A while ago, there was a prototype plugin for scalac that generated zippers for immutable case classes annotated with @zip, I think. Has anyone followed this up? I'm thinking of resurrecting an old project I was involved in written in Java that did some funky stuff with a rather 'unique' graph data structure that I'd like to re-implement as immutable/persistent. However, to keep my sanity, I'd need something like zippers to make working with a persistent version of the data-structures not make me want to saw my own fingers off by gluing glass dust to my ears.
Matthew

--
Dr Matthew PocockIntegrative Bioinformatics Group, School of Computing Science, Newcastle Universitymailto: turingatemyhamster@gmail.com gchat: turingatemyhamster@gmail.commsn: matthew_pocock@yahoo.co.uk irc.freenode.net: drdozerskype: matthew.pococktel: (0191) 2566550mob: +447535664143




--
Dr Matthew PocockIntegrative Bioinformatics Group, School of Computing Science, Newcastle Universitymailto: turingatemyhamster@gmail.com gchat: turingatemyhamster@gmail.commsn: matthew_pocock@yahoo.co.uk irc.freenode.net: drdozerskype: matthew.pococktel: (0191) 2566550mob: +447535664143

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland