dylan changed the topic of #ocaml to: OCaml 3.09.1 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
univac has joined #ocaml
Unseen has joined #ocaml
<Unseen> I am using ocaml windows IDE (OcamlWinPlus) and it doesn't print blank spaces unless there is something in front it. like print_string " |" won't print correctly. Is there anyway to get it to print blank spaces in this case?
xanavim has quit ["Who moved my Mac512?"]
Submarine has quit [Read error: 104 (Connection reset by peer)]
Submarine has joined #ocaml
pauld has quit [Read error: 110 (Connection timed out)]
mrsolo__ has joined #ocaml
mrsolo_ has quit [Connection timed out]
Submarine has quit [Read error: 110 (Connection timed out)]
<Smerdyakov> Unseen, why not just use emacs? :)
<zmdkrbou> s/emacs/vim/ :)
* dylan agrees with zmdkrbou :)
* mikeX lights up the editor war fuse
<dylan> Editor Kombat!
<mikeX> hahaha
* dylan hums the mortal kombat music
* mikeX throws an Esc^W-_ at dylan
joshcryer has joined #ocaml
_fab has quit [Remote closed the connection]
mrsolo has quit [Read error: 104 (Connection reset by peer)]
mikeX has quit ["zzzz"]
JosephRivers has joined #ocaml
<JosephRivers> Is there any way to get efficient conversion between enumeration types and integers?
<dylan> well
<Smerdyakov> I don't know how the OCaml compiler compiles 'match' expressions, but reasonable choices based on lookup tables will give you just about the most efficient conversion you can get by just writing out a 'match' expression for the conversion you want.
<dylan> The Obj module would allow you to access the internal nature of enums, which are integer.
<dylan> *integers
<JosephRivers> I found out a way to do the conversion using the Obj.magic function. Thanks for the help dylan.
<Smerdyakov> JosephRivers, that is really a rather nasty way of doing it that will disgruntle a lot of people. :)
<JosephRivers> Perhaps...but it's much more efficient than having a match function and the nastiness is just isolated to two small of_int and to_int functions.
Unseen has quit ["Trillian (http://www.ceruleanstudios.com"]
perspectivet has joined #ocaml
JosephRivers has quit [Remote closed the connection]
ramki has joined #ocaml
perspectivet has left #ocaml []
levi has joined #ocaml
ramkrsna has quit [Read error: 110 (Connection timed out)]
Skal has joined #ocaml
levi has quit []
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
kryptt has quit ["Download Gaim: http://gaim.sourceforge.net/"]
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
pauld has joined #ocaml
slipstream has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
pango is now known as pangoafk
pangoafk is now known as pango
pauld has quit [zelazny.freenode.net irc.freenode.net]
pauldi has joined #ocaml
pauld has joined #ocaml
ramki has quit [Read error: 110 (Connection timed out)]
ramki has joined #ocaml
descender has joined #ocaml
m3ga has joined #ocaml
pauld has quit [Read error: 113 (No route to host)]
pauldi is now known as pauld
gim has joined #ocaml
Smerdyakov has quit ["Leaving"]
m3ga has quit ["disappearing into the sunset"]
love-pingoo has joined #ocaml
_fab has joined #ocaml
univac has quit [Read error: 110 (Connection timed out)]
slipstream-- has joined #ocaml
<flux__> too bad smerdyakov isn't here, I'd like to ask him about his progress on the SQL-with-staticly-typed-ML-project ;)
slipstream has quit [Remote closed the connection]
<flux__> it's annoying to write dynamically constructed sql queries inside your program, when the only way to test them is to, well, by testing ;)
<ski> yes
<ski> especially if one constructs strings
<flux__> I'm actually constructing tables, I wonder if smerdyakov's considered that
<ski> (btw, have you looked at HaskellDB ?)
<flux__> nope
<ski> considered putting table creating in the interface ?
<ski> o(or what did you mean ?)
<flux__> I mean usually when one considers writing nice wrappers for sql, they are for nicely querying things
<flux__> maybe even inserting
<ski> flux__ : HaskellDB is a statically typed interface to databases (SQL) which under-the-hood constructs strings, but checks types through a phantom-type style
<flux__> but database table maintenance might be something that might be missed
<ski> yes
<flux__> (these are temporary tables, though)
<ski> (the proper solutions would of course be to replace SQL to a real relational database language, imnsho)
<ski> (s/solutions/solution/ .. and not necessarily fully solution to this one problem)
<flux__> go ahead and write such a language support for postgresql ;)
<flux__> it might not be an unsurmountable project, though
<flux__> maybe the query optimizer could still be used
<flux__> but I don't really dislike sql
<flux__> it's functional programming for the masses ;)
<flux__> (so is Excel too, though, sort of)
<ski> s/functional/relational/
<ski> but, still declarative (speaking about the querying part)
<ski> SQL and Excel is sortof-declarative
<ski> yes
<ski> (have you seen 'Tutorial D' and http://www.dbdebunk.com/index.html ?)
<flux__> maybe
<flux__> hm, no I don't think I have
<ski> (unfortunately, not all papers by Fabian Pascal there are freely available)
<flux__> right, about those strings.. "ERROR: unterminated quoted string at or near "')"
<ski> also, they don't seem to be much informed about current state of type theory
<ski> flux__ : error from where ?
<ski> flux__ : iirc there's been some discussion on LtU about this ..
<flux__> typo in one sql statement
<ski> ah
<ski> i believe such things are not possible with HaskellDB
<ski> it could possibly be worth checking out, for ideas
<ski> (though, i think currently it also relies heavily on type classes)
ramkrsna has joined #ocaml
* ski would though like deductive databases
ramki has quit [Read error: 110 (Connection timed out)]
ramki has joined #ocaml
Snark has joined #ocaml
ramkrsna has quit [Read error: 110 (Connection timed out)]
mikeX has joined #ocaml
<mikeX> is there a way to specify the precission of a float ?
<flux__> no.
<mikeX> ok, I guess I'll convert to string and back :/
mikeX has quit ["later"]
kryptt has joined #ocaml
bzzbzz has joined #ocaml
jave has quit [Read error: 104 (Connection reset by peer)]
ski has quit [Read error: 110 (Connection timed out)]
mellum has quit ["ircII EPIC4-1.1.11 -- Are we there yet?"]
Smerdyakov has joined #ocaml
bluestorm has joined #ocaml
kryptt has quit [Read error: 104 (Connection reset by peer)]
Skal has quit [Remote closed the connection]
Snark has quit ["Leaving"]
levi has joined #ocaml
mikeX has joined #ocaml
love-pingoo has quit ["Leaving"]
Skal has joined #ocaml
bzzbzz has quit [Read error: 104 (Connection reset by peer)]
Submarine has joined #ocaml
smimou has joined #ocaml
bzzbzz has joined #ocaml
xanavim has joined #ocaml
pango is now known as pangoafk
pangoafk is now known as pango
_JusSx_ has joined #ocaml
bluestorm has quit [Remote closed the connection]
Schmurtz has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
Submarine has quit ["Leaving"]
mikeX has joined #ocaml
systems has joined #ocaml
systems has left #ocaml []
vodka-goo has joined #ocaml
<pauld> Has the [< >] stream sugar been removed?
<flux__> it's been detached into a caml4p extension
<pauld> ok
<pauld> (without reading the docs) is it useful or is the Stream module enough?
<flux__> stream module is not enough for [< >] -support
<pauld> ok
descender has quit ["XML is like violence, if it doesn't solve the problem, just use more."]
vodka-goo has quit [Remote closed the connection]
Submarine has joined #ocaml
_JusSx_ has quit ["leaving"]
MisterC has joined #ocaml
Skal has quit [Read error: 110 (Connection timed out)]
Mister_C has joined #ocaml
MisterC has quit [Read error: 110 (Connection timed out)]
mikeX has quit ["leaving"]
Mister_C has quit [Remote closed the connection]