Hope+C "hid" its existential types as syntax changes to the language were not
allowed - but such changes could have been made to make them easier to use, there was
no underlying restriction.]
Cheers,
Nigel
--
Dr Nigel Perry Email: [EMAIL PROTECTED]
IIST
functions (this is what makes implementing existential types
easy in this case).
Having said that, existentials where primarily used to support typed interlanguage
working within the continuation I/O system:
data IO == sum data type one constructor of which was:
CallImp(ImpFun(a, b) x a
At 10:11 pm + 5/11/99, Marcin 'Qrczak' Kowalczyk wrote:
>Fri, 5 Nov 1999 22:26:17 +1300, Nigel Perry <[EMAIL PROTECTED]> pisze:
>
> > I missed the start of this and am a bit confused - I keep seeing
> > "forall", which is universal, not "there
ome from the
existential type grouping so I always thought it was so, I'm interrested in
what changed in the "other" camp. "Other" being a misnomer as the more the
different systems develop the closer they appear to be, and type system
changes would bring them closer
type system & checker] does not).
Cheers,
Nigel
--
Dr Nigel PerryEmail: [EMAIL PROTECTED]
Department of Computer ScienceTel: +64 6 350 4007
Massey University Fax: +64 6 350 5611 Attn. Dr N. Perry
Palmerston North
New Zealand
What is going on here? When I "reply" to a message on this list it goes
to the original author, not the list. Yet this saga suggests replies are
going to the list - I can't imagine they're doing it on purpose! Is the
list server set up correctly (I get the list via an exploder, so may it
works fo
as follows:
Proceedings of the Third Massey Functional Programming Workshop,
Palmerston North, New Zealand, 12-13 February 1996.
Editor: Peter Burgess, ISBN: 0-473-03679-7
Contents
Implementing Concurrency with Continuations
Peter Burgess and Nigel Perry (Massey University)
Tracing Lazy Functional
d naming three
referees close with Mrs B. Bretherton, Personel Section, by 31 July
1993 [same address as in signature].
--
Dr Nigel PerryEmail: [EMAIL PROTECTED]
Deptartment of Computer Science Tel: +64 6 356 9099 x8900
Massey University Fax: +64
distant past! :-)) and are available via the web site below
if people are interested.
So to answer the question: it can be done, by a simple existance proof :-)
Cheers,
Nigel
--
Dr Nigel Perry Email: [EMAIL PROTECTED]
IIS&T Tel: +64 6 3
At 12:29 pm +1200 20/5/99, Brian Boutel wrote:
> In response to a question about ad hoc overloading:
>
> On Thursday, May 20, 1999 9:10 AM, Nigel Perry [SMTP:[EMAIL PROTECTED]] wrote:
> >
> > So to answer the question: it can be done, by a simple existance proof :-)
>
if individuals found time.
In the context of the original context, ad-hoc overloading, type declarations not only
help to document the program but also help the inferer tie down alternatives quicker.
Cheers,
Nigel
--
Nigel Perry, New Zealand. It makes as much sense to wear a "cycle s
t the precedences match.
Operators are commonly overloaded, so allowing the latter and not the former
is a major restriction.
Cheers,
Nigel
--
Nigel Perry, New Zealand
to
educate the poor soul :-)
(We actually considered implementing the above [and some others] in
one compiler once just to see how many users complained their
programs broke. We thought better of it fearing the repercussions of
angry "pure" FP programmers denied their side-effects!)
eval (i.e., laziness)
Local (anonymous) classes with an ENTER() method
Hope that makes sense!
Cheers,
Nigel
--
--
Nigel Perry, New Zealand
Java to Mondrian we currently produce a lot more code, take
longer to start up, but then you can't tell the difference between
the two versions.
Cheers,
Nigel
--
--
Nigel Perry, New Zealand
7;t yet
finished) has been fairly straightforward, its a fairly decent "high
level OO assembler"
Cheers,
Nigel
--
--
Nigel Perry, New Zealand
ndamentally OO so you may need to
develop derivatives of your language designed to better interoperate
in an OO world (aka. Mondrian/Haskell# in this case) - unless your
research language is Object Pascal (produced for .NET by Queensland).
Disclaimer, as Fergus added one: I am working with Microsoft on .NET
implementation, but I run Windows 2000 on my G3 PowerBook and take it
to Microsoft with me. I'm biased on everything :-)
Cheers,
Nigel
--
--
Nigel Perry, New Zealand
lish)
and could run:
Linux (but I have no use for it at present)
At 2:07 am +1000 4/8/00, Fergus Henderson wrote:
> Note that on x86 there are only six general purpose registers,
> so you very quickly run out...
Who uses the x86? Oh I remember... ;-)
Cheers,
hen manipulated from Mondrian a value/object is immutable unless an
"I/O" operation is performed.]
Other languages which now target .NET also target JVM (well at least
one but can't remember which it was offhand).
Cheers,
Nigel
--
Nigel Perry, New Zealand
run Windows
while also allowing Haskell to call/be called/use libraries from C#,
C++, Cobol, SML, Mecury, Object Pascal, etc., etc. That's the theory
anyway.
>I hope this isn't too far off topic.
Well we've wandered a bit in this thread already...
Disclaimer: I don't
sting things to consider here.
Cheers,
Nigel
--
Nigel Perry, New Zealand
is direction, none completed.
>
>- There is most of a Java back end for GHC
>
>- There are various pieces of a C# back end for GHC,
> compiling via in intermediate generic OO language
> called GOO. Nigel Perry is working on this (actively
> I think)
This is inde
compilers, demo programs, etc. are available now from:
<http://www.mondrian-script.org>
You will need Windows 2000 and .NET to use this software.
Have fun and feedback is welcome.
Cheers,
Nigel for the Mondrian Team
--
--
Nigel Perry,
> -
its just create two directories and download sh.exe.
For the next release we'll have a better install method!
--
--
Nigel Perry, New Zealand/Utrecht, The Netherlands
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
,
Nigel for the Mondrian Team
--
--
Nigel Perry, New Zealand/Utrecht, The Netherlands
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
of the build process will fail first time around but the build will
continue and
fail later, so build twice (and no I've no idea why sed fails). After that just
the usual amount of salt over the shoulder, frogs leg and bat wing broth, etc.
should get it going. ;-)
Hope that helps.
N
At 9:52 am + 7/3/01, Reuben Thomas wrote:
>(Even more confusing is that our advice has changed recently, and used to be
>much more similar to Nigel's...)
I have compiled up to 4.08.1 (or .2 not sure offhand), if Reuben's
advice has changed for later versions then follow them in preference
t
point support (use the
Mondrian compiler ;-)). This version of ghc will be superceded by
another from a different source...
Cheers,
Nigel
--
Nigel Perry, New Zealand
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/li
es along Haskell
will get a boost, if not it probably won't. But then, there is always
Mondrian!
Have fun. And yes there are holes...
--
Nigel Perry, New Zealand
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
At 12:11 am +0100 13/12/02, Wolfgang Jeltsch wrote:
what are the arguments against lazy stream I/O?
For starters sooner or later the input prompts appear after the input
request - I've even seen systems get two prompts out of sync.
HTH,
Nigel
--
Nigel Perry, New Ze
30 matches
Mail list logo
