Many thanks for the links.
Has anyone tried to squeeze House in a VMWare or XEN virtual machine?
Best,
titto
-------------------------
Pasqualino "Titto" Assini
E-mail: titto(a)quicquid.org
Skype: tittoassini
MSN : titto(a)kamus.it
> -----Original Message-----
> From: Jared Updike [mailto:jupdike@gmail.com]
> Sent: 05 April 2006 16:23
> To: Assini, Pasqualino
> Cc: haskell(a)haskell.org
> Subject: Re: [Haskell] haskell-in-a-box?
>
> > And: has anyone already built a 'haskell-in-a-box' virtual machine?
>
> Some are working on an all-Haskell-boots-from-scratch OS:
> House (Haskell User's Operating System and Environment):
>
> http://www.cse.ogi.edu/~hallgren/House/
>
> From the page: "House is a demo of software written in Haskell,
> running in a standalone environment. It is a system than can serve as
> a platform for exploring various ideas relating to low-level and
> system-level programming in a high-level functional language. More
> details are available in our ICFP 2005 paper: A Principled Approach to
> Operating System Construction in Haskell."
>
> Also, YHC is (in development) a new Haskell compiler based on nhc98
> that aims to produce highly portable bytecode which can then be ported
> to JVM, .NET, etc. and of course a C virtual machine:
>
> http://www-users.cs.york.ac.uk/~ndm/yhc/
>
> Jared.
>
> --
> http://www.updike.org/~jared/
> reverse ")-:"
Very cool.
Has anyone experience of using House?
If it is reliable and it supports enough of the GHC libraries to run the
Haskell Web Server
(http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/#wsp) we
are in business :-)
titto
-------------------------
Pasqualino "Titto" Assini
E-mail: titto(a)quicquid.org
Skype: tittoassini
MSN : titto(a)kamus.it
> -----Original Message-----
> From: Greg Buchholz [mailto:haskell@sleepingsquirrel.org]
> Sent: 05 April 2006 16:15
> To: Assini, Pasqualino
> Subject: Re: [Haskell] haskell-in-a-box?
>
> Assini, Pasqualino wrote:
> > Since the question: what is the smallest X86 OS core on top of which
one
> > might compile Haskell (and I am mainly thinking of GHC Haskell here)
> > programs?
> >
> > And: has anyone already built a 'haskell-in-a-box' virtual machine?
>
> You might be interested in "House"...
>
> http://www.cse.ogi.edu/~hallgren/House/
>
> Greg Buchholz
Hello,
you are probably all aware of the recent brouhaha relative to
virtualisation, that is to say the possibility of running multiple
operating systems in parallel on the same PC (see
http://en.wikipedia.org/wiki/Virtualisation)
This opens all kind of interesting possibilities, in particular for
software distribution.
Rather then having to worry about creating and maintaining different
versions of a program for Windows + the infinite variations of
Linux/Unix one could simply distribute a stand-alone virtual machine
including the kernel of the OS of choice plus the application (this
naturally only applies to applications with a network interface, e.g.
web-based applications).
This would have significant advantages in terms of ease of installation,
safety, manageability and possibly also efficiency of execution as the
underlying OS could be fine-tuned to support the application in an
optimal way.
This new trend might also be good news for Haskell as, coupled with a
free OS with a small footprint, it might be used to create network
applications that are both powerful and easy-to-install and manage.
Since the question: what is the smallest X86 OS core on top of which one
might compile Haskell (and I am mainly thinking of GHC Haskell here)
programs?
And: has anyone already built a 'haskell-in-a-box' virtual machine?
Regards,
titto
-------------------------
Pasqualino "Titto" Assini
E-mail: titto(a)quicquid.org
Skype: tittoassini
MSN : titto(a)kamus.it
I managed, with the help of some custom hacks, to convert Simon's
tarball of the haskell@ archives from 1990-2000 into html.
I've hosted the lot here:
http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/threads.html
I'm not sure these archives are available anywhere else, other than the
tarball on SPJs page, here
http://research.microsoft.com/~simonpj/haskell/haskell-email-11Sep1990-27Oc…
Enjoy reading about the problems of n+k and why Haskell needs a binary IO class,
way back in 1990 :)
-- Don
P.S. if you find oddities in the conversion, let me know.
Hi,
I am trying to use Strafunski with GHC 6.5 and was wondering if
someone could help me. I have all the instances for Term and Typeable
defined for my data types, but when I try to compile with GHC 6.5 I
get lots of "overlapping instance" errors. In particular, it seems
the instances I am using (generated by DrIFT) are clashing with the
ones in Data.Typeable. Is there a way I can fix this?
Also I have heard that it is possible to add "deriving Typeable" to
each data type and I don't need to use the instances I have created.
However, now it complains that it can't find instances for Term - but
I can't derive from Term. Does anyone have any ideas how I can get
Strafunski working with GHC 6.5?
Thanks.
Chris.
Christopher Brown
PhD Student, University of Kent.
http://www.cs.kent.ac.uk/people/rpg/cmb21/
cmb21(a)kent.ac.uk
