dark_light changed the topic of #ocaml to: OCaml 3.09.2 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
<Payo543> people would be scared to touch me :D they would think i was a boss :)
<dark_light> Payo543, the ferrari will be broken in less than one minute due the poor streets =P and the necklaces will disappear instantly, and then the people will think you are a "gringo", not a boss =PP
<Payo543> :D
<Leonidas> FYI: Django definitly does run on Python 2.5. In fact it runs perfectly :)
<Leonidas> oh, sorry wrong tab :(
Leonidas has quit ["An ideal world is left as an exercise to the reader"]
Leonidas has joined #ocaml
<dark_light> Leonidas, ahahah
* dark_light wanted some feedback on his channel mode code, but that's ok..
<Leonidas> My client was so ashamed for me that it simply crashed..
<dark_light> Leonidas, hmm?
<Leonidas> my irc client keeps crashing from time to time, nothing important
<dark_light> ahahahahahhahahaha but it doesn't seems to have crashed
<dark_light> you was with an quit msg: * Leonidas has quit ("An ideal world is left as an exercise to the reader") , it must be a script/configuration issue
<dark_light> (ps: nice quit msg, can i copy? :P)
<Leonidas> dark_light: strange... it just disappeared as I typed Ctrl+X.
<Leonidas> dark_light: sure you can, I'm glad you like it :)
<dark_light> :)
<dark_light> Leonidas, if it's text based, ctrl+x maybe means something like quit
Leonidas has quit ["An ideal world is left as an exercise to the reader"]
Leonidas has joined #ocaml
<Leonidas> ahm... yeh, you're right
<Leonidas> but its not text based
<Leonidas> some really strange setting
<dark_light> it's what?
<Leonidas> XChat
<dark_light> here are xchat 2.6.1 at ubuntu dapper (well exactly yours) it don't quits as i press ctrl+x
<Leonidas> dark_light: I can't remember making such a stupid setting
<Leonidas> never mind.. I'm too tired to look it up.
Leonidas has left #ocaml []
Skal has quit [Remote closed the connection]
chessguy2 is now known as chessguy
delamarche has quit []
fremo has quit [Read error: 104 (Connection reset by peer)]
fremo has joined #ocaml
knobo has quit [Read error: 60 (Operation timed out)]
chessguy has quit [Connection timed out]
ziggurat has joined #ocaml
danly has quit [Read error: 54 (Connection reset by peer)]
Smerdy is now known as Smerdyakov
knobo has joined #ocaml
david_koontz has quit ["This computer has gone to sleep"]
TaXules has quit [Remote closed the connection]
TaXules has joined #ocaml
bebui_ has quit [Read error: 54 (Connection reset by peer)]
david_koontz has joined #ocaml
triple_ has quit [Read error: 54 (Connection reset by peer)]
david_koontz has quit [Client Quit]
bebui has joined #ocaml
chessguy has joined #ocaml
dibblego has quit ["Leaving"]
pango_ has joined #ocaml
danly has joined #ocaml
pango has quit [Remote closed the connection]
delamarche has joined #ocaml
dibblego has joined #ocaml
chessguy2 has joined #ocaml
knobo has quit [Read error: 113 (No route to host)]
chessguy has quit [Nick collision from services.]
chessguy2 is now known as chessguy
Mr_Awesome has quit ["...and the Awesome level drops"]
b00t has joined #ocaml
knobo has joined #ocaml
danly has quit ["Leaving"]
Skal has joined #ocaml
b00t has quit [Read error: 110 (Connection timed out)]
b00t has joined #ocaml
_velco has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- IRC with a difference"]
bebui is now known as julien
dark_light has quit ["Ex-Chat"]
dibblego has quit ["Leaving"]
Payo543 is now known as Payo343
b00t has quit [Connection timed out]
smimou has joined #ocaml
david_koontz has joined #ocaml
slipstream has joined #ocaml
KzzchX has quit [Read error: 145 (Connection timed out)]
slipstream-- has quit [Read error: 110 (Connection timed out)]
<Payo343> it never suprises me about how stupid some people are
pango_ has quit [Remote closed the connection]
pango has joined #ocaml
velco has joined #ocaml
seafood_ has quit [Remote closed the connection]
seafood_ has joined #ocaml
love-pingoo has joined #ocaml
b00t has joined #ocaml
smimou has quit ["bli"]
Purice has joined #ocaml
Purice has quit [Read error: 104 (Connection reset by peer)]
bluestorm has joined #ocaml
Snark has joined #ocaml
shans_home_ has joined #ocaml
shans_home has quit [Read error: 110 (Connection timed out)]
tailot has joined #ocaml
batdog is now known as batdog|gone
tailot has quit [Remote closed the connection]
b00t has quit [Remote closed the connection]
bluestorm is now known as bluestorm_aw
mikeX has joined #ocaml
llama32 has joined #ocaml
bluestorm_aw has quit [Remote closed the connection]
bluestorm has joined #ocaml
ziggurat has quit ["Leaving"]
datrus has quit ["leaving"]
datrus has joined #ocaml
<datrus> hello. i get an exception 'Fatal error: exception Not_found' when running my program. Is it possible to tell ocaml to print the line in the source code where the exception was raised?
<pango> compile to bytecode, export OCAMLRUNPARAM="b", execute
<datrus> ok thanks
<datrus> ok i have to compile with -g apparently
<pango> mmmh compiling with ocamlc -g may be necessary, yes
batdog|gone is now known as batdog
llama32 has quit ["Leaving"]
delamarche has quit []
ikaros_ has joined #ocaml
love-pingoo has quit ["Leaving"]
_fab has joined #ocaml
chessguy has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- State of the art IRC"]
ikaros has joined #ocaml
ikaros_ has quit ["Verlassend"]
delamarche has joined #ocaml
danly has joined #ocaml
velco has quit ["Ex-Chat"]
smimou has joined #ocaml
ikaros has quit [Read error: 60 (Operation timed out)]
pango_ has joined #ocaml
pango has quit [Remote closed the connection]
ikaros has joined #ocaml
danly_ has joined #ocaml
jordan-- has joined #ocaml
<jordan--> Can someone help me debug the following: let rec foo m n = if n = m then [] else 1::foo(m+1, n);; both branches of the if return the same type, namely int list, but I am still getting a tyep error
<smimou> I guess you should write (foo (m+1) n)
<smimou> remember that functions are curryfied
<pango_> (m+1, n) is a tuple
danly__ has joined #ocaml
<smimou> i.e. let f (x, y) = ... is not the same as let f x y = ...
<jordan--> i just want to pass arguments to foo
<jordan--> i don't want it to take a tuple
<jordan--> so i'd have to kill the parens then
<smimou> so "foo (m+1) n"
danly has quit [Nick collision from services.]
danly__ is now known as danly
delamarc1e has joined #ocaml
delamarche has quit [Read error: 104 (Connection reset by peer)]
fab_ has joined #ocaml
fab_ has quit [Client Quit]
<bluestorm> (do someone here now the Anubis langage ?)
<bluestorm> s/now/know/
<pango_> read a bit about it
<pango_> seem they didn't know about ML before starting their language ;)
<bluestorm> hum
<bluestorm> it seems me they did
<bluestorm> there are frequent reference to Caml all across the web site
<pango_> well, now they do :)
<bluestorm> ah
<bluestorm> ^^
<pango_> but I failed to see any advantage of their language vs. ML
defcon8 has joined #ocaml
defcon8 has left #ocaml []
<Norgg> Wow, could the website be any more pretentious?
jordan-- has quit ["Leaving"]
<Norgg> "The Anubis compiler, by its extreme requirements, quickly puts the programer into an advanced state of serenity."
<bluestorm> ^^
<bluestorm> just look at Apple website :D
<bluestorm> hum
<bluestorm> seems the argument is a theorical one
<bluestorm> Anubis is based upon Category Theory, while Ocaml is type-based
mikeX has quit ["reboot"]
danly_ has quit [Read error: 110 (Connection timed out)]
<abez> Norgg: link me please
<abez> where is that quote
<abez> nm
<abez> I see it
delamarc1e has quit [Read error: 113 (No route to host)]
<bluestorm> (if you're instersted, there is a quite long french text describing differences with Caml)
<Snark> I am
love-pingoo has joined #ocaml
<Snark> thanks
<bluestorm> (it seems pango actually was right : he unfortunately doesn't know ocaml well enough)
ikaros has quit ["- I want to die by going supernova and then collapsing into a black hole. I could then spend eternity sucking in everything t]
ikaros_ has joined #ocaml
pango_ has quit ["Leaving"]
pango has joined #ocaml
<pango> bluestorm: well, from reading this, it seem that they have been known about caml existence (at least) for longer than I previously believed
<bluestorm> :D
<bluestorm> longer than caml, actually ^^
bluestorm is now known as bluestorm_aw
<pango> I have a hard time believing 15 chapters of theorical considerations not followed by some concrete code example however ;)
<pango> and I find the chapter like "I never used Caml, but I know enough about it to compare" hardly professional for a researcher. Must suffer from some kind of NIH syndrome
<Snark> I'm not convinced by what I saw
<Snark> s/saw/read/
<pango> same. give me code ;)
<Snark> not exactly same
<Snark> I understand and know the theory -- I just don't see where it's so much better than ocaml
<Snark> as far as I know, ocaml does have something looking very much like categorical sum
<pango> well, given that the compiler gives warnings at compile time when filtering is not exhaustive, that looks close enough
rillig has joined #ocaml
knobo has quit [Read error: 60 (Operation timed out)]
<pango> ocamlc -warn-error P ? :P
Leonidas has joined #ocaml
<pango> so, Anubis is slightly more "pure", and Caml slightly more practical. When I read the language user manual, the only thing different I saw what that / returns an int option in Anubis ;)
kral has joined #ocaml
_velco is now known as velco
bluestorm_aw is now known as bluestorm
postalchris has joined #ocaml
kral has quit ["Live fast, die young."]
<Snark> 'night
<Snark> anubis doesn't seem interesting at all
Snark has quit ["Leaving"]
Aradorn has joined #ocaml
chessguy has joined #ocaml
jajs has joined #ocaml
knobo has joined #ocaml
pango has quit [Remote closed the connection]
love-pingoo has quit ["Connection reset by pear"]
<Payo343> BIG day for the USA
pango has joined #ocaml
<Payo343> well a kinds BIG day for the usa
Aradorn has left #ocaml []
postalchris has quit [Read error: 110 (Connection timed out)]
setog3 has quit ["bye."]
jajs has quit [Remote closed the connection]
Payo343 has quit [Remote closed the connection]
velco has quit ["I'm outta here ..."]
Payo543 has joined #ocaml
ziggurat has joined #ocaml
<Payo543> for sending stuff over sockets should i let gtk handle it or do it in ocaml ?
chessguy has quit [" Try HydraIRC -> http://www.hydrairc.com <-"]
bluestorm has quit ["Konversation terminated!"]
Mr_Awesome has joined #ocaml
<Payo543> whats a good editor for ocaml ?
<Mr_Awesome> scite
<Mr_Awesome> or emacs if youre into that
ikaros_ has quit ["Verlassend"]
<smimou> ...or vim
<Mr_Awesome> dont quote me on this, but i think emacs is more suited to functional languages out of the box
chessguy has joined #ocaml
Skal has quit [Read error: 104 (Connection reset by peer)]
Leonidas has quit ["An ideal world is left as an exercise to the reader"]
lmbdwr__ has joined #ocaml
lmbdwr_ has quit [Read error: 110 (Connection timed out)]
<Payo543> Mr_Awesome, what is scite ?
_fab has quit []
<Mr_Awesome> thats the one
mikeX has joined #ocaml
<Payo543> i ould really like to just have Ocaml support in Gedit
<Payo543> i have saw it before but i cant find anything
<mikeX> what do you need ocaml support in gedit for?
<Mr_Awesome> scite's just as good if not better
<Payo543> i see
<Payo543> i really prefer nano
<Payo543> if it had ocaml syntax highlight support
<mikeX> ...
<Mr_Awesome> write it yourself :P
<Payo543> yea its not to difficult
<mikeX> a barebone editor like nano is not suitable for writing code
<mikeX> you might as well use notepad through wine
<Mr_Awesome> it is if youre just writing a couple functions
<Payo543> well all these extra features distract me
<mikeX> I really don't see how
<Payo543> well i really wish camelia worked on my box ......
<Payo543> it wont compile for some reason and its not very clear why not
<mikeX> most powerfull editors don't get in the way
<Payo543> camelia had a nice box below it and you could click test code and it would run it on top level
<Mr_Awesome> if you liked that, youll like emacs
<Payo543> and would display the output in a box below
<Mr_Awesome> though its quite different from an editor like gedit
<Mr_Awesome> id recommend trying emacs
<Payo543> i wish i could fiund a camelia binary
<mikeX> or at least vim, you can't really be serious about nano and gedit : (
<Payo543> i see nothing wrong with either of them really
<Payo543> i just want syntx highlighting
<mikeX> oh well
<mikeX> that's probably because you've never tried something better
<Payo543> but i never wanted anymore either
<Payo543> i downloaded nedit
<Payo543> it looked ok
smimou has quit ["bli"]
<pango> that's why above URL is related :)
<Payo543> pango, very true
malc_ has joined #ocaml
<Payo543> << just wants camelia :)
<mikeX> Payo543: for your own sake, try an editor suitable for programming
<Payo543> i would like camelia :)
<Payo543> suitbale for ocaml programming
<pango> not really
<pango> at least, only up to some scale
<Payo543> i liek the top level interpter
<Payo543> and a key stroke to run the app
<Payo543> why they used QT i will never know
<Payo543> if someone knows where i can get a binary that would be good too :)
<pango> in the hump, there's also a mode for NEdit... http://caml.inria.fr/cgi-bin/hump.en.cgi?sort=0&browse=57
<Payo543> pango, yea i saw that
<Payo543> thats why i downloaded nedit
<Payo543> << misses camelia
<pango> jEdit http://community.jedit.org/?q=taxonomy/page/or/21&from=20 (java... mmmh...)
<pango> (Crimson (Windows), Subethaedit (Mac)...)
<Payo543> hmmmmmmmmmmmmmmmmmmm
<Payo543> i dont get it
<Payo543> i cant freaking compile camelia i have never saw this before