gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml Meeting 2011 http://bit.ly/eaZi1C | OCaml 3.12.0 http://bit.ly/aNZBUp
ymasory has quit [Quit: Leaving]
boscop has quit [Ping timeout: 246 seconds]
arubin has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz
cvp_ has quit [Quit: leaving]
lamawithonel__ has joined #ocaml
lamawithonel_ has quit [Ping timeout: 250 seconds]
philtor has quit [Ping timeout: 264 seconds]
boscop has joined #ocaml
bohanlon_ has joined #ocaml
bohanlon has quit [Quit: leaving]
bohanlon_ has quit [Remote host closed the connection]
bohanlon has joined #ocaml
boscop has quit [Ping timeout: 250 seconds]
ymasory has joined #ocaml
philtor has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
philtor has quit [Remote host closed the connection]
philtor has joined #ocaml
dnolen has quit [Quit: dnolen]
boscop has joined #ocaml
tnguyen has joined #ocaml
ymasory has quit [Quit: Leaving]
enthymeme has joined #ocaml
joewilliams is now known as joewilliams_away
mrvn has quit [Read error: Operation timed out]
jonafan has quit [Ping timeout: 246 seconds]
jonafan has joined #ocaml
lopex has quit []
myu2 has joined #ocaml
myu2 has quit [Client Quit]
Associat0r has quit [Quit: Associat0r]
ygrek has joined #ocaml
philtor has quit [Ping timeout: 264 seconds]
vivanov has quit [Ping timeout: 276 seconds]
vivanov has joined #ocaml
Tobu has quit [Ping timeout: 248 seconds]
yezariaely has joined #ocaml
yezariaely has quit [Quit: Leaving.]
tnguyen has quit [Remote host closed the connection]
thieusoai has quit [Remote host closed the connection]
hto has quit [Quit: Lost terminal]
hcarty has quit [Ping timeout: 258 seconds]
hcarty has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
arubin has quit [Quit: arubin]
jderque has joined #ocaml
Jake_ has quit [Quit: Leaving]
Cyanure has joined #ocaml
BiDOrD_ has quit [Quit: No Ping reply in 180 seconds.]
BiDOrD has joined #ocaml
lamawithonel__ has quit [Remote host closed the connection]
jderque has quit [Quit: leaving]
jderque has joined #ocaml
edwin has joined #ocaml
ikaros has joined #ocaml
Tobu has joined #ocaml
ygrek has quit [Remote host closed the connection]
vivanov has quit [Ping timeout: 276 seconds]
Braud has joined #ocaml
<Braud> Hey! Does someone know if there's an easy way to draw pictures (jpg, png...) with caml ?
<Braud> (and with windows, badly)
<adrien> I've used Cairo, Graphics and camlimages for that (separately)
<adrien> and "windows": the microsoft thing or the graphical windows?
<Braud> the microsoft thing ;)
<Braud> i've seen about camlimage everywhere
<Braud> but i've not found any way to install it on windows!
<adrien> ah, and I've written svg directly too
<adrien> well, what are your requirements more precisely?
<Braud> my requirements...
<Braud> to be able to draw a picture
<Braud> (whatever type jpg, png, bmp...)
<Braud> and to do it with caml, running with microsoft windows
<adrien> are bindings to a C library ok?
ygrek has joined #ocaml
<Braud> i don't know what you mean :/
<adrien> you say you want to do it with caml, but does it matter if the caml library is only an _interface_ to another library that is written in C?
<Braud> (i mean, i'm a C/C++ user so i know what a C library is xD but..)
<Braud> a no
<Braud> it's not a problem at all
<Braud> which one would be easy to install and great for me ?
<adrien> I think that camlimages is not meant to draw (you can't say you want to draw a line from (x1,y1) to (x2,y2)
<adrien> Graphics isn't very beautiful and I'm not sure you can write to disk (but there might be something from camlimages for that, not sure)
<Braud> Graphics ?
<Braud> you mean Graphics library from caml ?
<adrien> so you're left with cairo, direct writing of svg (which is quite nice if vector drawing is ok for you), and another one which I haven't mentionned: the interface of the Graphics module with a pdf output
<adrien> Braud: yes, that Graphics
<Braud> so with that i could draw my pictures on the screen ?
<ygrek> there are also libgd bindings
Braud has quit [Quit: Quitte]
avsm has joined #ocaml
TimurSoft has joined #ocaml
<TimurSoft> Hello all, could anyone tell me what does "234_56" mean as an integer in Ocaml?
<flux> exactly the same as 23456
<flux> in other words, _ are provided for convenience when separating decimals is desired for what ever reason
<TimurSoft> thank you, flux
jderque has quit [Quit: leaving]
Yoric has joined #ocaml
Associat0r has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
jderque has joined #ocaml
Associat0r has quit [Quit: Associat0r]
vivanov has joined #ocaml
vivanov has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
vivanov has joined #ocaml
vivanov has quit [Ping timeout: 276 seconds]
jderque has quit [Quit: leaving]
bohanlon has quit [Quit: So long, and thanks for all the fish!]
jderque has joined #ocaml
Braud has joined #ocaml
<Braud> Does someone know if there's a way to install Camlimage on windows ?
<Braud> it seems no..
vivanov has joined #ocaml
<adrien> do you get any error?
<adrien> also, ...
<adrien> be sure to use http://gallium.inria.fr/camlimages/
vivanov has quit [Ping timeout: 240 seconds]
<Braud> but i can't do as in the file INSTALL.txt
<Braud> this readme is only with linux command =='
DimitryKakadu has joined #ocaml
<adrien> or msys or cygwin
<adrien> you're using visual studio?
<Braud> no
<adrien> what are you using exactly?
<Braud> i've just seen in the begining of the file that i need omake
<Braud> so i'm trying to download it =='
<Braud> and i'm lost on their website
<Braud> i don't know what to download
Yoric has quit [Quit: Yoric]
Braud has quit [Quit: Quitte]
Yoric has joined #ocaml
lopex has joined #ocaml
dnolen has joined #ocaml
vivanov has joined #ocaml
vivanov has quit [Ping timeout: 260 seconds]
sepp2k has joined #ocaml
ymasory has joined #ocaml
DimitryKakadu has quit [Remote host closed the connection]
vivanov has joined #ocaml
vivanov has quit [Ping timeout: 240 seconds]
DimitryKakadu has joined #ocaml
jderque has quit [Quit: leaving]
rwmjones_afk is now known as rwmjones
Yoric has quit [Quit: Yoric]
dnolen has quit [Quit: dnolen]
dnolen has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
vivanov has joined #ocaml
dnolen has quit [Quit: dnolen]
vivanov has quit [Ping timeout: 252 seconds]
dnolen has joined #ocaml
lopex has quit [Ping timeout: 252 seconds]
lopex has joined #ocaml
lopex has quit [Client Quit]
lopex has joined #ocaml
TimurSoft has quit [Ping timeout: 246 seconds]
arubin has joined #ocaml
kaustuv has joined #ocaml
dnolen has quit [Quit: dnolen]
Yoric has joined #ocaml
vivanov has joined #ocaml
vivanov has quit [Ping timeout: 248 seconds]
boscop has quit [Ping timeout: 246 seconds]
boscop has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 258 seconds]
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
ftrvxmtrx has joined #ocaml
Yoric has quit [Quit: Yoric]
DimitryKakadu has quit [Remote host closed the connection]
mcclurmc_home has left #ocaml []
sepp2k has quit [Ping timeout: 260 seconds]
rrenaud has left #ocaml []
joelr has joined #ocaml
<joelr> good day
<joelr> gildor: silvain, would you kindly remind me, how do i state that certain files need to be processed with the camlp4o syntax? e.g. ocamlfind ocamlc -syntax camlp4o -package pgocaml,pgocaml.syntax -c db.ml
sepp2k has joined #ocaml
mihamina has joined #ocaml
ymasory has quit [Remote host closed the connection]
<mihamina> Hi all
<mihamina> I've been deconnectd for a while and wanted to re subscribe to the Caml-list.
<mihamina> But it's gone... http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list : No such list caml-list
<mihamina> replaced? moved?...
jderque has joined #ocaml
<joelr> gildor: figured it out, thanks!
<adrien> mihamina: hi, the list has been moved to sympa: https://sympa-roc.inria.fr/wws/info/caml-list
<adrien> link to subscribe is in the lower left corner, but you should still be subscribed if you previously were
<mihamina> adrien: thanks, I was member but with an old email address
<adrien> ok :-)
ymasory has joined #ocaml
ymasory has quit [Quit: Leaving]
lopexx has joined #ocaml
lopex has quit [Ping timeout: 276 seconds]
eaburns has joined #ocaml
eaburns has left #ocaml []
<philed> I've been watching the Ocsigen logo all day. Great fun.
Associat0r has joined #ocaml
<philed> Ocaml hacker as well, Associat0r?
<Associat0r> philed: kinda
<philed> Have you checked out the Ocsigen site?
<Associat0r> yeah
<Associat0r> some year ago
<philed> Just a random cute thing they've got up there today: a collaborative logo painter for the site logo, written, I think, in about 100 lines of Ocaml.
<adrien> I've seen some errors but nothing too big, I'll be interested in various figures from them
ygrek has quit [Ping timeout: 246 seconds]
<Associat0r> philed: F#'s websharper is also worth a look
<philed> I trust it relies a lot on the async workflows. I still haven't checked those out.
<Associat0r> philed: and on the runtime quots
<philed> Looks very nice. Expensive though.
Associat0r has quit [Ping timeout: 246 seconds]
vivanov has joined #ocaml
Associat0r has joined #ocaml
vivanov has quit [Ping timeout: 276 seconds]
<philed> Associat0r: Can I ask how long you've been at gamedev? Last I was there, Lisp was being talked about a fair bit, but nothing in the way of ML-derived languages. There's been a few discussions on those relatively recently it seems.
jderque has quit [Quit: leaving]
<Associat0r> philed: afternet?
<Associat0r> I'm the almost the only one into ML there
<philed> Ah. So you don't post on the forums?
<Associat0r> no
<Associat0r> Zao and some other guy are into Haskell but the rest is mostly into mainstream languages only
<Associat0r> philed: o and Rotaerk is into F#
<philed> Haskell's good enough for me.
<Associat0r> not for gamedev
<philed> What are the main issues you see?
<Associat0r> reasoning about performance
<Associat0r> modularity
<Associat0r> and purity gets in your way
<Associat0r> philed: #flipcde on EnterTheGame has some game devvers who are also into ML and Haskell
<philed> Modularity?
<philed> Cool, thanks!
<Associat0r> lack of higher order modules, single instance typeclasses and again purity, get in the way of modularity
<Associat0r> global itypeclasss instances I mean
<philed> Sorry, what would they be?
<Associat0r> philed: what do you mean?
<philed> Global typeclass instances.
mihamina has quit [Ping timeout: 276 seconds]
<Associat0r> what I mean is you can't locally import typeclass instances like in Scala for example
<philed> Higher-order modules isn't something I could comment on. I use Ocaml in day-to-day work, but the system makes Ocaml modules barely usable.
<philed> Ah, okay.
<philed> (the system I use)
<Associat0r> HoM's are functors
<philed> They're more than that, though, once you start going recursive, right?
<Associat0r> you don't have to recurse to use them
<philed> But in that case, the staple examples of a functor aren't such a big deal for Haskell. If you want to create a set implementation where the underlying type has an ordering, you just put in an Ord constraint.
rata_ has joined #ocaml
<rata_> hi
<Associat0r> philed: there is more to it
<Associat0r> philed: http://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf here is some good comparison
<philed> Associat0r: Ah great stuff! Cheers.
<Associat0r> philed: also now that Modules are first class you can do more generic stuff with them
<Associat0r> this gives you type constructor polymorphism
<philed> GADTs? Yeah, they've got those available as a GHC extension.
<philed> I'm supposed to know something about them. As I've been told, you can use them to define abstract syntax with "binders" without going through all that horrific mess of doing alpha-equivalence tests.
<Associat0r> I haven't used them in practice yet
<Associat0r> so I can't comment on that
<rata_> how can I make the return key to insert newlines in emacs caml mode?
<philed> I only use Tuareg-mode. What's it doing at the moment?
<rata_> it brings the cursor to the beginning of the file
<rata_> tuareg-mode does so too
<rata_> (for me)
<philed> Oh. That sounds like something screwy with your emacs.
<philed> What function is your return key bound to?
Yoric has joined #ocaml
ulfdoz has joined #ocaml
<rata_> philed: how can I see that?
<philed> C-h C-k RET
<rata_> aha! it's bound to newline-and-indent
<rata_> that's probably the problem
<rata_> no, wait
<philed> Yeah, but your cursor shouldn't be going all the way back to the beginning of the file.
<rata_> C-h C-k doesn't work
<philed> Sorry. I meant: C-h k <RET>
Cyanure has quit [Remote host closed the connection]
<rata_> RET is bound to cua-scroll-down
<rata_> is cua-mode the problem?
<philed> I doubt it. Would you be willing to hpaste your code?
<rata_> I solve it... just bound RET to newline-and-indent and it did work =) thank you
<rata_> btw, why do you use tuareg-mode instead of ocaml-mode?
<philed> I can't remember my original reasons to be honest!
<philed> I often code from a shell nowadays, since I use a library that requires tens of thousands of output at the REPL, and Tuareg doesn't like that much.
<philed> (an Emacs shell)
mihamina has joined #ocaml
<rata_> ok
<rata_> thanks
rata_ has quit [Quit: Leaving]
edwin has quit [Remote host closed the connection]
hnrgrgr has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
enthymeme has joined #ocaml
lamawithonel__ has joined #ocaml
hnrgrgr has quit [Quit: leaving]
hnrgrgr has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
mihamina has quit [Ping timeout: 248 seconds]
LiliEA has joined #ocaml
joelr has quit [Quit: joelr]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Yoric has quit [Quit: Yoric]
ymasory has joined #ocaml
Amorphous has quit [Ping timeout: 276 seconds]
Amorphous has joined #ocaml
dnolen has joined #ocaml
sepp2k has quit [Quit: Leaving.]
kaustuv has quit [Ping timeout: 260 seconds]