Hello Jaap,
Friday, June 16, 2006, 7:27:32 PM, you wrote:
> I like Haskell a lot, but I chose to use OCaml for this work because
> the practicalities of porting the compiler were a little easier to
> manage. GHC would be rather harsh on the fairly primitive MINIX memory
> management system, altho
> It is irreleveant what language these services are written in, so
> long as they obey the protocol.
This is most likely true. I have written an interface using the OCaml
FFI to be able to call the MINIX message passing functions from within
an OCaml program. It's doesn't work completely just yet
Joel Reymont <[EMAIL PROTECTED]> writes:
> On Jun 2, 2006, at 5:41 PM, [EMAIL PROTECTED] wrote:
>
>> It is quite instructive to compare a device driver in Haskell
>> with the original C driver -- it terms of length, speed, time to
>> write, number of bugs, etc.
>
> I think this is an awesome idea.
Joel Reymont wrote:
>
> I think this is an awesome idea. I believe the folks at Galois have
> customized the Haskell runtime for embedded devices but... I wonder
> if us mere mortals will spend more time fighting laziness (and thus
> high memory usage) than focusing on driver functionality.
On Jun 2, 2006, at 5:41 PM, [EMAIL PROTECTED] wrote:
It is quite instructive to compare a device driver in Haskell
with the original C driver -- it terms of length, speed, time to
write, number of bugs, etc.
I think this is an awesome idea. I believe the folks at Galois have
customized the
tant for a language like OCaml
or Haskell to get more visibility among the OS developers; and Minix
offers a very good way to do that. Minix3 is based on micro-kernel;
all of the OS services (memory manager, file system, all the drivers,
etc.) run as regular processes communicating through a we
Irina Kaliman wrote:
# rpm -ivh ghc-6.4-1.i386.rpm
error: Failed dependencies:
libreadline.so.4 is needed by ghc-6.4-1.i386
Go to rpmfind.net
Type libreadline.so.4
Find the text "Fedora Core 4"
Install the compat-readline RPM
Fedora has compat projects for other old libraries as well.
I wonder if anybody knows the answer to this:
I have Fedora Core 4 ( 2.6.11-1.1369_FC4smp ) installed on one of our
servers.
When I tried to install ghc-6.4-1, I got a dependancy problem:
# rpm -ivh ghc-6.4-1.i386.rpm
error: Failed dependencies:
libreadline.so.4 is needed by ghc-6.4-1.i
riginal Message-
| From: Juan Carlos Arévalo Baeza [mailto:[EMAIL PROTECTED]]
| Sent: 10 August 2001 23:13
| To: Haskell List
| Subject: Haskell Kernel
|
|
|
|Is there any place where I could find detailed
| documentation on the Haskell kernel? The Haskell Report
| doesn't seem
I'm afraid the "Haskell kernel" isn't formally defined. The Report
describes how to translate complex constructs into simpler ones,
but neither specifies *exactly* what these simpler ones are, nor gives
their meaning in a formal way.
Simon
| -Original Message-
| Fr
In the report on the Haskell programming language
(http://www.haskell.org/onlinereport/),
the Haskell kernel is mentionen in several places. It says in section 1.2
that the Haskell kernel is a slightly sugared form of lambda calculus. Futhermore
most expression should be possible to translate
> I have just realised that nowhere in the report does it say specifically
> what the kernel language is. It says how to translate to it but not what it
> is!!
The short answer is that the report defines an informal semantics with
a notional "easily understood", but imprec
I have just realised that nowhere in the report does it say specifically
what the kernel language is. It says how to translate to it but not what it
is!! Should this be remedied?
Tony Davie Department of Mathematical and Computational
Sciences
Tel: +44 334 76161 x8136 St.Andrews
13 matches
Mail list logo
