flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
paolooo has joined #ocaml
dtg_ has quit [*.net *.split]
SuperNoeMan has quit [*.net *.split]
snarkyboojum has quit [*.net *.split]
lopexx has joined #ocaml
jsvgoncalves has joined #ocaml
jsvgoncalves has quit [Remote host closed the connection]
yroeht has joined #ocaml
rgrinberg has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
tane has quit [Quit: Verlassend]
jcao219 has quit [Ping timeout: 240 seconds]
Cypi_ has joined #ocaml
ivan\_ has joined #ocaml
Cypi has quit [Disconnected by services]
Cypi_ is now known as Cypi
ollehar has quit [Ping timeout: 256 seconds]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ewanas has joined #ocaml
gustav___ has joined #ocaml
Neros__ has quit [Remote host closed the connection]
dtg_ has joined #ocaml
SuperNoeMan has joined #ocaml
snarkyboojum has joined #ocaml
maufred_ has joined #ocaml
bitbckt_ has joined #ocaml
def-lkb_ has joined #ocaml
ivan\ has quit [Ping timeout: 245 seconds]
ivan\_ is now known as ivan\
dwcook has quit [Ping timeout: 245 seconds]
ewanas_ has quit [Ping timeout: 245 seconds]
mehdid_ has quit [Ping timeout: 245 seconds]
gustav__ has quit [Ping timeout: 245 seconds]
bitbckt has quit [Ping timeout: 245 seconds]
osnr1 has quit [Ping timeout: 245 seconds]
_habnabit has quit [Ping timeout: 245 seconds]
def-lkb has quit [Ping timeout: 245 seconds]
maufred has quit [Ping timeout: 245 seconds]
iZsh has quit [Ping timeout: 245 seconds]
Neros_ has joined #ocaml
bitbckt_ is now known as bitbckt
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
mehdid has joined #ocaml
_habnabit has joined #ocaml
dwcook has joined #ocaml
dwcook has quit [Changing host]
dwcook has joined #ocaml
_habnabit has quit [Changing host]
_habnabit has joined #ocaml
_habnabit is now known as Guest48940
Guest48940 is now known as habnabit
iZsh has joined #ocaml
Neros_ has quit [Read error: Connection reset by peer]
emmanuelux has joined #ocaml
darkf_ has joined #ocaml
troydm has joined #ocaml
darkf_ is now known as darkf
madroach has quit [Ping timeout: 248 seconds]
derek_c has joined #ocaml
madroach has joined #ocaml
emmanuelux has quit [Ping timeout: 256 seconds]
jcao219 has joined #ocaml
Neros_ has joined #ocaml
emmanuelux has joined #ocaml
gnuvince has quit [Ping timeout: 264 seconds]
wwilly has joined #ocaml
q66 has quit [Remote host closed the connection]
studybot_ is now known as talzeus
derek_c has quit [Quit: leaving]
Watcher7 is now known as Watcher7|off
Watcher7|off is now known as Watcher7
Drup has quit [Quit: Leaving.]
wwilly has quit [Quit: This computer has gone to sleep]
gnuvince has joined #ocaml
paolooo has quit [Ping timeout: 245 seconds]
emmanuelux has quit [Quit: emmanuelux]
brendan_ is now known as brendan
breakds has joined #ocaml
cdidd has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
osnr has quit [Quit: Leaving.]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
breakds has quit [Quit: Konversation terminated!]
jcao219 has quit [Ping timeout: 246 seconds]
asmanur has quit [Ping timeout: 256 seconds]
asmanur has joined #ocaml
Zeev has quit [Read error: Connection reset by peer]
Zeev has joined #ocaml
Zeev has quit [Read error: Connection reset by peer]
osnr1 has joined #ocaml
osnr has quit [Ping timeout: 256 seconds]
UncleVasya has joined #ocaml
Kakadu has joined #ocaml
habnabit is now known as _habnabit
Kakadu has quit [Ping timeout: 256 seconds]
Watcher7 is now known as Watcher7|off
ggole has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
wwilly has joined #ocaml
Snark has joined #ocaml
Yoric has joined #ocaml
olasd_ has quit [Ping timeout: 252 seconds]
<fasta> Is there programming environment for OCaml which actually works and in which I am not going to find bugs after 5 minutes of using it?
<wwilly> emacs
mort___ has joined #ocaml
Kakadu has joined #ocaml
<fasta> wwilly: with what mode? Tuareg-mode has almost no features.
<fasta> At some point people were working on typerex, but then it was abandoned again.
<fasta> All in all it seems to have been a colossal waste of time in developing something which ultimately has no many bugs that it is better to not use it at all.
<rgrinberg> how is typerex abandoned, github repo seems active
<rgrinberg> the website does seem abandoned though
<fasta> rgrinberg: do you know anyone using typerex?
<rgrinberg> no i use vim
<rgrinberg> which along with merlin gives me all i need
<fasta> I also don't get why OCaml developers stress separate compilation but then create non-parallel build systems.
<flux> ..ocamlbuild and OCamlMakefile work with -j, no?
<rgrinberg> also, separate compilation is useful for dynlink?
<fasta> flux: why would it not work by default?
<fasta> flux: oh, right, I know!
<fasta> flux: it's because people have written legacy software.
<flux> actually I suppose the support isn't optimal, I imagine it can mess up the order of error messages
<flux> someone(TM) should fix that (for make as well)
<fasta> flux: which can be corrected with one MVar.
<fasta> flux: or you know, with a library which already does that.
<flux> right, just add one line of code and it magically works
<fasta> But since 1970s concepts still don't exist in OCaml 40+ years later, I suppose that's too much too ask.
<flux> no need to collect to outputs of build output and then output those
<fasta> LWT has something called an mvar.
<flux> pray tell me how it solves the problem? where would the mvar go?
<fasta> flux: why do you think that me saying that will help the world?
<fasta> flux: it won't, because the person implementing this in the end should be able to think of this stuff independently.
icrazyhack has joined #ocaml
ggole is now known as gsg
gsg is now known as ggole
ulfdoz has joined #ocaml
Watcher7|off is now known as Watcher7
ottbot has joined #ocaml
horieyui has joined #ocaml
icrazyhack has quit [Ping timeout: 256 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
ottbot has quit [Ping timeout: 256 seconds]
ottbot has joined #ocaml
ottbot has quit [Ping timeout: 245 seconds]
dezzy has quit [Quit: Lost terminal]
Kakadu has quit [Quit: Konversation terminated!]
dezzy has joined #ocaml
Kakadu has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Anarchos has joined #ocaml
mort___ has quit [Quit: Leaving.]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ulfdoz has quit [Ping timeout: 256 seconds]
tane has joined #ocaml
kaktus__ is now known as kaktus
jokar has joined #ocaml
eikke has joined #ocaml
jokar has left #ocaml []
q66 has joined #ocaml
lopexx is now known as lopex
hcarty_ has quit [Ping timeout: 252 seconds]
hcarty has joined #ocaml
ollehar has joined #ocaml
olasd has joined #ocaml
Anarchos has joined #ocaml
eikke has quit [Ping timeout: 264 seconds]
Drup has joined #ocaml
tobiasBora has joined #ocaml
alang__ has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
eikke has joined #ocaml
olasd has quit [Quit: leaving]
olasd has joined #ocaml
zpe has quit [Remote host closed the connection]
dsheets has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
talzeus has quit [Quit: Where is the love...]
zpe has joined #ocaml
tane has quit [Ping timeout: 268 seconds]
icrazyhack has joined #ocaml
horieyui has quit [Ping timeout: 256 seconds]
<Kakadu> guys, what is right way to check that 'select * from table' have returned >0 rows in SQlite3?
tane has joined #ocaml
<flux> how about: [data_count stmt] @return the number of columns in the result of the last step of statement [stmt].
<flux> actually that documentation is probably copy-paste-mistaken
<flux> (below is the column_count function)
breakds has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
yacks has joined #ocaml
gnuvince has quit [Ping timeout: 256 seconds]
talzeus has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
jcao219 has joined #ocaml
soulofpeace has joined #ocaml
<Kakadu> I already thought that columns are .... em, 'columns' and they are vertical but select returns rows, which are horizontal entries in table
<Kakadu> but I have decided problem somehow
tobiasBora has quit [Quit: Konversation terminated!]
* Kakadu is googling about hierarchicall DBs with OCaml
<darkf> Kakadu: columns are horizontal, rows are vertical
<bernardo1pc> oh dear
<Kakadu> oh, really?
<darkf> yes
<orbitz> i don't think orientation matters that much, the only reason column vs row db matters is for leaky implementations
<bernardo1pc> well, the guy that sees columns in horizontal deserves to learn english
<bernardo1pc> (or math, or both)
<Drup> darkf: that's a really strange way to see columns ...
<orbitz> does math have an orietntion on columns? seems pretty unmathy
<darkf> Drup: what is?
<bernardo1pc> orbitz: matrices
<dsheets> transpose schmanpose
<orbitz> darkf: what do you mean when you say columns are horizontal?
<Drup> darkf: to see a column as an horizontal thing.
<bernardo1pc> and yes, math has a *lot* of orientation issues
* darkf bails on the pedants
<orbitz> aren't you the one who went pendantic on column vs rows?
<dsheets> let's talk about left and right
<bernardo1pc> no politics, please ;-)
<orbitz> let's use hands and feet
<darkf> let's all talk about stupid things - but too late on that
<orbitz> hands are horizontal, feet are vertical
<darkf> please go make a DB that displays columns vertically so I can see people get murdered
<dsheets> but after i join the circus, i undergo a transform that makes hands = vertical = left and feet = horizontal = right
<orbitz> dsheets: impressive!
<bernardo1pc> darkf: what do columns and rows mean in DBs, then ?
<bernardo1pc> and why name them that way
<Kakadu> In most SQL tutorials rows(i.e. records) are horizontal
<bernardo1pc> and then we might understand why it's that way
<darkf> hold on.
<dsheets> ahhhhh
<dsheets> columns GROW horizontally
<orbitz> oh man, definite dirty joke in that ,dsheets
<darkf> yeah i am hold on
<darkf> do you see the table
Tobu_ has quit [Ping timeout: 252 seconds]
<darkf> and how columns are layed out horizontally
<darkf> and rows are layed out vertically
<darkf> anyone who is not mentally challenged should notice that
<orbitz> i think most people would argue the column is laid aout vertically there
<orbitz> the column, named id, is read top to bottom
<darkf> then they are mentally challenged, i'm sorry
<orbitz> i.e., vertical
<Kakadu> english/russian dictionary says that columns are vertical
<darkf> well i don't have mysql on me
<darkf> actually there's another db that does it
<darkf> either way I hate you
<dsheets> Kakadu, vertical objects or vertically appended?
<Kakadu> 1st
<orbitz> i don't think you need to resort to calling people mentally challenged darkf. If you agree that one of the columns is named 'ID', then it seems that the ID column is vertical, since you would read it vertically
<dsheets> ok, but vertical objects must be appended to horizontally and vice versa
<darkf> fine, but anyone sane will write out columns horizontally and rows vertically.
<orbitz> sure, if that's what you mean
<orbitz> in the DB paper si'ev read, they usually use those orientation words in the way I have.
<dsheets> a *list* of columns is horizontal because each column itself is vertical
<dsheets> a *list* of rows is vertical because each row is horizontal
<orbitz> indeed
<dsheets> you're all correct
<orbitz> wheee!
<orbitz> unelss we're talking about a column db
<orbitz> in which case we're all liars
<dsheets> erm... transpose?
<Drup> can we have db with more than 2 axis ? :]
<dsheets> Drup, yes, add time?
<orbitz> yes, Datomic
<orbitz> or even CouchDb
Zeev has joined #ocaml
<darkf> have lists
<orbitz> although I don't know if you can query on CouchDB on the time axis
<darkf> draw data as a cube
<Zeev> hello I try to install ocaml 4.01 on windows, and I get cannot install activetcl. I downloaded manually activetcl (which is a higher version now that ocaml 4.01 is supposed to install) which directory should I install it to? c:\ocaml\activetcl? is there anything else I should do for ocaml to recognise activetcl installation?
Tobu has joined #ocaml
<bernardo1pc> darkf> and how columns are layed out horizontally -> that does not mean to me what it means to you... sad
soulofpeace has quit [Ping timeout: 256 seconds]
<darkf> when i am writing columns i write them from left to right
<bernardo1pc> yes
<bernardo1pc> but that's never what I understand from "writing columns"
<darkf> I am not sure what to call it then
<bernardo1pc> for me the important part is not writing its name
<bernardo1pc> but putting the values that this column has in each entry
<bernardo1pc> and that's done vertically
<darkf> and in matrices columns are horizontal too
<bernardo1pc> like in "write column 4 of the matrix blah":
<Kakadu> Zeev: Why installed didn't ask u about TCL?
<Kakadu> (afair it installs it automatically)
<bernardo1pc> darkf: we have an english problem, not math or OCaml, so it's best to stop
<Zeev> kakadu: it couldn't download the zip
<Kakadu> link is broken?
<darkf> bernardo1pc: yeah i have nothing further to say i am sorry for being offensive i am tired
<dsheets> you guys are agreeing violently, afaict
<Zeev> kakadu: I dunno, I went to activetcl site and they have a newer version of activetcl now, than installer required
<Drup> darkf, bernardo1pc I think it's time to end this troll, even if it's highly entertaining :)
<Zeev> maybe they deleted the previous version from their ftp
<Kakadu> Any ideas who maintain OCaml installer for windows? Jonathan Protzenko?
<Zeev> kakadu: ok I installed to c:\ocaml\tcl and now OcamlBrowser seems to work
<Zeev> .
<Kakadu> Zeev: If you write to mail-list probably maintainers of OCaml-for-windows will appear
<Kakadu> if it works than your problem seems to be solved
<Kakadu> Zeev: happy hacking on windows!
<Zeev> k, thanks
icrazyhack has quit [Quit: http://www.cnblogs.com/crazyhack]
flx_ has joined #ocaml
flux has quit [Write error: Broken pipe]
flx_ is now known as flux
jcao219 has quit [Ping timeout: 245 seconds]
BiDOrD_ has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
BiDOrD has quit [Read error: Operation timed out]
soulofpeace has joined #ocaml
alxbl_ is now known as alxbl
mort___ has joined #ocaml
soulofpeace has quit [Ping timeout: 246 seconds]
soulofpeace has joined #ocaml
j0sh has joined #ocaml
BiDOrD has joined #ocaml
soulofpe1ce has joined #ocaml
tani has joined #ocaml
gnuvince has joined #ocaml
Snark_ has joined #ocaml
ivan\_ has joined #ocaml
soulofpeace has quit [*.net *.split]
BiDOrD_ has quit [*.net *.split]
talzeus has quit [*.net *.split]
tane has quit [*.net *.split]
Snark has quit [*.net *.split]
ivan\ has quit [*.net *.split]
dwmw2_gone has quit [*.net *.split]
j0sh_ has quit [*.net *.split]
ivan\_ is now known as ivan\
j0sh_ has joined #ocaml
breakds has quit [Remote host closed the connection]
talzeus has joined #ocaml
josch_ has joined #ocaml
josch_ has quit [Changing host]
josch_ has joined #ocaml
foo303 has joined #ocaml
rixed_ has joined #ocaml
ttamttam has joined #ocaml
rixed has quit [Write error: Broken pipe]
josch has quit [Write error: Broken pipe]
Ptival has quit [Write error: Broken pipe]
foo303_ has quit [Write error: Broken pipe]
j0sh has quit [Write error: Broken pipe]
pango has quit [Excess Flood]
ggherdov has quit [Ping timeout: 670 seconds]
jonafan has quit [Remote host closed the connection]
rossberg has quit [Read error: Operation timed out]
pango has joined #ocaml
jonafan has joined #ocaml
ggherdov has joined #ocaml
Ptival has joined #ocaml
ontologiae has joined #ocaml
mort___ has quit [Quit: Leaving.]
darkf has quit [Quit: Leaving]
soulofpe1ce has quit [Ping timeout: 256 seconds]
Neros_ has quit [Ping timeout: 256 seconds]
mcclurmc has quit [Ping timeout: 245 seconds]
osnr1 has quit [Quit: Leaving.]
Neros_ has joined #ocaml
ttamttam has left #ocaml []
<vext01> how should one resolve inter-module circular dependencies?
<vext01> I have used the 'and' statement to resolve *intra*-module deps
dwmw2_gone has joined #ocaml
<Drup> vext01: you can't
<Drup> the dependency graph between modules must be a dag, no cycle.
<vext01> hrm
<vext01> hi again Drup
<Drup> hi =)
<vext01> im almost there
<vext01> *** omake: deadlock on eval.cmi
<vext01> *** omake: is a dependency of ops.cmi
<vext01> *** omake: is a dependency of eval.cmi
<vext01> so i guess i have to sacrofice organisation for compilation
<Drup> vext01: when you have two functions that need each other so much you can't split them to extract the common part, It make sens to have them together, I think.
<vext01> fair
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
<vext01> Drup: how about function ordering?
<vext01> is there a way to "prototype"
<vext01> or you just have to put them in the right order?
<adrien_> vext01: you can have recursive modules too *but* they must be in the same file
<Drup> oh, yeah, s/module/files/
jonafan has quit [Ping timeout: 246 seconds]
jonafan has joined #ocaml
<adrien_> but typically you don't depend on the whole module and you can split the files to fit the deps
ttamttam has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
talzeus has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
iZsh has quit [Quit: Coyote finally caught me]
iZsh has joined #ocaml
rgrinberg has joined #ocaml
jcao219 has joined #ocaml
schuur has joined #ocaml
mort___ has joined #ocaml
mcclurmc has joined #ocaml
jcao219 has quit [Ping timeout: 255 seconds]
ollehar has joined #ocaml
dxtry has joined #ocaml
jcao219 has joined #ocaml
schuur has quit [Ping timeout: 248 seconds]
ollehar has quit [Ping timeout: 276 seconds]
emmanuelux has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
mcclurmc has joined #ocaml
ttamttam has left #ocaml []
rgrinberg has quit [Ping timeout: 248 seconds]
ollehar has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
emmanuelux has quit [Ping timeout: 248 seconds]
emmanuelux has joined #ocaml
gnuvince has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 264 seconds]
mort___ has quit [Ping timeout: 276 seconds]
mort___ has joined #ocaml
ulfdoz has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
mort___ has quit [Ping timeout: 276 seconds]
cdidd has quit [Read error: Operation timed out]
Snark_ has quit [Quit: leaving]
dxtry has quit [Remote host closed the connection]
UncleVasya has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
zpe has quit [Remote host closed the connection]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
gnuvince has joined #ocaml
jcao219 has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
adahlberg has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
wwilly has quit [Remote host closed the connection]
Kakadu has quit []
zpe has joined #ocaml
rgrinberg has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
contempt has quit [Ping timeout: 252 seconds]
ulfdoz has quit [Ping timeout: 245 seconds]
contempt has joined #ocaml
zpe has joined #ocaml
tani has quit [Quit: Verlassend]
Zeev has quit [Read error: Connection reset by peer]
zpe has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: WeeChat 0.4.0]
Zeev has joined #ocaml
rgrinberg has joined #ocaml
jave has quit [Quit: ZNC - http://znc.in]
emmanuelux has quit [Remote host closed the connection]
zpe has joined #ocaml
eikke has quit [Read error: Operation timed out]
zpe has quit [Ping timeout: 246 seconds]
osnr has quit [Quit: Leaving.]
sivoais has quit [Quit: leaving]
sivoais has joined #ocaml
Leonidas_ is now known as Leonidas
sivoais has quit [Ping timeout: 255 seconds]
sivoais has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
jcao219 has joined #ocaml
dsheets has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
eikke has joined #ocaml