[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Generator in Axiom
|
From: |
Ralf Hemmecke |
|
Subject: |
[Axiom-developer] Generator in Axiom |
|
Date: |
Sat, 9 Dec 2006 22:14:44 +0100 (MET) |
|
User-agent: |
Thunderbird 1.5.0.8 (X11/20061025) |
Does somebody know how I can make "Generator" available in Axiom?
I would like to write something like
l: List Integer := [2,3,5,7]
g: Generator := (x for x in l)
s: DataStream(Integer) := stream g
(where DataStream(S) is a type with a function
stream: Generator S -> %
Please don't tell me that it is currently impossible.
Ralf
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Generator in Axiom,
Ralf Hemmecke <=