mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
_JFT_ has quit [Quit: _JFT_]
_JFT_ has joined #ocaml
aberghage has joined #ocaml
aberghage has left #ocaml []
_unK has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
pad has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
_JFT_ has quit [Quit: _JFT_]
drk-sd has quit [Quit: {'EXIT', drk-sd, "bye"}]
joewilliams is now known as joewilliams_away
bzzbzz has quit [Quit: leaving]
pad has quit [Remote host closed the connection]
jakedouglas has joined #ocaml
mjonsson has joined #ocaml
enthymeme has joined #ocaml
sshc has quit [Quit: leaving]
jeddhaberstro has quit [Quit: jeddhaberstro]
mutewit has left #ocaml []
jakedouglas has quit [Quit: Leaving.]
thrasibule has joined #ocaml
sshc has joined #ocaml
fraggle_laptop has quit [Read error: Operation timed out]
jakedouglas has joined #ocaml
fraggle_laptop has joined #ocaml
thrasibule has quit [Ping timeout: 264 seconds]
ulfdoz has joined #ocaml
ygrek has joined #ocaml
ttamttam has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
ttamttam has quit [Quit: Leaving.]
Yoric has joined #ocaml
marchdown has quit [Ping timeout: 265 seconds]
marchdown has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
Submarine has joined #ocaml
hyperboreean has quit [Ping timeout: 264 seconds]
hyperboreean has joined #ocaml
oc13 has joined #ocaml
ttamttam has joined #ocaml
spearalot has joined #ocaml
Modius has quit [Ping timeout: 258 seconds]
oriba has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Yoric has quit [Quit: Yoric]
Submarine has quit [Ping timeout: 240 seconds]
segmond has quit [Ping timeout: 276 seconds]
oriba has quit [Quit: Verlassend]
Submarine has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema_ has joined #ocaml
ikaros has joined #ocaml
clog has quit [Ping timeout: 268 seconds]
clog has joined #ocaml
peddie has quit [Ping timeout: 268 seconds]
spearalot has quit [Ping timeout: 240 seconds]
peddie has joined #ocaml
spearalot has joined #ocaml
barismetin has joined #ocaml
sepp2k has joined #ocaml
avsm has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
spearalot has quit [Quit: Computer has gone to sleep]
drk-sd has joined #ocaml
marchdown has quit [Read error: Connection reset by peer]
marchdown has joined #ocaml
avsm1 has joined #ocaml
spearalot has joined #ocaml
avsm has quit [Ping timeout: 260 seconds]
oc13 has quit [Ping timeout: 260 seconds]
peddie has quit [Ping timeout: 240 seconds]
ftrvxmtrx has joined #ocaml
f[x] has quit [Ping timeout: 268 seconds]
f[x] has joined #ocaml
avsm1 has quit [Quit: Leaving.]
adrien has quit [Remote host closed the connection]
munga has joined #ocaml
avsm has joined #ocaml
adrien has joined #ocaml
adrien has quit [Client Quit]
adrien has joined #ocaml
boscop has joined #ocaml
Associat0r has quit [Quit: Associat0r]
drk-sd has quit [Quit: cours]
_andre has joined #ocaml
derdon has joined #ocaml
pencilk has joined #ocaml
_unK has joined #ocaml
caligula_ has joined #ocaml
caligula__ has quit [Ping timeout: 260 seconds]
leino has joined #ocaml
bzzbzz has joined #ocaml
animist has quit [Ping timeout: 248 seconds]
pencilk has quit [Remote host closed the connection]
spearalot has quit [Quit: Computer has gone to sleep]
spearalot has joined #ocaml
<orbitz> any of you played with ATS? The post that made it to HN look svery interesting (such easy C interop)
<hcarty> orbitz: HN?
<mfp> ATS' shootout code looked absolutely horrible
<orbitz> hacker news
<orbitz> i'm more intersted in how linear types allow for resource tracking
<mfp> http://shootout.alioth.debian.org/u64/ats.php <- how can it be twice as verbose as C :-|
jakedouglas has joined #ocaml
<hcarty> mfp: When I last looked (several months ago), the ATS shootout code looked like it contained more C than ATS
<hcarty> I haven't checked since to see if it has improved
joewilliams_away is now known as joewilliams
<hcarty> mfp: Thanks for the link - that's much easier on the eyes
<mfp> ?
<hcarty> mfp: More straight ATS code than what I had previously seen
<hcarty> The last time I looked at ATS on the shootout the code was very difficult to follow due to lots of C mixed inline
<mfp> indeed, less C than in my recollections
<mfp> but it still seems ugly to me
<mfp> lots of annotations and a *lot* of code
<hcarty> I agree. It seems remarkably verbose.
<mfp> this is funny -> if left >= n then let val () = fwrite_substring (str, pos, n, out) val _err = fputc_err ('\n', out) in // nothing
<mfp> ("// nothing")
mbishop has quit [Ping timeout: 240 seconds]
thelema_ has left #ocaml []
thelema has joined #ocaml
mbishop has joined #ocaml
<adrien> the 'let XXX = ... in end' construct feels weird ;-)
<orbitz> the linear types thign seems pretty neat thouhg
spearalot has quit [Quit: -arividerchi]
mal`` has quit [Quit: Coyote finally caught me]
avsm has quit [Quit: Leaving.]
oc13 has joined #ocaml
adrien has quit [Remote host closed the connection]
LionMadeOfLions has quit [Ping timeout: 246 seconds]
sidolin has quit [Ping timeout: 246 seconds]
Jedai has quit [Ping timeout: 246 seconds]
bzzbzz has quit [Ping timeout: 246 seconds]
derdon has quit [Ping timeout: 246 seconds]
Amorphous has quit [Ping timeout: 246 seconds]
nimred has quit [Ping timeout: 246 seconds]
derdon has joined #ocaml
joewilliams is now known as joewilliams_away
mfp has quit [Ping timeout: 246 seconds]
adrien has joined #ocaml
adrien has quit [Client Quit]
LionMadeOfLions has joined #ocaml
nimred has joined #ocaml
mfp has joined #ocaml
sdschulz` has quit [Ping timeout: 240 seconds]
adrien_ has joined #ocaml
joewilliams_away is now known as joewilliams
sidolin has joined #ocaml
mal`` has joined #ocaml
ccasin has joined #ocaml
adrien_ is now known as adrien
Amorphous has joined #ocaml
Jedai has joined #ocaml
avsm has joined #ocaml
Submarine has quit [Quit: Leaving]
marchdown has quit [Read error: Connection reset by peer]
sepp2k has quit [Remote host closed the connection]
jsk is now known as jsk-away
munga has quit [Read error: Operation timed out]
ikaros has quit [Remote host closed the connection]
drk-sd has joined #ocaml
sdschulze has joined #ocaml
ttamttam has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
sepp2k has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
myu2 has joined #ocaml
pad has joined #ocaml
oc13 has quit [Ping timeout: 260 seconds]
Submarine has joined #ocaml
fraggle_laptop has quit [Ping timeout: 260 seconds]
munga has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
Smerdyakov has joined #ocaml
avsm has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
MrEvil has joined #ocaml
barismetin has quit [Quit: Leaving...]
joewilliams_away is now known as joewilliams
joewilliams has quit [Excess Flood]
joewilliams has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
fraggle_ has joined #ocaml
Yoric has joined #ocaml
oriba has joined #ocaml
mbishop has quit [Ping timeout: 245 seconds]
joewilliams has quit [Quit: ZNC - http://znc.sourceforge.net]
joewilliams_away has joined #ocaml
joewilliams_away has left #ocaml []
ftrvxmtrx has quit [Read error: Connection reset by peer]
joewilliams has joined #ocaml
bitbckt is now known as xitbckt
joewilliams is now known as joewilliams_away
ikaros has joined #ocaml
munga has quit [Ping timeout: 246 seconds]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 265 seconds]
ftrvxmtrx has joined #ocaml
enthymeme has joined #ocaml
joewilliams_away has quit [Quit: ZNC - http://znc.sourceforge.net]
joewilliams_away has joined #ocaml
joewilliams_away has left #ocaml []
joewilliams has joined #ocaml
MrEvil has quit [Quit: This computer has gone to sleep]
ftrvxmtrx has quit [Ping timeout: 258 seconds]
mbishop has joined #ocaml
ftrvxmtrx has joined #ocaml
nimred has quit [Quit: leaving]
nimred has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
_andre has quit [Quit: Lost terminal]
itewsh has joined #ocaml
LiquidAngle has joined #ocaml
<LiquidAngle> hey hey
ftrvxmtrx has joined #ocaml
thieusoai has quit [Read error: Connection reset by peer]
fschwidom has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
<orbitz> LiquidAngle: hi
Smerdyakov has quit [Quit: Leaving]
thieusoai has joined #ocaml
itewsh has quit [Quit: There are only 10 kinds of people: those who understand binary and those who don't]
ygrek has quit [Ping timeout: 245 seconds]
marteo has joined #ocaml
<marteo> I would like tou thank mehdid for his help last time
<marteo> plplot bindings compilation worjed fine
<marteo> s/j/k
marteo has quit [Client Quit]
derdon has quit [Ping timeout: 260 seconds]
sepp2k has quit [Read error: Operation timed out]
sepp2k has joined #ocaml
ReachingFarr has joined #ocaml
<ReachingFarr> So if I want to use a module from the standard library do I have to pass the name of the cma file to ocamlc?
<hcarty> ReachingFarr: No, though there are a few modules shipped with OCaml which do require this
<hcarty> ReachingFarr: Unix and Bigarray both do, for example
<ReachingFarr> So I'm trying to use the Str module. If I don't give ocamlc "str.cma" as one of the arguments it tells me "Reference to undefined global `Str'"
<hcarty> Str is another that requires it
jdavis_ has joined #ocaml
<ReachingFarr> hcarty: How do I tell which modules need to be given to ocamlc and which don't?
<hcarty> ReachingFarr: http://caml.inria.fr/pub/docs/manual-ocaml/index.html -- Most of those listed explicitly in Part IV require this
<jdavis_> Does using the bytecode offer advantages over the native code? (Link to a document is welcome)
<hcarty> jdavis_: Greater portability of the runtime, faster compilation
<hcarty> jdavis_: I've heard that it's less work to port the bytecode compiler to a new platform.
<hcarty> Less than ocamlopt that is
<jdavis_> hcarty: ok, what about debugging, crash analysis, etc?
<hcarty> jdavis_: IIRC the OCaml debugger works with bytecode, while you would use gdb with native code
<jdavis_> Ok, I see.
<jdavis_> Thanks.
<hcarty> jdavis_: With recent OCaml versions, both provide stack traces when exceptions are raised
<hcarty> jdavis_: You're welcome
<hcarty> The biggest benefit of bytecode in my experience is that you can use it from the toplevel
<hcarty> There is an unsupported native code toplevel, but findlib does not work with it so it is significantly harder to work with
<jdavis_> Oh, that makes sense. So just doing quick exploratory testing is easier.
<hcarty> Yes
Yoric has quit [Quit: Yoric]
<hcarty> It is generally reasonable to compile libraries as both byte and native
<hcarty> And stand-alone programs as native
<jdavis_> Ok.
valross has joined #ocaml
ben_m has joined #ocaml
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
sepp2k has quit [Quit: Leaving.]
bzzbzz has joined #ocaml
svenl has quit [Ping timeout: 240 seconds]
svenl has joined #ocaml
pad has quit [Read error: Connection reset by peer]
valross has quit [Remote host closed the connection]
ReachingFarr has quit [Quit: Leaving.]
munga has joined #ocaml
xitbckt is now known as bixbickt
bixbickt is now known as bixbckt
munga has quit [Ping timeout: 260 seconds]
fschwidom has quit [Remote host closed the connection]
ftrvxmtrx has quit [Ping timeout: 268 seconds]
jeddhaberstro has joined #ocaml
sgnb` has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
ben_m has left #ocaml []
Amorphous has quit [Ping timeout: 264 seconds]
sgnb has joined #ocaml
Amorphous has joined #ocaml