<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.
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)