algorithms and ADTs (was Re: efficient idiomatic queue?)

[Justin Sheehy]

quinn at hork.ugcs.caltech.edu (Quinn Dunkan) writes:

> Aha!  I always thought ADT stood for "Algebraic Data Type" and assumed people
> were talking about haskell / ML-ish types, although I never had a very clear
> idea of what they were supposed to exactly be (value semantics?).  And fp
> advocates would say things like "behold the power of adts, blah blah".

Your confusion might have come from the fact that some of the more
rigorous software designers out there, especially some of those that
are also fp people, describe their ADTs via algebraic specification.

Then again, it might not have.

-Justin