| <<O>> Difference Topic StreamTypes (r1.3 - 23 Apr 2004 - RohanHart) |
| Changed: | |
| < < | 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? |
| > > | Erik Meijer and Wolfram Schulte have 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? |
| <<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.3 - 23 Apr 2004 - 04:42 GMT - RohanHart |
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. |