irc.freenode.net changed the topic of #ocaml to: OCaml 3.08 "Bastille Day" Release available ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
GreyLensman has quit [Remote closed the connection]
GreyLensman has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
GreyLensman has quit ["Leaving"]
pflanze has quit [Read error: 110 (Connection timed out)]
mrsolo_ has joined #ocaml
monochrom has quit ["Don't talk to those who talk to themselves."]
kinners has joined #ocaml
CosmicRay has joined #ocaml
Lemmih has quit [burroughs.freenode.net irc.freenode.net]
pnou has quit [burroughs.freenode.net irc.freenode.net]
gzl has quit [burroughs.freenode.net irc.freenode.net]
abarrett has quit [burroughs.freenode.net irc.freenode.net]
Hipo has quit [burroughs.freenode.net irc.freenode.net]
Riastradh has quit [burroughs.freenode.net irc.freenode.net]
Riastradh has joined #ocaml
gzl has joined #ocaml
Lemmih has joined #ocaml
abarrett has joined #ocaml
Hipo has joined #ocaml
CosmicRay has quit [Remote closed the connection]
pnou has joined #ocaml
CosmicRay has joined #ocaml
kinners has quit [Read error: 60 (Operation timed out)]
CosmicRay has quit ["Leaving"]
kinners has joined #ocaml
systems has joined #ocaml
<systems> sup
kinners has quit ["leaving"]
Xolution has quit [Read error: 110 (Connection timed out)]
mlh has quit [Client Quit]
vezenchio has joined #ocaml
gim has joined #ocaml
systems has quit ["ERC Version 4.0 $Revision: 1.600 $ (IRC client for Emacs)"]
Xolution has joined #ocaml
pflanze has joined #ocaml
mlh has joined #ocaml
kuribas has joined #ocaml
kuribas has left #ocaml []
Axioplase has joined #ocaml
<Axioplase> Chat Lu!
srv_ has joined #ocaml
srv has quit [Read error: 232 (Connection reset by peer)]
__mattam__ has joined #ocaml
mattam has quit [Connection timed out]
bk_ has joined #ocaml
mlh has quit [Client Quit]
__mattam__ is now known as mattam
mr_jim has joined #ocaml
mr_jim has left #ocaml []
<pnou> mais tu vas arrêter de me suivre toi !
<Axioplase> heing? mais quedalle!
<pnou> en tout cas si tu fais du caml, c'est que t'es devenu quelqu'un de bien :)
<Axioplase> ben ouais :) j ai eu 179/200 cette année en caml... faut dire que je m etais cassé d un exam car l exercice me faisait ch*er :)
<pnou> t'as eu le droit à l'interpréteur basic ?
<Axioplase> non
<Axioplase> j ai fait Columns :)
<Axioplase> mais y avait l interpreteur.
<pnou> ha oui c'est vrai, y avait différents projets
<Axioplase> par contre, j ai pas eu le temps d utiliser SDL. et Graphics rame à donf...
<Axioplase> T es à P6 encore? ou tu y a eu des amis?
<pnou> nan j'y suis plus, mais j'y ai fait mon DEUG
<pnou> et j'avais plein de potes qui se prennait la tête sur ces projets caml
<pnou> moi j'avais choisi spécialité maths
<Axioplase> mouais. c etait encore une couche d analyse. j aime quasi que l algebre
<pnou> non, c'était de l'algèbre linéaire
<Axioplase> ben cette année, ils on bouffé des etudes de fonctions, suites...
jrosdahl has quit [Remote closed the connection]
<pflanze> Wondering: what's the state with overloading in ocaml?
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
<pflanze> BTW can methods be written for basic types like int?
<pflanze> That would solve the overload problem in a different way..
jimbothe has joined #ocaml
jimbothe has quit [Remote closed the connection]
lmbdwar has joined #ocaml
bk_ has joined #ocaml
<Banana> glop.
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
<oracle1> anyone tried this eclipse plugin recently added to the humps?
<oracle1> does it include syntax highlighting?
<mattam> the announcment said so IIRC
<mflux> does someone have syntax hilighting working in xemacs?-)
<oracle1> blalbal
<oracle1> It provides very basic support for creating OCaml projects, editing source files, building and running.
<mattam> mat@mat ~/ » wtf blalbal
<mattam> Gee... I don't know what blalbal means...
<mattam> mflux: tuareg does syntax highlighting doesn't it ?
<oracle1> i think that wasn't a serious question
<mflux> well, I suspect that
<mflux> but apparently it doesn't work out of the box
<mflux> not like I tried that much, but knowing that it does should help ;-)
<mflux> so is tuareg something completely different than the caml-mode?
<mflux> or just another name
<mattam> it even has an xsymbol thingie so you get nice arrows and the like
<mattam> it's different
<mflux> can they be used simultaneously?
<mflux> I'd imagine
<mattam> like any two emacs major modes, no
<mflux> well, does tuareg then have the nice "show type under cursor"-feature plus the slave ocaml-support?
<mattam> for different buffers you could but there's no point
<mattam> slave: yes, type: no, afaik
<mflux> I really like that ;)
<mflux> so I guess I can live without syntax hilighting
<mattam> merging "type under cursor" with tuareg should not be too difficult...
<mflux> likely very isolated feature in caml-mode
maihem has joined #ocaml
<mattam> mflux: put this: http://mattam.org/files/tuareg-types.el in your load-path, (require 'tuareg-types) and (define-key tuareg-mode-map "\C-c\C-t" 'caml-types-show-type)
<mattam> and you're done
<mattam> (only for emacs, xemacs may have different functions)
<mattam> in case you use xemacs, just copy 'caml-xemacs.el' from your caml-mode dir at the beginning of the file
<mattam> the default highlighting color is ugly :)
<mflux> I'll do that when I'll get bored into the black-on-gray -color scheme
<mflux> ;)
<mflux> hmh, s/into/with/
maihem is now known as maihem_
maihem_ is now known as maihem
<Smerdyakov> Does anyone know of any noteworthy people on the professor job market this year, doing research in functional programming or logicky things?
lmbdwar is now known as HEH
HEH is now known as mayhem
vezenchio has quit ["I thought what I'd do was, I'd pretend to be one of those deaf-mutes"]
menace has joined #ocaml
jason__ has joined #ocaml
<jason__> For some reason when I input "let dataFile = openfile "hist41000.dat" [O_RDONLY] 640 in" Ocaml complains about "in." But I can do the same statement with ;;
<Axioplase> in what?
<jason__> in anything.
<jason__> I tried just 'print_string "Here"'
<Axioplase> weird
<jason__> Do I need to say "dataFile" somewhere, or something like that?
<Axioplase> no you shouldn t need.
<jason__> Yeah, I didn't think so.
<Axioplase> ++
Axioplase has quit [Read error: 54 (Connection reset by peer)]
<Smerdyakov> jason__, the context is crucial.
<jason__> So, how I'm using it later in the code could be the problem?
eyda|mon has joined #ocaml
<Smerdyakov> No. How identifiers are used is irrelevant to parse errors.
<Smerdyakov> I mean just what code you have before or after.
<eyda|mon> let puts a = print_string (a ^ "\n");;_
<eyda|mon> let why = puts "why print this?";;
<jason__> It's the first statement in my file.
<eyda|mon> if that's all I have in my file, why does it print the second line?
<eyda|mon> I don't even make a call to 'why'
<Smerdyakov> eyda|mon, why wouldn't it?
<eyda|mon> Smerdyakov: it's a declaration only?
<Smerdyakov> eyda|mon, you are not defining why as a function.
<Smerdyakov> eyda|mon, this isn't Haskell.
<eyda|mon> Smerdyakov: I'm not? what am I missing?
<Smerdyakov> eyda|mon, every function has exactly one argument.
<jason__> eyda|mon: It discerns that piece of code isn't being used elsewhere, and decides since it's the last statement it must be the expression you wish your program to comprise?
<Smerdyakov> eyda|mon, the 'let' form is overloaded to include a syntactic shortcut for defining functions by putting more than one identifier between 'let' and '='.
<eyda|mon> so should I use 'fun' to declare it?
<Smerdyakov> eyda|mon, by default, it just introduces a new name for the value of an expression, which is evaluated immediately.
<Smerdyakov> No, you should use 'let why () = ...'
<jason__> Smerdyakov: Is it evaulated imediately if it's being used in the "in" statement below it?
<Smerdyakov> jason__, it's always evaluated immediately when that part of the expression is reached.
<eyda|mon> let puts a = print_string (a ^ "\n");;_
<eyda|mon> let why () = puts "why print this?";;
<eyda|mon> why;;
<jason__> Hm.
<eyda|mon> ok, now why doesn't it print?
<Smerdyakov> eyda|mon, 'why ();;'
<eyda|mon> ah, of course
<Smerdyakov> And OCaml has no "statements."
<Smerdyakov> It has "expressions."
<jason__> So, what if you want it to be continually re-evaluated, if it's an imperitive statement?"
<jason__> Like "gets"?
<Smerdyakov> You make a function.
<jason__> Okay.
<jason__> So you just pass it unit.
<jason__> So, do you know specifically what I can do to allow my being able to use this expression using "in"?
<Smerdyakov> You can. You have a syntax error elsewhere in the file.
<jason__> Hm.
<Smerdyakov> OCaml's error reporting mechanisms aren't perfect, you know.
<jason__> They're very good from my experiences though.
<jason__> At least, comparitively :p
<Smerdyakov> If you put the whole source file somewhere on the web, perhaps I can help.
<jason__> Okay.
<jason__> If I change the "in" on line 3 to a ";;" the code works.
<Smerdyakov> And what's the exact error message you get?
<jason__> File "TstHaiCam.ml", line 3, characters 55-57:
<Smerdyakov> Did you try putting ';;' after 'open Unix'?
<jason__> Holy crap.
<jason__> Lol.
<jason__> Dang.
<jason__> That was it :p
<jason__> Thanks so much!
<Smerdyakov> Mixing declarations and expressions at the top-level is always a bad idea, in my opinion.
<Smerdyakov> 'open' is a declaration, and the rest of your file is a single expression, as you have it written now.
<jason__> Right.
<jason__> So, have that in a separate module then?
<Smerdyakov> The syntax isn't designed tobe intuitive for such constructs.
<jason__> I usually just do Unix.func.
<Smerdyakov> I write my programs to have only one top-level expression across the project, and it's a call to a 'main'-type function.
menace has quit []
<jason__> Hm, maybe paste an example?
<Smerdyakov> open Whatever
<Smerdyakov> let main () = doWhatever
<Smerdyakov> <in a separate file:>
<jason__> Ah.
<Smerdyakov> main ()
<Smerdyakov> I believe you never need any ';;' anywhere if you follow this pattern.
<jason__> Alright, I get it.
<jason__> Yeah, that's so cool that programs can all be single expressions.
<jason__> Physicists tend to use C++/C for their data analysis :P I trying out this "Psilab" stuff.
Xolution has quit [Read error: 54 (Connection reset by peer)]
Xolution has joined #ocaml
jrosdahl has joined #ocaml
gim has quit ["dodo"]