No subject
Tue Sep 8 01:13:09 PDT 2009
Or workaround that stupidity by having C:\Cygwin\bin and the other
directories
in your PATH
Start Bash (possibly as Administrator depending on permissions set on
C:\Dev)
I placed the ocaml 3.11.1 tarball in C:\Dev\Src-MSVC64
Note that the sed instruction not only sets PREFIX but it also removes
bufferoverflowu.lib from EXTRALIBS ? apparently this is no longer needed in
this version of the SDK (presumably the compiler has started to include all
the required support natively or perhaps the runtime now has it).
$ cd /cygdrive/c/Dev/Src-MSVC64
$ svn co svn://frisch.fr/flexdll/trunk flexdll-dev
$ cd flexdll-dev
$ make CHAINS=3Dmsvc flexdll_msvc.obj flexdll_initer_msvc.obj
$ cp *.obj /cygdrive/c/Dev/OCaml-MSVC64/bin
$ cd ..
$ tar -xzf ocaml-3.11.tar.gz
$ cd ocaml-3.11
$ cp config/m-nt.h config/m.h
$ cp config/s-nt.h config/s.h
$ sed -e '20s/=3D.*$/=3DC:\/Dev\/OCaml-MSVC64/' -e '92s/=3D.*/=3D/'
config/Makefile.msvc64 > config/Makefile
$ make -f Makefile.nt world opt opt.opt install
And you should have a fully working MSVC64 build with the Win7 SDK Compiler=
s
(and therefore be able to link against the newer libraries). If you wish,
quite reasonably, to be a purist and have everything 64-bit you can now go
back to flexdll-dev and say:
$ sed -i -e 's/"afxres.h"/<windows.h>/' version.rc
$ rc version.rc
$ cvtres /nologo /machine:amd64 /out:version_res.obj version.res
$ make version.ml
$ ocamlopt -o flexlink.exe -ccopt "-link version_res.obj" version.ml coff.m=
l
cmdline.ml create_dll.ml reloc.ml
$ cp flexlink.exe /cygdrive/c/Dev/OCaml-MSVC64/bin
And you?ll have flexlink.exe as a 64-bit executable as well.
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
3) Documentation to start
Archive: <
http://groups.google.com/group/fa.caml/browse_thread/thread/fb701323404c7d0=
f#
>
------------------------------------------------------------------------
** vernade asked and Philip answered:
> I just downloaded ocaml (and caml-light) . I am looking for documentation
on pdf
> or any format that I can easily download , read and print. I need basic
> information. All I found was on line and the "help" didn't come with the
file I
> downloaded to install ocaml and caml-light.
a first place to start is:
<http://caml.inria.fr/pub/docs/manual-ocaml/>
<http://www.ocaml-tutorial.org/>
Installation is quite easy on fedora 11:
just do a 'yum install'
** David Mentre also replied:
As you probably speak French, take a look at "Le Langage Caml" book:
<http://caml.inria.fr/pub/distrib/books/llc.pdf>
It is dedicated to Caml Light but code examples can be adapted fairly
easily to OCaml.
It is a very good book!
** Ashish Agarwal also replied:
I would recommend Jason Hickey's excellent book [1]. You can also look at
the OCaml manual [2], but in my opinion this is better as reference.
The easiest way to install OCaml depends on the OS you are using, but GODI
[3] is a good choice for most systems.
[1] <http://files.metaprl.org/doc/ocaml-book.pdf>
[2] <http://caml.inria.fr/pub/docs/manual-ocaml>
[3] <http://godi.camlcity.org>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
4) Camomile library tutorial/examples?
Archive: <
http://groups.google.com/group/fa.caml/browse_thread/thread/70cd9f6b3cf970b=
b#
>
------------------------------------------------------------------------
** Morozov Matvey asked and Dmitry Grebeniuk replied:
> Recently I tried to add some unicode support to my project (for instance
I
> need to convert Cyrillic characters from uppercase to lowercase and vice
> versa).
I don't know of any good documentation on Camomile, but here is a
code that converts line from terminal to uppercase and lowercase,
assuming that your terminal's encoding is utf8.
=3D=3D=3D=3D=3D camotest.ml =3D=3D=3D=3D=3D
open Printf
module PREF =3D CamomileLibrary.Default.Camomile
module CE =3D PREF.CharEncoding
module CM =3D PREF.CaseMap.Make(PREF.UTF8)
let _ =3D
try
while true do printf "> %!";
let line =3D input_line stdin in
let up =3D CM.uppercase line
and low =3D CM.lowercase line
in printf "ORIG : %s\nUPPER: %s\nLOWER: %s\n%!" line up low
done
with
| End_of_file -> ()
=3D=3D=3D=3D=3D / camotest.ml =3D=3D=3D=3D=3D
$ ocamlfind ocamlc -package camomile -linkpkg camotest.ml -o camotest
$ ./camotest
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
5) OCaml on Android
Archive: <
http://groups.google.com/group/fa.caml/browse_thread/thread/b3a3712071801aa=
5#
>
------------------------------------------------------------------------
** Keigo Imai announced:
I built an O'Caml cross-compiler for Google Android!
The porting step is available at
<http://sites.google.com/site/keigoattic/ocaml-on-android>
The example shows that Unison is invoked from android's shell.
(Since Android app works on java VM, we cannot build Android application
diretly with O'Caml yet. But anyway, it works!)
The patch itself is not so big, and nothing special (removing reference to
unsupported functions, modify 'ar' to '$(AR)', and so on), so I encourage
you
to extend it for your use, such as adapting it to O'Jacare or OCaml-Java.
Acknowledgements:
ARM-EABI with software floating-point support[1] saved much time.
Many thanks to Xavier!
[1] <http://caml.inria.fr/mantis/view.php?id=3D3746>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
6) ocamlfind and GODI packaging sprint this Wednesday, 9/9
Archive: <
http://groups.google.com/group/fa.caml/browse_thread/thread/afbdc48c94caa3d=
0#
>
------------------------------------------------------------------------
** Hezekiah M. Carty announced:
There will be an informal GODI packaging sprint for OCaml libraries
this Wednesday, 9/9, with coordination taking place via IRC (#ocaml on
Freenode). Some information (documentation, ideas for libraries to
package) is available here:
<http://ocamlsprint.couch.it/ocamlfind_and_GODI_packaging>
The site is a wiki, so please feel free to add links to packaging
documentation, ideas for libraries to package or other relevant
information.
Everyone is welcome! The plan is to continue the packaging efforts
throughout the day. If you are interested, please drop by for as long
or short a time as you like.
Many thanks to bluestorm for suggesting and initiating this effort!
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
7) Other Caml News
------------------------------------------------------------------------
** From the ocamlcore planet blog:
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to
the
recent posts from the ocamlcore planet blog at <http://planet.ocamlcore.org=
/
>.
Constructive stone: finite sets:
<http://math.andrej.com/2009/09/07/constructive-stone-finite-sets/>
Constructive gems and stones:
<http://math.andrej.com/2009/09/07/constructive-gems-and-stones/>
ocamlviz: First version available:
<http://forge.ocamlcore.org/forum/forum.php?forum_id=3D412>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Old cwn
------------------------------------------------------------------------
If you happen to miss a CWN, you can send me a message
(alan.schmitt at polytechnique.org) and I'll mail it to you, or go take a look
at
the archive (<http://alan.petitepomme.net/cwn/>) or the RSS feed of the
archives (<http://alan.petitepomme.net/cwn/cwn.rss>). If you also wish
to receive it every week by mail, you may subscribe online at
<http://lists.idyll.org/listinfo/caml-news-weekly/> .
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--00504502cb65ba7a6f04730c88f0
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
<div>Hello,</div><div><br></div><div>Here is the latest Caml Weekly News, f=
or the week of September 01 to 08, 2009.</div><div><br></div><div>1) Dynami=
c loading of native code : what about librairies and packs ?</div><div>2) W=
indows Vista/7 specific functions</div>
<div>3) Documentation to start</div><div>4) Camomile library tutorial/examp=
les?</div><div>5) OCaml on Android</div><div>6) ocamlfind and GODI packagin=
g sprint this Wednesday, 9/9</div><div>7) Other Caml News</div><div><br>
</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D</div><div>1) Dynamic loading of native code : what about librairies and=
packs ?</div><div>Archive: <<a href=3D"http://groups.google.com/group/f=
a.caml/browse_thread/thread/cf68c5465cda89ed/9c767ce0eec07e0b">http://group=
s.google.com/group/fa.caml/browse_thread/thread/cf68c5465cda89ed/9c767ce0ee=
c07e0b</a>></div>
<div>----------------------------------------------------------------------=
--</div><div>** Continuing this old thread, Pierre-Lo=EFc Garoche asked:</d=
iv><div><br></div><div>I am still having some problems with the dynamic loa=
ding of native code. Allow</div>
<div>me to give you an extremely simple example to illustrate my problem. I=
hope</div><div>you can clarify my understanding of it.</div><div><br></div=
><div>My problem concerns the dynamic loading of native code where the dyna=
mic code</div>
<div>loaded depends on another library.</div><div><br></div><div>Basically =
there are three files:</div><div>- <a href=3D"http://main.ml">main.ml</a>, =
dynamically loading the plugin</div><div>- <a href=3D"http://plugin.ml">plu=
gin.ml</a>, the loaded code that depends on the external lib</div>
<div>- <a href=3D"http://mylib.ml">mylib.ml</a>, the external lib</div><div=
><br></div><div>///////</div><div><a href=3D"http://main.ml">main.ml</a>:</=
div><div>let _ =3D print_string "main\n"</div><div>let _ =3D Dynl=
ink.loadfile "MyPlugin.cmxs"</div>
<div><br></div><div>compiled with ocamlopt -o MyProg dynlink.cmxa <a href=
=3D"http://main.ml">main.ml</a></div><div><br></div><div>///////</div><div>=
<a href=3D"http://mylib.ml">mylib.ml</a>:</div><div>let _ =3D print_string =
"mylib\n"</div>
<div>let myval : (int , int) Hashtbl.t =3D Hashtbl.create 13</div><div><br>=
</div><div>compiled with ocamlopt -a -linkall -o mylib.cmxa <a href=3D"http=
://mylib.ml">mylib.ml</a></div><div><br></div><div>//////</div><div><a href=
=3D"http://plugin.ml">plugin.ml</a>:</div>
<div>let _ =3D print_string "plugin\n"</div><div>let cst =3D Myli=
b.myval</div><div><br></div><div>compiled and linked to build a shared libr=
ary with</div><div>ocamlopt -shared -linkall -o MyPlugin.cmxs mylib.cmxa <a=
href=3D"http://plugin.ml">plugin.ml</a></div>
<div><br></div><div>Running it gives me the following error</div><div>error=
loading shared library: blabla/MyPlugin.cmxs: undefined symbol:=A0</div><d=
iv>camlHashtbl__create_79</div><div><br></div><div><br></div><div>Remark1 :=
Of course, building a standalone plugin works:</div>
<div>ocamlopt -o PluginSelf mylib.cmxa plugin.cmx</div><div><br></div><div>=
Remark2: If I don't rely on an external module and replace myval by an =
integer</div><div>or any other self defined type value, it works as well.</=
div>
<div><br></div><div>Remark3: The linkall option does not seems to have an i=
mpact on such simple</div><div>example.</div><div><br></div><div><br></div>=
<div>Question: How should I link it to rely on external libraries and produ=
ce a</div>
<div>valid MyPlugin.cmxs ?</div><div><br></div><div>Any hint or comment wil=
l be greatly appreciated !</div><div>=A0=A0 =A0 =A0</div><div>** Christophe=
Troestler suggested:</div><div><br></div><div>You should reference =AB Has=
htbl =BB in your main program :</div>
<div><br></div><div>=A0<a href=3D"http://main.ml">main.ml</a>:</div><div>=
=A0module ForLinking_1 =3D Hashtbl</div><div>=A0let () =3D print_string &qu=
ot;main\n"</div><div>=A0let () =3D Dynlink.loadfile "MyPlugin.cmx=
s"</div><div>
<br></div><div>BTW, if you want your program to work in both bytecode and n=
ative</div><div>code, you should use:</div><div><br></div><div>=A0Dynlink.l=
oadfile (Dynlink.adapt_filename "MyPlugin.cmo")</div><div>=A0=A0 =
=A0 =A0</div>
<div>** Alain Frisch also added:</div><div><br></div><div>You need to ensur=
e that the main program is linked with all the modules that</div><div>are n=
eeded by the dynamically loaded modules (including the modules from the</di=
v>
<div>standard library). Linking the main program with -linkall should solve=
your</div><div>problem.</div><div>=A0=A0 =A0 =A0</div><div>=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div>2) Windows Vi=
sta/7 specific functions</div>
<div>Archive: <<a href=3D"http://groups.google.com/group/fa.caml/browse_=
thread/thread/0f878746f238e961#">http://groups.google.com/group/fa.caml/bro=
wse_thread/thread/0f878746f238e961#</a>></div><div>---------------------=
---------------------------------------------------</div>
<div>** Reed Wilson asked:</div><div><br></div><div>I am going to be writin=
g a native-code 64-bit program which takes advantage of</div><div>some Wind=
ows Vista-only features (transactional NTFS), and I was wondering how</div>
<div>to get it working in OCaml. I have made numerous interfaces to Windows=
XP</div><div>functions, but the problem is that the NTFS transactional fun=
ctions are only</div><div>available through MSVS 2008 and the Vista/7 SDKs,=
which OCaml seems to not</div>
<div>compile with. I tried using the new Windows 7 SDK tools to compile the=
program</div><div>to native code, but it kept giving me errors with not be=
ing able to find</div><div>bufferoverflowu.lib.</div><div><br></div><div>
Does anybody know if there is any way to compile a 64-bit OCaml with the ne=
wer</div><div>Windows SDKs, or failing that, to at least tell OCaml how to =
properly link</div><div>things with them?</div><div>=A0=A0 =A0 =A0</div><di=
v>** David Allsopp replied:</div>
<div><br></div><div>Having hacked away with the Win64 port before I thought=
I?d have a go. The</div><div>first thing I noticed is that Microsoft have =
finally released the x86 and x64</div><div>compilers in the same package (t=
his was a pain if you wanted to build MSVC and</div>
<div>MSVC64 ports as you needed two SDKs to do it...) ? though I haven?t tr=
ied</div><div>building the 32-bit MSVC port from this SDK yet.</div><div><b=
r></div><div>Here?s what I did (you?ll have to excuse my idiosyncratic way =
of copying</div>
<div>binary files into the OCaml tree ? these can be replaced with PATH cha=
nges if</div><div>you want. I copy things around so that ocamlopt always wo=
rks without needing a</div><div>special build environment or vast compiler =
suites permanently in my PATH).</div>
<div><br></div><div>The build is slightly complicated because you need to b=
uild flexdll directly.</div><div><br></div><div>Make sure you have Cygwin b=
ase with with Devel\make and Devel\subversion added</div><div><br></div>
<div>I installed the Win7 SDK to C:\Dev\WinSDK (though it still irritatingl=
y puts</div><div>the compilers in C:\Program Files (x86)\Microsoft Visual S=
tudio 9.0\VC). I</div><div>didn?t bother installing Documentation, Samples =
or the IA64 libraries.</div>
<div><br></div><div>Add the following to your LIB environment variable:</di=
v><div>=A0=A0C:\Program Files (x86)\Microsoft Visual Studio 9.0\VC\lib\amd6=
4;C:\Dev\WinSDK\lib\x64</div><div><br></div><div>Add the following to your =
INCLUDE environment variable:</div>
<div>=A0=A0C:\Program Files (x86)\Microsoft Visual Studio 9.0\vc\include;C:=
\Dev\WinSDK\Include</div><div><br></div><div>Set OCAMLLIB to C:\Dev\OCaml-M=
SVC64\lib</div><div><br></div><div>A whole load of files now get copied to =
C:\Dev\OCaml-MSVC64\bin:</div>
<div>From C:\Cygwin\bin, copy cygpath.exe and cygwin1.dll (needed by flexli=
nk)</div><div><br></div><div>Extract flexdll.h, default.manifest and flexli=
nk.exe from the flexdll 0.19 x86</div><div>binaries (latest flexlink tool ?=
doesn?t need to be x64)</div>
<div><br></div><div>From C:\Program Files (x86)\Microsoft Visual Studio\9.0=
\VC\bin\amd64, copy:</div><div>=A0=A01033\clui.dll (this needs to be in C:\=
Dev\OCaml-MSVC64\bin\1033)</div><div>=A0=A0ml64.exe, cl.exe, c1.dll, c2.dll=
, cvtres.exe, link.exe and mspdb80.dll</div>
<div><br></div><div>From C:\Dev\WinSDK\Bin\x64, copy mt.exe</div><div><br><=
/div><div>Or workaround that stupidity by having C:\Cygwin\bin and the othe=
r directories</div><div>in your PATH</div><div><br></div><div>Start Bash (p=
ossibly as Administrator depending on permissions set on C:\Dev)</div>
<div><br></div><div>I placed the ocaml 3.11.1 tarball in C:\Dev\Src-MSVC64<=
/div><div><br></div><div>Note that the sed instruction not only sets PREFIX=
but it also removes</div><div>bufferoverflowu.lib from EXTRALIBS ? apparen=
tly this is no longer needed in</div>
<div>this version of the SDK (presumably the compiler has started to includ=
e all</div><div>the required support natively or perhaps the runtime now ha=
s it).</div><div><br></div><div>$ cd /cygdrive/c/Dev/Src-MSVC64</div><div>
$ svn co svn://<a href=3D"http://frisch.fr/flexdll/trunk">frisch.fr/flexdll=
/trunk</a> flexdll-dev</div><div>$ cd flexdll-dev</div><div>$ make CHAINS=
=3Dmsvc flexdll_msvc.obj flexdll_initer_msvc.obj</div><div>$ cp *.obj /cygd=
rive/c/Dev/OCaml-MSVC64/bin</div>
<div>$ cd ..</div><div>$ tar -xzf ocaml-3.11.tar.gz</div><div>$ cd ocaml-3.=
11</div><div>$ cp config/m-nt.h config/m.h</div><div>$ cp config/s-nt.h con=
fig/s.h</div><div>$ sed -e '20s/=3D.*$/=3DC:\/Dev\/OCaml-MSVC64/' -=
e '92s/=3D.*/=3D/' config/Makefile.msvc64 > config/Makefile</div=
>
<div>$ make -f Makefile.nt world opt opt.opt install</div><div><br></div><d=
iv>And you should have a fully working MSVC64 build with the Win7 SDK Compi=
lers</div><div>(and therefore be able to link against the newer libraries).=
If you wish,</div>
<div>quite reasonably, to be a purist and have everything 64-bit you can no=
w go</div><div>back to flexdll-dev and say:</div><div><br></div><div>$ sed =
-i -e 's/"afxres.h"/<windows.h>/' version.rc</div>
<div>$ rc version.rc</div><div>$ cvtres /nologo /machine:amd64 /out:version=
_res.obj version.res</div><div>$ make <a href=3D"http://version.ml">version=
.ml</a></div><div>$ ocamlopt -o flexlink.exe -ccopt "-link version_res=
.obj" <a href=3D"http://version.ml">version.ml</a> <a href=3D"http://c=
off.ml">coff.ml</a> <a href=3D"http://cmdline.ml">cmdline.ml</a> <a href=3D=
"http://create_dll.ml">create_dll.ml</a> <a href=3D"http://reloc.ml">reloc.=
ml</a></div>
<div>$ cp flexlink.exe /cygdrive/c/Dev/OCaml-MSVC64/bin</div><div><br></div=
><div>And you?ll have flexlink.exe as a 64-bit executable as well.</div><di=
v>=A0=A0 =A0 =A0</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D</div>
<div>3) Documentation to start</div><div>Archive: <<a href=3D"http://gro=
ups.google.com/group/fa.caml/browse_thread/thread/fb701323404c7d0f#">http:/=
/groups.google.com/group/fa.caml/browse_thread/thread/fb701323404c7d0f#</a>=
></div>
<div>----------------------------------------------------------------------=
--</div><div>** vernade asked and Philip answered:</div><div><br></div><div=
>> I just downloaded ocaml (and caml-light) . I am looking for documenta=
tion on pdf=A0</div>
<div>> or any format that I can easily download , read and print. I need=
basic=A0</div><div>> information. All I found was on line and the "=
;help" didn't come with the file I=A0</div><div>> downloaded to=
install ocaml and caml-light.=A0</div>
<div><br></div><div>a first place to start is:=A0</div><div><<a href=3D"=
http://caml.inria.fr/pub/docs/manual-ocaml/">http://caml.inria.fr/pub/docs/=
manual-ocaml/</a>>=A0</div><div><<a href=3D"http://www.ocaml-tutorial=
.org/">http://www.ocaml-tutorial.org/</a>>=A0</div>
<div><br></div><div>Installation is quite easy on fedora 11:=A0</div><div>j=
ust do a 'yum install'=A0</div><div>=A0=A0 =A0 =A0</div><div>** Dav=
id Mentre also replied:</div><div><br></div><div>As you probably speak Fren=
ch, take a look at "Le Langage Caml" book:=A0</div>
<div>=A0=A0<<a href=3D"http://caml.inria.fr/pub/distrib/books/llc.pdf">h=
ttp://caml.inria.fr/pub/distrib/books/llc.pdf</a>>=A0</div><div><br></di=
v><div>It is dedicated to Caml Light but code examples can be adapted fairl=
y=A0</div>
<div>easily to OCaml.=A0</div><div><br></div><div>It is a very good book!=
=A0</div><div>=A0=A0 =A0 =A0</div><div>** Ashish Agarwal also replied:</div=
><div><br></div><div>I would recommend Jason Hickey's excellent book [1=
]. You can also look at=A0</div>
<div>the OCaml manual [2], but in my opinion this is better as reference.=
=A0</div><div>The easiest way to install OCaml depends on the OS you are us=
ing, but GODI=A0</div><div>[3] is a good choice for most systems.=A0</div><=
div>
<br></div><div>[1] <<a href=3D"http://files.metaprl.org/doc/ocaml-book.p=
df">http://files.metaprl.org/doc/ocaml-book.pdf</a>>=A0</div><div>[2] &l=
t;<a href=3D"http://caml.inria.fr/pub/docs/manual-ocaml">http://caml.inria.=
fr/pub/docs/manual-ocaml</a>>=A0</div>
<div>[3] <<a href=3D"http://godi.camlcity.org">http://godi.camlcity.org<=
/a>>=A0</div><div>=A0=A0 =A0 =A0</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><div>4) Camomile library tutor=
ial/examples?</div>
<div>Archive: <<a href=3D"http://groups.google.com/group/fa.caml/browse_=
thread/thread/70cd9f6b3cf970bb#">http://groups.google.com/group/fa.caml/bro=
wse_thread/thread/70cd9f6b3cf970bb#</a>></div><div>---------------------=
---------------------------------------------------</div>
<div>** Morozov Matvey asked and Dmitry Grebeniuk replied:</div><div><br></=
div><div>> Recently I tried to add some unicode support to my project (f=
or instance I=A0</div><div>> need to convert Cyrillic characters from up=
percase to lowercase and vice=A0</div>
<div>> versa).=A0</div><div><br></div><div>I don't know of any good =
documentation on Camomile, but here is a=A0</div><div>code that converts li=
ne from terminal to uppercase and lowercase,=A0</div><div>assuming that you=
r terminal's encoding is utf8.=A0</div>
<div><br></div><div>=3D=3D=3D=3D=3D <a href=3D"http://camotest.ml">camotest=
.ml</a> =3D=3D=3D=3D=3D=A0</div><div>open Printf=A0</div><div>module PREF =
=3D CamomileLibrary.Default.Camomile=A0</div><div>module CE =3D PREF.CharEn=
coding=A0</div><div>module CM =3D PREF.CaseMap.Make(PREF.UTF8)=A0</div>
<div><br></div><div>let _ =3D=A0</div><div>=A0=A0try=A0</div><div>=A0=A0 =
=A0while true do printf "> %!";=A0</div><div>=A0=A0 =A0 =A0let=
line =3D input_line stdin in=A0</div><div>=A0=A0 =A0 =A0let up =3D CM.uppe=
rcase line=A0</div><div>=A0=A0 =A0 =A0and low =3D CM.lowercase line=A0</div=
>
<div>=A0=A0 =A0 =A0in printf "ORIG : %s\nUPPER: %s\nLOWER: %s\n%!"=
; line up low=A0</div><div>=A0=A0 =A0done=A0</div><div>=A0=A0with=A0</div><=
div>=A0=A0| End_of_file -> ()=A0</div><div>=3D=3D=3D=3D=3D / <a href=3D"=
http://camotest.ml">camotest.ml</a> =3D=3D=3D=3D=3D=A0</div>
<div><br></div><div>$ ocamlfind ocamlc -package camomile -linkpkg <a href=
=3D"http://camotest.ml">camotest.ml</a> -o camotest=A0</div><div>$ ./camote=
st</div><div>=A0=A0 =A0 =A0</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div>
<div>5) OCaml on Android</div><div>Archive: <<a href=3D"http://groups.go=
ogle.com/group/fa.caml/browse_thread/thread/b3a3712071801aa5#">http://group=
s.google.com/group/fa.caml/browse_thread/thread/b3a3712071801aa5#</a>></=
div>
<div>----------------------------------------------------------------------=
--</div><div>** Keigo Imai announced:</div><div><br></div><div>I built an O=
'Caml cross-compiler for Google Android!</div><div><br></div><div>The p=
orting step is available at</div>
<div><<a href=3D"http://sites.google.com/site/keigoattic/ocaml-on-androi=
d">http://sites.google.com/site/keigoattic/ocaml-on-android</a>></div><d=
iv><br></div><div>The example shows that Unison is invoked from android'=
;s shell.</div>
<div>(Since Android app works on java VM, we cannot build Android applicati=
on</div><div>diretly with O'Caml yet. But anyway, it works!)</div><div>=
<br></div><div>The patch itself is not so big, and nothing special (removin=
g reference to</div>
<div>unsupported functions, modify 'ar' to '$(AR)', and so =
on), so I encourage you</div><div>to extend it for your use, such as adapti=
ng it to O'Jacare or OCaml-Java.</div><div><br></div><div>Acknowledgeme=
nts:</div>
<div>ARM-EABI with software floating-point support[1] saved much time.</div=
><div>Many thanks to Xavier!</div><div><br></div><div>=A0[1] <<a href=3D=
"http://caml.inria.fr/mantis/view.php?id=3D3746">http://caml.inria.fr/manti=
s/view.php?id=3D3746</a>></div>
<div>=A0=A0 =A0 =A0</div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D</div><div>6) ocamlfind and GODI packaging sprint this=
Wednesday, 9/9</div><div>Archive: <<a href=3D"http://groups.google.com/=
group/fa.caml/browse_thread/thread/afbdc48c94caa3d0#">http://groups.google.=
com/group/fa.caml/browse_thread/thread/afbdc48c94caa3d0#</a>></div>
<div>----------------------------------------------------------------------=
--</div><div>** Hezekiah M. Carty announced:</div><div><br></div><div>There=
will be an informal GODI packaging sprint for OCaml libraries</div><div>
this Wednesday, 9/9, with coordination taking place via IRC (#ocaml on</div=
><div>Freenode). =A0Some information (documentation, ideas for libraries to=
</div><div>package) is available here:</div><div><br></div><div><<a href=
=3D"http://ocamlsprint.couch.it/ocamlfind_and_GODI_packaging">http://ocamls=
print.couch.it/ocamlfind_and_GODI_packaging</a>></div>
<div><br></div><div>The site is a wiki, so please feel free to add links to=
packaging</div><div>documentation, ideas for libraries to package or other=
relevant</div><div>information.</div><div><br></div><div>Everyone is welco=
me! =A0The plan is to continue the packaging efforts</div>
<div>throughout the day. =A0If you are interested, please drop by for as lo=
ng</div><div>or short a time as you like.</div><div><br></div><div>Many tha=
nks to bluestorm for suggesting and initiating this effort!</div><div>=A0=
=A0 =A0 =A0</div>
<div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</d=
iv><div>7) Other Caml News</div><div>--------------------------------------=
----------------------------------</div><div>** From the ocamlcore planet b=
log:</div>
<div><br></div><div>Thanks to Alp Mestan, we now include in the Caml Weekly=
News the links to the</div><div>recent posts from the ocamlcore planet blo=
g at <<a href=3D"http://planet.ocamlcore.org/">http://planet.ocamlcore.o=
rg/</a>>.</div>
<div><br></div><div>Constructive stone: finite sets:</div><div>=A0=A0<<a=
href=3D"http://math.andrej.com/2009/09/07/constructive-stone-finite-sets/"=
>http://math.andrej.com/2009/09/07/constructive-stone-finite-sets/</a>><=
/div>
<div><br></div><div>Constructive gems and stones:</div><div>=A0=A0<<a hr=
ef=3D"http://math.andrej.com/2009/09/07/constructive-gems-and-stones/">http=
://math.andrej.com/2009/09/07/constructive-gems-and-stones/</a>></div><d=
iv>
<br></div><div>ocamlviz: First version available:</div><div>=A0=A0<<a hr=
ef=3D"http://forge.ocamlcore.org/forum/forum.php?forum_id=3D412">http://for=
ge.ocamlcore.org/forum/forum.php?forum_id=3D412</a>></div><div>=A0=A0 =
=A0 =A0</div><div>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</div><di=
v>Old cwn</div><div>-------------------------------------------------------=
-----------------</div><div><br></div><div>If you happen to miss a CWN, you=
can send me a message</div>
<div>(<a href=3D"mailto:alan.schmitt at polytechnique.org">alan.schmitt at polyte=
chnique.org</a>) and I'll mail it to you, or go take a look at</div><di=
v>the archive (<<a href=3D"http://alan.petitepomme.net/cwn/">http://alan=
.petitepomme.net/cwn/</a>>) or the RSS feed of the</div>
<div>archives (<<a href=3D"http://alan.petitepomme.net/cwn/cwn.rss">http=
://alan.petitepomme.net/cwn/cwn.rss</a>>). If you also wish</div><div>to=
receive it every week by mail, you may subscribe online at</div><div><<=
a href=3D"http://lists.idyll.org/listinfo/caml-news-weekly/">http://lists.i=
dyll.org/listinfo/caml-news-weekly/</a>> .</div>
<div><br></div><div>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D</div>
--00504502cb65ba7a6f04730c88f0--
More information about the caml-news-weekly
mailing list