Re: Testing invasive proposals with Hackager
Roman Cheplyaka <roma <at> ro-che.info>
2013-06-14 06:14:27 GMT
To make it clear, it's not yet written, although I'll start spending
more time on it soon.
So far I've been working on the haskell-suite set of libraries that are
necessary to implement HasFix.
* AlanKim Zimmerman <alan.zimm <at> gmail.com> [2013-06-13 20:45:43+0200]
> Roman Cheplyaka has written a tool called HasFix for updating source based
> on new versions of libraries.
> The presentation on it is here http://ro-che.info/docs/ and the code is at
> Perhaps it could be pressed into use for automatic update of historical
> On Thu, Jun 13, 2013 at 6:30 PM, Maksymilian Owsianny <
> maksymilian.owsianny <at> gmail.com> wrote:
> > I was thinking about something similar some time ago, but not just
> > testing but also fixing things automatically. Taking for example
> > Semigroup => Monoid this would break in places where you have instance
> > for Monoid but don't have instance for Semigroup. But if you have
> > instance for Monoid making instance for Semigroup is straightforward:
> > instance Semigroup <TypeYouAreFixing> where
> > (<>) = <copy code from mappend for that type>
> > I'm still kind of new to Haskell, so I'm not sure how hard such,
> > TemplateHaskell-like automagic migration tool, would be to make, but
> > I feel like such a tool would be of incredible importance for the
> > community. Because otherwise, without such thing, there are usually
> > two ways a language can evolve:
> > 1. Caring for backwards compatibility, and accumulating mistakes
> > like that over time, and becoming more and more like crap.
> > 2. Making fixes that break everyones code, and because of that
> > being ignored by the industry.
> > I like Haskell because it usually takes the second route, but as
> > community grows it will be less and less the case. With such a tool
> > you could have best of both worlds.
> > Though I assume that somebody already thought of that and come to the
> > conclusion that in general case you cannot make such tool because
> > Gödel is a bastard that breaks everyones toys, or something along this
> > lines.
> > On Thu, Jun 13, 2013 at 12:54 PM, Niklas Hambüchen <mail <at> nh2.me> wrote:
> >> On 13/06/13 18:36, Vo Minh Thu wrote:
> >> > "For example, here is a run with GHC, no special options and using 4
> >> > threads (note that this generally takes a long time, i.e. a few days):"
> >> My builds finished in < 10 hours on an i7.
> >> _______________________________________________
> >> Haskell-Cafe mailing list
> >> Haskell-Cafe <at> haskell.org
> >> http://www.haskell.org/mailman/listinfo/haskell-cafe
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe <at> haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> Haskell-Cafe mailing list
> Haskell-Cafe <at> haskell.org