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
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
Hi,
I am also interested in processing semantic web languages in OCaml,
and I haven't found anything yet.
Some months ago, I wrote a parser for RDF files (using Xml-light).
This cannot be considered as an API for RDF, but the hard work of
analysing the RDF-XML is done (source file as
Richard Jones пишет:
[skip]
There are some missing features to really make it possible though:
- inline assembly
- support for ELF (eg. putting code/data directly into named sections)
- bit fields / bit twiddling (can probably be done with macros)
- better optimization of int32 and int64
On Wed, Aug 19, 2009 at 09:43:18PM +0900, Alexander Danilov wrote:
+ out of box support for native executables creation for win32/mingw
Not sure what you mean here, because I've built Win32 native
executables from OCaml using both the INRIA-supplied binaries and our
cross-compiler. Works
Richard Jones wrote:
On Wed, Aug 19, 2009 at 09:43:18PM +0900, Alexander Danilov wrote:
+ out of box support for native executables creation for win32/mingw
Not sure what you mean here, because I've built Win32 native
executables from OCaml using both the INRIA-supplied binaries and our