Erik de Castro Lopo schrieb:
> The Linux kernel which is the one I am interested in is C only.
The kernel I linked to is in C, too (well, 7500 lines of C accompanied
by 20 lines of proof that the C actually implements the formal
specification automatically generated from the Haskell prototype
Hello,
I am very pleased to announce that transition to OCaml 3.11.1 in
Ubuntu Karmic is now completed!
http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html
Many thanks to (in order of appearance):
* Ubuntu side:
James Wetsby
Andrea Gasparini
Mic
Pierre-Evariste Dagand wrote:
Hi,
I was wondering if someone is aware of a tool for ocaml like this at
http://people.cs.uu.nl/andres/lhs2tex/
Ocamlweb is what you are looking for:
[http://www.lri.fr/~filliatr/ocamlweb/]. It's an excellent tool.
I really second your voice saying that ocamlwe
On Tue, Aug 18, 2009 at 04:21:16PM +0100, Richard Jones wrote:
> On Tue, Aug 18, 2009 at 09:07:23PM +1000, Erik de Castro Lopo wrote:
> > Florian Hars wrote:
> >
> > > Erik de Castro Lopo schrieb:
> > > > That makes sense. I do quite low level stuff as well, even Linux device
> > > > drivers and t
Hello,
2009/8/18 Richard Jones :
> It's relatively low-level when you need it to be, and it wouldn't be
> too much work to separate out the runtime and reimplement it on top of
> baremetal.
I've done part of this in the past (KOS is not bare metal but a kernel
nonetheless):
http://caml.inria.fr
On Tue, Aug 18, 2009 at 09:07:23PM +1000, Erik de Castro Lopo wrote:
> Florian Hars wrote:
>
> > Erik de Castro Lopo schrieb:
> > > That makes sense. I do quite low level stuff as well, even Linux device
> > > drivers and that is not ever going to be done in Ocaml or Haskell :-).
> >
> > People d
Florian Hars wrote:
> Erik de Castro Lopo schrieb:
> > That makes sense. I do quite low level stuff as well, even Linux device
> > drivers and that is not ever going to be done in Ocaml or Haskell :-).
>
> People do use Haskell in developing OS kernels, and you can't get more
> low-level than tha
Erik de Castro Lopo schrieb:
> That makes sense. I do quite low level stuff as well, even Linux device
> drivers and that is not ever going to be done in Ocaml or Haskell :-).
People do use Haskell in developing OS kernels, and you can't get more
low-level than that:
http://ertos.nicta.com.au/res
Hi,
(1) is there any specialized APIs for processing RDF as well as OWL file?
(2) is there any similar API in Ocaml like XML-parsers from Java world?
Thank you.
Tumee.
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr
On Tue, Aug 18, 2009 at 08:44:52AM +1000, Erik de Castro Lopo wrote:
> Matthew Macy wrote:
>
> > I don't anticipate ever doing functional programming professionally
>
> Why ever not?
>
> I'm at a small VC funded startup and I use Ocaml and Haskell
> for production code on a regular basis. We hav
On Mon, Aug 17, 2009 at 10:00:28PM -0400, Edgar Friendly wrote:
> Is there a better way to do this? The path I'm following is looking
> very byzantine compared to C's [-DFOO] + [#ifdef FOO].
You can just use autoconf's ordinary features:
eg:
AC_ARG_ENABLE([foo],
[AS_HELP_STRING([--e
On Tue, Aug 18, 2009 at 04:37, Edgar Friendly wrote:
> I'm starting to think that optcomp is just a mismatch for what I'm
> trying to do, and I'm trying to use the wrong tool for the job. That
> said, I don't think it's the best solution (especially with already long
> compile times for the projec
12 matches
Mail list logo
