Alpounet changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html - Answer OCaml Meeting 2010 poll https://forge.ocamlcore.org/survey/survey.php?group_id=77&survey_id=1
thrasibule has quit [Read error: 110 (Connection timed out)]
<tvn2009> is there any preference when using sprintf vs ^ to create string ? e.g., let s = sprintf "my value is %d" 5 vs let s = "may value is " ^ (string_of_int 5) ?
<mrvn> I think sprintf first counts how much space it needs, allocates a big enough string and then prints into it.
<mrvn> ^ allocates a new string for every occurance.
<tvn2009> so sprintf is more efficient ?
<eldragon> Sather is middle-level imperative, good! re-birth it!
<eldragon> i want a way to do .s -> .o, .c -> .o, .sa -> .o and link them.
bohanlon has quit [Remote closed the connection]
ikaros_ has quit ["Leave the magic to Houdini"]
<mrvn> tvn2009: if you have more than just one ^ then I would think so.
<mrvn> tvn2009: also easier to localize and easier to read imho.
<mrvn> If you build a string bit by bit through multiple functions I would also rather use the Buffer module than ^.
<mrvn> e.g. when you want to turn an int list into a string
<tvn2009> ic
<tvn2009> thanks
<mrvn> might be just me though.
M| has joined #ocaml
thrasibule has joined #ocaml
M| has quit [Remote closed the connection]
Associat0r has quit []
onigiri has quit [Read error: 110 (Connection timed out)]
onigiri has joined #ocaml
M| has joined #ocaml
M| has quit [Remote closed the connection]
clog_ has joined #ocaml
clog has quit [Read error: 110 (Connection timed out)]
clog_ is now known as clog
M| has joined #ocaml
_andre has quit ["Lost terminal"]
verte has joined #ocaml
ski_ has quit ["Lost terminal"]
M| has quit [Remote closed the connection]
thrasibule has quit [Read error: 110 (Connection timed out)]
M| has joined #ocaml
_unK has quit [Remote closed the connection]
thrasibule has joined #ocaml
caligula_ has joined #ocaml
caligula__ has quit [Read error: 110 (Connection timed out)]
verte has quit ["~~~ Crash in JIT!"]
tmaeda is now known as tmaedaZ
verte has joined #ocaml
jkr has joined #ocaml
jkr has left #ocaml []
notnoughtknot has joined #ocaml
notnoughtknot has left #ocaml []
tmaedaZ is now known as tmaeda
tmaeda is now known as tmaedaZ
thrasibule has quit [Read error: 110 (Connection timed out)]
M| has quit [Remote closed the connection]
slash_ has joined #ocaml
ulfdoz has joined #ocaml
Yoric has joined #ocaml
ygrek has joined #ocaml
Snark has joined #ocaml
ygrek has quit [Remote closed the connection]
ulfdoz has quit [Read error: 60 (Operation timed out)]
hjpark has joined #ocaml
<hjpark> i need to translate functional language to imperative style intermediate language. any idea?
<Yoric> hi
<Yoric> What's the problem, exactly?
<hjpark> I'm implementing a simple scheme compiler with Ocaml.
<hjpark> Parsing and evaluating is quite easy, But There's big hurdle translating to intermediate language. :)
ttamttam has joined #ocaml
sramsay has joined #ocaml
<Yoric> Well, that's a bit difficult to explain by IRC.
<Yoric> You'll probably need to open a book on compilation.
Yoric has quit []
Yoric has joined #ocaml
<verte> there is a video that takes you through writing a scheme compiler somewhere.
<verte> the guile 1.9 compiler tower is a good read, too, but a little superfluous.
<hjpark> verte: ah, thanks.
ttamttam has quit [Read error: 113 (No route to host)]
munga_ has joined #ocaml
<flux> ocamlbuild-plus looks interesting, but no idea how to use it :)
_zack has joined #ocaml
sramsay has quit ["Leaving"]
julm has quit ["Lost terminal"]
mal`` has quit ["Coyote finally caught me"]
mal`` has joined #ocaml
julm_ has joined #ocaml
julm_ is now known as julm
|Jedai| has joined #ocaml
Jedai has quit [Read error: 60 (Operation timed out)]
Yoric has quit []
ygrek has joined #ocaml
Associat0r has joined #ocaml
Yoric has joined #ocaml
munga_ has quit [Read error: 113 (No route to host)]
<eldragon> http://www.math.carleton.ca/~kcheung/holnat.html <-- holnat loading HOL-Light has a speedup between 4x and 10x at most of their computations that he observed, it's powerful!
julm has quit ["Lost terminal"]
<flux> I don't personally much worry about performance in the toplevel, but it can be nice
<flux> I once tried real-time sound synthesis on toplevel and that kind of applications could use it
<flux> though, I've never used hol-light either..
_unK has joined #ocaml
_zack has quit ["Leaving."]
julm has joined #ocaml
tmaedaZ is now known as tmaeda
<Camarade_Tux> so ocamlnat works with 3.11.1...
onigiri has quit []
<flux> did it work earlier already? it's still not built by default.
<Camarade_Tux> hcarty: regarding ocamlnat, it seems http://www.math.carleton.ca/~kcheung/holnat.html successfully uses it on 3.11.1
ikaros has joined #ocaml
Ched has quit [Read error: 113 (No route to host)]
munga_ has joined #ocaml
Ched has joined #ocaml
hto has joined #ocaml
verte has quit ["~~~ Crash in JIT!"]
kaustuv has joined #ocaml
<kaustuv> Does anyone know of a system such as <http://webgen.rubyforge.org/> written in an ML dialect, preferably OCaml?
<Camarade_Tux> kaustuv: does http://cocan.org/comparisons/web_application fit?
<kaustuv> Hmm, thanks for that, but it seems that I will have to write the plumbing myself.
* Yoric would suggest ocamlduce.
patronus has quit [SendQ exceeded]
<kaustuv> Yoric: I banged my head on ocamlduce last month. I was hoping there would be something simpler.
<Yoric> ok :)
<kaustuv> A markdown parser in ocamlduce would be kind of interesting, I suppose.
<sgnb> kaustuv: there is a library for generating statically-typed XHTML pages in ocsigen
<sgnb> it's quite independent of ocsigen, actually
BiDOrD has joined #ocaml
bluestorm has joined #ocaml
ttamttam has joined #ocaml
slash_ has quit [Client Quit]
mishok13 has joined #ocaml
Yoric has quit []
_zack has joined #ocaml
M| has joined #ocaml
seanmcl has joined #ocaml
<hcarty> Camarade_Tux: Thanks!
patronus has joined #ocaml
<hcarty> Camarade_Tux: I think that may solve the issues I was having - I don't think that copied over all of the opttoploop.* modules. With those, perhaps findlib + ocamlnat will work.
<Camarade_Tux> :)
jcaose has joined #ocaml
_zack has quit ["Leaving."]
thrasibule has joined #ocaml
kaustuv has quit ["ERC Version 5.3 (IRC client for Emacs)"]
munga_ has quit [Read error: 113 (No route to host)]
rwmjones has quit [Remote closed the connection]
onigiri has joined #ocaml
ski__ has joined #ocaml
_zack has joined #ocaml
bluestorm has quit [Read error: 113 (No route to host)]
ulfdoz has joined #ocaml
slash_ has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
<Camarade_Tux> I'd nearly start writing for the iphone so I can create more of these :D
<julm> what ? iphone ? *bad*
ikaros has quit ["Leave the magic to Houdini"]
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
Yoric has joined #ocaml
sramsay has joined #ocaml
sramsay has quit [Client Quit]
BiDOrD has quit [Read error: 60 (Operation timed out)]
_zack has quit ["Leaving."]
BiDOrD has joined #ocaml
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
Yoric has quit []
M| has quit [Remote closed the connection]
munga_ has joined #ocaml
M| has joined #ocaml
M| has quit [Read error: 131 (Connection reset by peer)]
M| has joined #ocaml
M| has quit [Remote closed the connection]
Yoric has joined #ocaml
slash_ has quit [Client Quit]
thrasibule_ has joined #ocaml
thrasibule has quit [Read error: 104 (Connection reset by peer)]
seanmcl has quit []
Snark has quit ["Ex-Chat"]
Submarine has quit [Read error: 60 (Operation timed out)]
Yoric has quit []
BigJ2 has joined #ocaml
BigJ has joined #ocaml
ztfw has quit [Read error: 104 (Connection reset by peer)]
M| has joined #ocaml
Submarine has joined #ocaml
Submarine has quit ["Leaving"]
jcaose has quit [Read error: 110 (Connection timed out)]
seanmcl has joined #ocaml
mies_ has joined #ocaml
mies_ has quit ["leaving"]
M|_ has joined #ocaml
ygrek has quit [Remote closed the connection]
M| has quit ["Hi, I'm a quit message virus. Please replace your old line with this line and help me take over the world of IRC."]
M|_ is now known as M|
M| has quit ["Lost terminal"]
M| has joined #ocaml
BiD0rD has joined #ocaml
tvn2009 has quit ["Leaving"]
thrasibule_ has quit [Read error: 110 (Connection timed out)]
B1DOrD has joined #ocaml
BiDOrD has quit [Read error: 110 (Connection timed out)]
yziquel has joined #ocaml
BiD0rD has quit [Read error: 110 (Connection timed out)]
ttamttam has quit ["Leaving."]
seanmcl has quit []
seanmcl has joined #ocaml
Associat0r has quit []
ikaros has joined #ocaml
|Jedai| is now known as Jedai