[cwn] Resending today's cwn
Alan Schmitt
alan.schmitt at polytechnique.org
Thu Aug 11 05:17:21 PDT 2005
Hello,
I've just realized that the CWN that I sent a couple days ago was not
properly generated (some characters were escaped when they should not
have been). Here is the fixed version, and sorry for the inconvenience.
Here is the latest Caml Weekly News, for the week of 02 to 09 August,
2005.
1) ocamlsdl natively for Windows?
2) ocamllex problem
3) right-associating infix application operator camlp4 extension
========================================================================
1) ocamlsdl natively for Windows?
Archive: <http://thread.gmane.org/gmane.comp.lang.caml.general/30045>
------------------------------------------------------------------------
** Tobias Elze said:
I succeeded in compiling them with MingW. Special thanks to Sami Mäkelä
for his invaluable help and suggestions!
In order to spare others hours of annoying work I provide a mini
Howto here:
How to compile ocamlsdl for MingW
=================================
1) Download the following archives:
a) ocamlsdl (<http://ocamlsdl.sourceforge.net/download.html>). (e.g.
ocamlsdl-0.7.2.zip)
b) SDL for MingW (precompiled:
<http://www.libsdl.org/release/SDL-devel-1.2.8-mingw32.tar.gz>)
c) SDL image (source:
<http://www.libsdl.org/projects/SDL_image/release/SDL_image-1.2.4.zip> ,
the precompiled version for VC6 works for MingW as well:
<http://www.libsdl.org/projects/SDL_image/release/SDL_image-
devel-1.2.4-VC6.zip>)
d) SDL ttf (source:
<http://www.libsdl.org/projects/SDL_ttf/release/SDL_ttf-2.0.7.zip> ,
precompiled:
<http://www.libsdl.org/projects/SDL_ttf/release/SDL_ttf-devel-2.0.7-
VC6.zip>)
e) SDL mixer
(<http://www.libsdl.org/projects/SDL_mixer/release/
SDL_mixer-1.2.6.zip> .
precompiled:
<http://www.libsdl.org/projects/SDL_mixer/release/SDL_mixer-
devel-1.2.6-VC6.zip>)
(If you need GL support, you may want to download lablgl as well. It has
to be installed before compiling ocamlsdl!)
2) Install SDL
a) SDL main package
If you downloaded the compiled version for MingW (see above) then unpack
it to your Cygwin home directory.
- go to cygwin/usr/include/Sdl, edit the file "SDL_main.h", and remove
the line "#define main ...".
- look for a file named "i386-mingw32msvc-sdl-config" in your /bin
directory and rename it to "sdl-config".
- edit this file,
- change the prefix to "/usr",
- remove all references to SDL_main and SDLmain
- add "-mno-cygwin" to "--cflags)"
- remove all "-lmingw32" flags
b) SDL image, SDL ttf, SDL mixer
- If you use the precompiled packages, just unarchive. I put the *.h
files into the directory where SDL.h was located and the libraries into
the directory where the SDL libraries were.
3) Install ocamlsdl
- just ./configure, make, make install -- that's all!
(However, there is no visible standard output of the generated binaries
-- I don't know if it's a bug or a feature;) ...)
========================================================================
2) ocamllex problem
Archive: <http://thread.gmane.org/gmane.comp.lang.caml.general/30056>
------------------------------------------------------------------------
** Jonathan Roewen asked:
Here's my .mll file, to match IRC strings. The problem is that it's
including spaces, which I assume it shouldn't.
let letter = [^' ']
rule token = parse
| ':'((letter|' ')* as s) { STRING s }
| letter+ as s { STRING s }
| [' ']+ { token lexbuf }
| eof { EOL }
(BTW, this is for matching rule 2). Maybe I'm just retarded, but this
should work, correct?
** He later said, then skaller asked:
> Yes, I'm retarded. Ignore me ;-)
No way .. you picked something I didn't know:
> > | ':'((letter|' ')* as s) { STRING s }
I check the manual .. yup, you can match
subgroups like that..
How does that work??? The algorithm for handling
this for a DFA is non-trivial. Any pointers to
the algorithm used?
Alain Frisch pointed me at some nasty papers on
this, one with a regexp -> NFA conversion and the
other with a NFA-> DFA conversion, but I couldn't
figure out how to do the direct regexp->DFA conversion,
I'd sure like to find an algorithm for that..
** Alain Frisch answered:
As you can find in the source code of ocamllex:
(* To generate directly a NFA from a regular expression.
Confer Aho-Sethi-Ullman, dragon book, chap. 3
Extension to tagged automata.
Confer
Ville Larikari
``NFAs with Tagged Transitions, their Conversion to Deterministic
Automata and Application to Regular Expressions''.
Symposium on String Processing and Information Retrieval (SPIRE
2000),
<http://kouli.iki.fi/~vlaurika/spire2000-tnfa.ps>
(See also)
<http://kouli.iki.fi/~vlaurika/regex-submatch.ps.gz>
*)
** James Woodyatt also answered:
In my OCaml NAE Core Foundation, there is a something you may find
interesting. See the [Cf_lex] module and its subordinate [Cf_dfa].
Since it isn't trying to be a multi-stage programming tool like
[ocamllex], it produces a parser monad that executes a Lazy-DFA,
instead of a fully space-time optimized DFA. At some point, I may
implement a [study] function that fully evaluates the Lazy-DFA and
optimizes it, but I don't yet see a compelling need for that.
One thing: the pattern [':'((letter|' ')* as s)] is interesting.
You're definitely right that something non-trivial is happening
inside the DFA. My [Cf_dfa] module does not keep a stack of
backtracking sequences because I did something else to resolve the
problem. Look at the ( $@ ) operators, which allow you to use a
parser monad on the recognized input sequence to obtain the result of
a lexical rule. Using this, you can implement something like the
feature you're interested in by defining a nested hierarchy of parsers.
I know. This is probably not what you're looking for. To get what
you're looking for, I'd have to extend [Cf_dfa] to handle marker
nodes in the NFA. I thought that would be more appropriate for
[ocamllex] and similar tools, so I didn't do it. Nice to see
[ocamllex] did.
** Berke Durak then said:
You may also wish to have a look at :
Thomas Reps, "Maximal-Munch" Tokenization in Linear Time, ACM Trans.
Program. Lang. Syst., vol. 20, num. 2, 1998, pp.259-273
<http://www.cs.wisc.edu/wpis/papers/toplas98b.pdf>
** Jonathan Bryant suggested and David Mentre said:
> Maybe also "Modern Compiler Implementation In Java". It's in
Java, but
> the examples are written in a functional style (as far as is
possible).
> Unfortunately, I can't remember the author's name off hand, but it is
> published by Cambridge Press...
The book exists in 3 languages, Java, ML and C :
<http://www.cs.princeton.edu/~appel/modern/>
========================================================================
3) right-associating infix application operator camlp4 extension
Archive: <http://thread.gmane.org/gmane.comp.lang.caml.general/30075>
------------------------------------------------------------------------
** Quôc Peyrot asked and Christian Lindig answered:
> Is there any existing camlp4 extensions to define a $ haskell-like
> operator?
>
> example:
> f x $ y z would be equivalent to f x (y z)
> or
> print_endline $ string_of_int x would be equivalent to print_endline
> (string_of_int x)
You don't need CamlP4 for this. You could define in OCaml:
let (@@) f x = f x
Now you can write:
print_endline @@ string_of_int x
========================================================================
Using folding to read the cwn in vim 6+
------------------------------------------------------------------------
Here is a quick trick to help you read this CWN if you are viewing it
using
vim (version 6 or greater).
:set foldmethod=expr
:set foldexpr=getline(v:lnum)=~'^=\\{78}$'?'<1':1
zM
If you know of a better way, please let me know.
========================================================================
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://sardes.inrialpes.fr/~aschmitt/cwn/>) or the RSS
feed of the
archives (<http://sardes.inrialpes.fr/~aschmitt/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/> .
========================================================================
Alan Schmitt, <http://sardes.inrialpes.fr/~aschmitt/>
--
The hacker: someone who figured this out and made something cool happen.
.O.
..O
OOO
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 186 bytes
Desc: This is a digitally signed message part
Url : http://lists.idyll.org/pipermail/caml-news-weekly/attachments/20050811/9326f0db/PGP.bin
More information about the caml-news-weekly
mailing list