tag:blogger.com,1999:blog-7094652.post303935856416108785..comments2024-03-23T14:36:09.980+00:00Comments on Neil Mitchell's Blog (Haskell etc): Abstract Generics with UniplateNeil Mitchellhttp://www.blogger.com/profile/13084722756124486154noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-7094652.post-83736356957487793542011-11-11T11:00:18.483+00:002011-11-11T11:00:18.483+00:00Clifford: Thanks for spotting the typo, should act...Clifford: Thanks for spotting the typo, should actualy be if t then ... - fixed in the post and in the Uniplate docs.<br /><br />I agree that we should do something with abstract data types, but I'm not convinced Data is quite the right typeclass - it may need splitting up into two, or changing the methods slightly. Anyway, hopefully this post is a partial solution keeping what we have now.Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-81056890654773403742011-11-10T07:21:19.891+00:002011-11-10T07:21:19.891+00:00Very interesting. I'd run across the problem, ...Very interesting. I'd run across the problem, but never really conceived a solution. This has a nice feel to me, at first glance.<br /><br />Interesting point about gunfold. It doesn't match my experience with generic serialization, which always seems to die from some type having gunfold = error. I'd like to see the minimal Data definition cleared up. Failing on these abstract types has been a real achilles heel and it would be great to get a standardized solution in place.<br /><br />Minor bug: fromSortedList (SortedList (Trigger t xs)) = if trigger x then sort xs else xs<br /><br />should be 'if trigger t' I presume.Anonymoushttps://www.blogger.com/profile/07441435909838565635noreply@blogger.com