Talk:Non-trivial type synonyms
Revision as of 14:56, 30 September 2006 by BrettGiles (talk | contribs) (Moving editorial comments to the talk page)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Redfining to "id"
What do you mean by "redefined to be 'id'"? (New to Haskell, though I like it a lot.) Instinctively I dislike the idea of changing things after the code is "stabilized", because code never stabilizes unless because people are afraid to touch it because it's too fragile. I really like the idea of making the type system track units like that... Has anybody worked out the details of a system that would use classes and inheritance to automate the tracking of complex units like Miles/Hour? If I do, I'll probably post it here. --User:DanielKnapp
One possibly valid reason for removing the constructors and selector may be
that they clutters the code too much.
(I think restricted type synonyms can sometimes fix this better)