gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
Sablier has quit [Read error: Connection reset by peer]
Sablier has joined #ocaml
wreckimnaked has joined #ocaml
Sablier has quit [Read error: Connection reset by peer]
agarwal1975 has quit [Quit: agarwal1975]
zorun has quit [Read error: Connection reset by peer]
zorun has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
destrius has joined #ocaml
TDJACR has quit [Read error: Operation timed out]
TDJACR has joined #ocaml
rgrinberg has quit [Quit: Leaving]
sepp2k1 has quit [Remote host closed the connection]
sepp2k has joined #ocaml
rgrinberg has joined #ocaml
wreckimnaked has quit [Ping timeout: 276 seconds]
ankit9 has joined #ocaml
raining_ has joined #ocaml
raining_ has left #ocaml []
ankit9 has quit [Read error: Connection reset by peer]
ankit9 has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 272 seconds]
zorun has quit [Ping timeout: 240 seconds]
Sgeo has joined #ocaml
<Sgeo> If I want to learn an ML, why should I learn OCaml over SML? (Note: I am asking the reverse question in the other channel)
<Sgeo> (Note that I am familiar with Haskell)
zorun has joined #ocaml
zorun has quit [Quit: leaving]
zorun has joined #ocaml
zorun has quit [Client Quit]
sivoais has quit [Quit: Lost terminal]
zorun has joined #ocaml
tac-tics[home] has quit [Read error: Connection reset by peer]
Snark has joined #ocaml
Sgeo has quit [Read error: Connection reset by peer]
Sgeo has joined #ocaml
ankit9 has quit [Quit: Leaving]
sivoais_ has joined #ocaml
sivoais_ has quit [Client Quit]
sivoais_ has joined #ocaml
sivoais_ has quit [Remote host closed the connection]
sivoais has joined #ocaml
djcoin has joined #ocaml
pango is now known as pangoafk
edwin has joined #ocaml
<flux> sgeo, I suppose it depends. I don't have much knowledge on SML (but there's a nice comparison of the two languages somewhere on the interwebs..), but it is my understanding that the language side isn't getting developed, even though the implementations are
<flux> of course, implementations can have extensions and that's fine, because OCaml only has one real implementation anway :)
<flux> sgeo, perhaps if you like your language to have objects, first class modules and in near future GADTs as well, OCaml is a nice language to go with ;)
<flux> but on the other hand they say OCaml syntax isn't nice and SML's is much better
Sablier has joined #ocaml
<flux> sgeo, maybe a pragmatic way to look at it is to take a look at how many useful packages are available for those two environments. it doesn't seem for example debian has SML stuff available, but it has tons of OCaml libraries.. (but I may not know the correct search terms)
mika1 has joined #ocaml
edwin has left #ocaml []
<flux> sgeo, there are others (well, at least one) but this is the comparison I was thinking of: http://adam.chlipala.net/mlcomp/
Cyanure has joined #ocaml
cago has joined #ocaml
Yoric has joined #ocaml
ankit9 has joined #ocaml
edwin has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
\rs has joined #ocaml
silver has joined #ocaml
<\rs> why can't i find articles on GADTs in prospective ocaml 4
<\rs> it's a promising feature
<Ptival> \rs: http://www.math.nagoya-u.ac.jp/~garrigue/papers/index.html (Adding GADTs to OCaml: a direct approach)
edwin has left #ocaml []
munga has quit [Ping timeout: 276 seconds]
<\rs> Ptival: seen. i'd like to see other general discussions on this topic as GADTs is such a breakthrough and deserves to arouse more attention
<\rs> Ptival: according to my humble Haskell experience
alpounet has quit [Ping timeout: 248 seconds]
Sablier has quit [Ping timeout: 246 seconds]
Sablier has joined #ocaml
Yoric has joined #ocaml
Kakadu has joined #ocaml
avsm has joined #ocaml
munga has joined #ocaml
Yoric has quit [Ping timeout: 244 seconds]
Submarine has quit [Ping timeout: 246 seconds]
carm has quit [Ping timeout: 240 seconds]
munga has quit [Ping timeout: 260 seconds]
avsm has quit [Quit: Leaving.]
struktured has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
Hussaind has joined #ocaml
Hussaind has left #ocaml []
struktured has joined #ocaml
contempt has quit [Ping timeout: 246 seconds]
destrius has quit [Quit: Leaving.]
struktured has quit [Read error: Operation timed out]
struktured has joined #ocaml
struktured has quit [Read error: Connection reset by peer]
struktured has joined #ocaml
struktured has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
contempt has joined #ocaml
struktured has joined #ocaml
avsm has joined #ocaml
munga has joined #ocaml
Reventlov has joined #ocaml
Reventlov is now known as Guest81222
struktured has quit [Ping timeout: 245 seconds]
Guest81222 is now known as Reventlov
Reventlov has quit [Changing host]
Reventlov has joined #ocaml
struktured has joined #ocaml
struktured has quit [Ping timeout: 252 seconds]
struktured has joined #ocaml
struktured has quit [Read error: Operation timed out]
struktured has joined #ocaml
_andre has joined #ocaml
avsm has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
ankit9 has quit [Ping timeout: 276 seconds]
thomasga has joined #ocaml
sepp2k has quit [Remote host closed the connection]
osa1 has joined #ocaml
hto has quit [Quit: Lost terminal]
ankit9 has joined #ocaml
munga has quit [Ping timeout: 244 seconds]
fayden has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
struktured has quit [Ping timeout: 246 seconds]
struktured has joined #ocaml
avsm has joined #ocaml
carm has joined #ocaml
struktured has quit [Ping timeout: 276 seconds]
ikaros has joined #ocaml
carm has quit [Remote host closed the connection]
Progster has joined #ocaml
smondet has joined #ocaml
hongboz` has joined #ocaml
ankit9 has quit [Quit: Leaving]
TechCel has joined #ocaml
Progster has quit [Ping timeout: 240 seconds]
ikaros has quit [Quit: Ex-Chat]
sgnb has quit [Ping timeout: 272 seconds]
gildor has joined #ocaml
TechCel has quit [Ping timeout: 244 seconds]
gildor has quit [Client Quit]
Progster has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
Progster has joined #ocaml
avsm has quit [Quit: Leaving.]
TechCel has joined #ocaml
Progster has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
TechCel has quit [Ping timeout: 250 seconds]
Progster has joined #ocaml
ankit9 has joined #ocaml
Progster has quit [Ping timeout: 244 seconds]
Sablier has quit [Read error: Connection reset by peer]
Progster has joined #ocaml
hongboz has quit [Remote host closed the connection]
Progster has quit [Read error: Operation timed out]
ankit9 has quit [Ping timeout: 252 seconds]
Progster has joined #ocaml
cyphase has quit [Ping timeout: 250 seconds]
TechCel has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
Progster has joined #ocaml
ankit9 has joined #ocaml
TechCel has quit [Ping timeout: 248 seconds]
cago has quit [Quit: Leaving.]
mika1 has quit [Quit: Leaving.]
TechCel has joined #ocaml
tac-tics has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
sgnb has joined #ocaml
Progster has joined #ocaml
Kakadu has quit [Quit: Page closed]
TechCel has quit [Ping timeout: 260 seconds]
cyphase has joined #ocaml
Progster has quit [Ping timeout: 265 seconds]
beckerb has quit [Ping timeout: 265 seconds]
silver has quit [Remote host closed the connection]
cyphase has left #ocaml []
cdidd has quit [Remote host closed the connection]
djcoin has quit [Quit: WeeChat 0.3.2]
Yoric has quit [Quit: Instantbird 1.2a1pre -- http://www.instantbird.com]
diego_diego has quit [Quit: diego_diego]
ankit9 has quit [Quit: Leaving]
<jonafan> can ocamlbuild produce an mli file?
<jonafan> like ocamlc -i blah.ml
pangoafk is now known as pango
Submarine has joined #ocaml
Submarine has quit [Ping timeout: 250 seconds]
<adrien> ocamlbuild -verbose your.target
<adrien> copy-paste the line which matches your files, edit to add -i
dsheets has joined #ocaml
<wmeyer``> adrien: first go to _build directory
<jonafan> there's a better way
<jonafan> ocamlbuild blah.inferred.mli
<jonafan> however it does not work for my file
<thelema> jonafan: what's the failure?
<jonafan> Missing -thread or -vmthread switch
<adrien> jonafan: which version of ocaml btw?
<jonafan> 3.12.1
<thelema> jonafan: how are your tags structured?
<jonafan> <*.ml> or "main.inferred.mli" or "main.byte": list_of_packages
<thelema> try replacing your predicates with true: list_of_packages
<jonafan> thread is there, plus it builds my project successfully
dsheets has quit [Ping timeout: 244 seconds]
<jonafan> same thing
diego_diego has joined #ocaml
Kakadu has joined #ocaml
<jonafan> well i'm going to eat some lunch
<thelema> jonafan: hmm, maybe 3.12.1 is missing the connection between the thread tag and the inferred.mli target
diego_diego has quit [Quit: diego_diego]
<thelema> you can add it manually in your myocamlbuild.ml file or follow the (hackish) advice given earlier
fschwidom has joined #ocaml
<orbitz> Has anyone implemented nie automated RPC handling in ocaml?
<adrien> orbitz: ocamlnet?
thomasga has quit [Quit: Leaving.]
<orbitz> Does ocamlnet handel all the stubbing and serailziation and crap?
<pippijn> *buzz* stubs and skeletons *buzz*
<pippijn> don't pay attention to me, I'm just a bee
<adrien> orbitz: you write a .x and it autogenerates most things
* adrien smashes the bee
<pippijn> ___
<orbitz> cool
<orbitz> I don't have any plans to do RPC, just thinking about it
<orbitz> Somethign about sendign exceptions back through RPC feels wrong to me though...but I'm not sure if that is because exceptiosn generally feel wrong ot me
<adrien> and remember kids, never ever buy any hardware which doesn't have opengl support through free graphic drivers
<pippijn> free as in beer?
<adrien> no
dsheets has joined #ocaml
<orbitz> Free as in donuts?
TDJACR has quit [Read error: Operation timed out]
mort___ has joined #ocaml
fayden has quit [Read error: Operation timed out]
<orbitz> Does anyone have philosophical thoughts on RPC layers? Good? Bad? From my light reading it seems like sychornous communication is boudn ot fail on distirbetud sytesms
<adrien> the tao
<orbitz> Yogurt
<jonafan> man, who knew rendering a web page was so complicated
<orbitz> I did
<jonafan> my services need to refer to the template, my templates need to refer to the site map, and my site map needs to refer to my services
<adrien> orbitz: nothing is perfect, nothing is bad, except cobol
<mrvn> jonafan: now you have the choice of making it all one big module, recursive modules in a single file, single/recursive submodules for the data type and seperate modules for the code, polymorphic structures or mixtures of that
<jonafan> it's a single module right now
<jonafan> still quite an ocsigen newbie so i'm just trying to get something basic to compile
<jonafan> the other thing i did with ocsigen only had a few relatively unrelated pages
pango is now known as pangoafk
Snark has quit [Quit: Quitte]
pangoafk is now known as pango
<jonafan> this would be so much easier if i did it wrong
<smondet> jonafan: First declare your services with Eliom_service.service and then you can implement them in any order you want with Eliom_registration. (or Your_app if you use the functor)
<jonafan> i think that's exactly what i need to do
<jonafan> excellent suggestion, thanks
<jonafan> i was having so much trouble because services can only be registered once, so i couldn't convert the registration to a function and couldn't use let rec service = ... and map = blah stuff
<smondet> (and there is #ocsigen channel, if you don't want to make to much noise on #ocaml)
absalon has joined #ocaml
<jonafan> joined
<_andre> does anyone know of a library of ip address-related functions
<jonafan> *that works so much better*
<_andre> simple stuff like check if an ip belongs to a network, etc
smondet` has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
tmaedaZ has quit [Ping timeout: 246 seconds]
smondet has quit [Ping timeout: 240 seconds]
dsheets has joined #ocaml
tmaedaZ has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
hongboz` has quit [Remote host closed the connection]
tmaedaZ has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
smondet` has quit [Remote host closed the connection]
smondet` has joined #ocaml
tmaedaZ has joined #ocaml
Cyanure has quit [Ping timeout: 240 seconds]
tac-tics_ has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
tac-tics has quit [Ping timeout: 245 seconds]
tac-tics_ is now known as tac-tics
_andre has quit [Quit: leaving]
mjonsson has joined #ocaml
ronnie` has joined #ocaml
smondet`` has joined #ocaml
smondet` has quit [Ping timeout: 245 seconds]
absalon has quit [Quit: Ex-Chat]
fschwidom has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
ski has quit [Ping timeout: 245 seconds]
Cyanure has joined #ocaml
ski_ has joined #ocaml
Cyanure has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
sepp2k has joined #ocaml
smondet`` has quit [Quit: Gotta go home]
tac-tics has quit [Quit: Page closed]
Qrntz has quit [Ping timeout: 265 seconds]
Qrntz has joined #ocaml
tdmackey has joined #ocaml
bobzhang has joined #ocaml
tac-tics[home] has joined #ocaml
sepp2k has quit [Remote host closed the connection]
cdidd has joined #ocaml
ronnie` has quit [Ping timeout: 265 seconds]
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
mort___ has quit [Quit: Leaving.]
gnuvince has quit [Ping timeout: 250 seconds]
lamawithonel has joined #ocaml
sepp2k has joined #ocaml