Re: Views revisited

Thread View: comp.lang.functional

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Rob Turner Mon, 18 Feb 1991 17:34

#805

Author: Rob Turner
Date: Mon, 18 Feb 1991 17:34

7 lines
587 bytes

From the example given, "views" look enormously like algebraic
specifications of abstract data types.

Is this correct? Is this another instance of inventing a new name for
something which already exists, in order to confuse everyone?

Rob

Re: Views revisited

#807

Author: Wolfgang Grieskamp
Date: Fri, 22 Feb 1991 21:54

29 lines
1614 bytes

rst@cs.hull.ac.uk (Rob Turner) writes:

>From the example given, "views" look enormously like algebraic
>specifications of abstract data types.

>Is this correct? 

I think so. But the algebraic specification framework doesnt 
say much about implementing models, rather about classes, initiality, 
and determinination of models up to isomorphism :-}

The pragmatic correlation between specification and high-level 
implementation via the functional paradigm isn't really so researched 
and especially valified in praxis as one might think after the first 
"view".

>Is this another instance of inventing a new name for
>something which already exists, in order to confuse everyone?

If there is only one view and it should satisfy reachability and is
free generating, you might be right to better call it type - if thats
what you mentioned. If views havent to satisfy all this stuff, their 
intention can be better expressed by subsorting, is my current 
conclusion.

>Rob

bye
wg

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads