On Fri, Feb 26, 2010 at 01:31:39PM -0600, Daniel Ehrenberg wrote: > However, no concatenative language has yet been designed which is both > dynamically typed and supports call( with row polymorphism. Andreas > Rossberg specified a static type system for a concatenative language > with row polymorphism > (http://lambda-the-ultimate.org/node/1899#comment-23169), but that > alone wouldn't be enough for Factor. It has to be worked out how this > feature would interact with the rest of Factor, not to mention the > need for convenient and intuitive syntax. It would also be nice to > have type inference here, though that's not necessary. > > This would be an interesting project for a theoretically-inclined > contributor who is OK with a high chance of failure (or even in the > event of some kind of success, a chance that the result will not be > included in the core Factor language). I would be very pleased to see > someone work on a project like this.
A possible GSoC project? Miles -- Those who do not understand Unix are condemned to reinvent it, poorly. -- Henry Spencer ------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
