On Wed, Aug 01, 2007 at 07:57:48AM +0200, Wolfgang Lux wrote:
Jim Apple wrote:
data Rec f = In (f (Rec f))
type P f a = f (Rec f, a)
mapP :: Functor f = (a - b) - P f a - P f b
mapP g = fmap (\(x,a) - (x, g a))
instance Functor f = Functor (P f) where
fmap = mapP
Why did Gofer have
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
- -BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Wolfgang,
Why did Gofer have this power while Haskell does not?
Quite probably they never bothered to test it.
More probably ;-) they did test it and just swept it under the carpet
in order
The code in Bananas in Space: Extending Fold and Unfold to Exponential Types
http://citeseer.ist.psu.edu/293490.html
mirror:
http://www.cs.nott.ac.uk/~gmh/bananas.pdf
uses Gofer, and has examples such as
data Rec f = In (f (Rec f))
type P f a = f (Rec f, a)
mapP :: Functor f = (a - b) - P f
Jim Apple wrote:
data Rec f = In (f (Rec f))
type P f a = f (Rec f, a)
mapP :: Functor f = (a - b) - P f a - P f b
mapP g = fmap (\(x,a) - (x, g a))
instance Functor f = Functor (P f) where
fmap = mapP
Why did Gofer have this power while Haskell does not?
Haskell does have the same
AsmGofer is an extension of TkGofer. TkGofer is an extension of
Gofer in order to support graphical user interfaces. Gofer is a
subset of Haskell.
AsmGofer can be viewed as TkGofer with a notion
of state. You can declare dynamic functions and redefine them
during execution. Here is one example
Hi Joachim,
| AsmGofer is an extension of TkGofer. TkGofer is an extension of
| Gofer in order to support graphical user interfaces. Gofer is a
| subset of Haskell.
I'd like to urge you to consider making the AsmGofer distribution
more publicly available. I was shocked to find that I couldn't
When I read papers from the last eight years they refer to Haskell 1.x
or Gofer or some specific implementation.(Hugs, GHC, etc.)
Does anyone have a useful summary for how these all compare to each
other? As a beginner I struggle a bit when I wonder if I will be able
to recreate, say, Liang et
Is there a way in Gofer to perform output redirection? For example, in a
version of Miranda I used to work with, one could type a command of the form
exp file
which would send the value of expression to a file (background process). In
this case, both the standard output
Dear John,
sorry there was a mistake in my last mail, and that's the reason, that
it ends so apruptly.
The class StateTran is
class States a = StateTran t a where
trans :: t - a - (StatesMap a) -- give the transformation
arity :: t - a - Int -- where 0 means: arbitrary
This is the
Hi,
I have some small algorithms implemented in gofer, using also
a little class structure.
One class uses two parameters, as it is legal in gofer.
But not in haskell. The question, how I come out of this.
First idea is: choose one parameter, and put the second one into
member function
Folks-
Sorry about that last message; I forgot to remove the CC-to-list from
the headers.
-John
wanted to try some algorithms at home on the pc.
Since the DOS-gofer had too few cells, I thought of turning to HUGS.
( I retrieved it due to your advice).
It drove me into the problem with class parameters (see previous mail).
But it is a good way to check whether I am Haskell-conform or not.
So
Hi Andreas-
I'm sorry to have ignored you for so long. I've been trying to get a
handout ready for a praktikum this afternoon (the functional
programming one, actually) and it's taken me much longer than I
thought...up to this weekend actually. I'll take a good long look at
your code
Generator and Scanner Generator for Gofer
Torben
Please could you tell me how to change the heap size for Gofer for the PC, or
direct me to someone who would know.
Many thanks
Paresh Chauhan ([EMAIL PROTECTED])
Hi, I'm the author of Gofer and I use it quite a bit on PCs myself so I am
probably well qualified to answer your question:
| Please could you tell me how to change the heap size for Gofer for the PC,
| or direct me to someone who would know.
Except that, in order to answer this question, you
Are there any tools available for producing a GNU Emacs readable tags
file from a set of Haskell/Gofer scripts?
Ideally this would be an optional output file from a compiler, as it
knows where the functions are better than any kludgy awk/perl ... etc.
script ever could. However, as I don't
Original-Via: uk.ac.ox.prg; Mon, 25 Nov 91 18:31:48 GMT
[My apologies to those who receive this message from more than one source.
In future, messages about new versions of Gofer will be sent to those
people on the Gofer mailing list, and will not normally be duplicated in
other places.]
A new
18 matches
Mail list logo