Nice TWiki > Dev > StreamTypes (r1.1 vs. r1.2) TWiki webs:
Dev | Doc | Main | TWiki | Sandbox
Dev . { Changes | Index | Search | Go }
 <<O>>  Difference Topic StreamTypes (r1.2 - 22 Apr 2004 - BrynKeller)
Added:
>
>

Good question, I'd be interested in that too.

-- BrynKeller - 22 Apr 2004


 <<O>>  Difference Topic StreamTypes (r1.1 - 21 Apr 2004 - RohanHart)
Added:
>
>

%META:TOPICINFO{author="RohanHart" date="1082584937" format="1.0" version="1.1"}% %META:TOPICPARENT{name="FeatureProposals"}% Erik Meijerand Wolfram Schulte has some interesting ideas about "stream types" which look like they could improve some of the code I've been writing. See Unifying Tables, Objects, and Documents. Since we already have the stream-like types T and ?T (which correspond to T! and T? in that paper) would it be possible to extend MLsub to provide T* and T+ types?

-- RohanHart - 21 Apr 2004


Topic StreamTypes . { View | Diffs | r1.3 | > | r1.2 | > | r1.1 | More }
Revision r1.1 - 21 Apr 2004 - 22:02 GMT - RohanHart
Revision r1.2 - 22 Apr 2004 - 18:06 GMT - BrynKeller
Copyright © 1999-2003 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback.