dylan changed the topic of #ocaml to: OCaml 3.09.1 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/
joshcryer has joined #ocaml
mikeX has quit ["zzz"]
bzzbzz has joined #ocaml
m3ga has joined #ocaml
dark_light is now known as Turambar
Turambar is now known as Test____
m3ga has quit ["disappearing into the sunset"]
Smerdyakov has quit ["Leaving"]
Skal has joined #ocaml
mrsolo__ has joined #ocaml
mrsolo_ has quit [Read error: 110 (Connection timed out)]
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
eternite has joined #ocaml
smimou has joined #ocaml
love-pingoo has joined #ocaml
bluestorm has joined #ocaml
<flux__> is there a way to print object's identity or address or some such? I'm debugging stuff and it just looks like I'm handling different objects in different places..
<flux__> is (Obj.magic foo : int) the way to go?-o
<ketty> Oo.id ?
<ketty> Return an integer identifying this object, unique for the current execution of the program.
pango is now known as pangoafk
<flux__> oh, well, I'm not actually using objects in that sense, I was referring to any values
<ketty> ok... :)
<flux__> well, the Obj.magic-trick worked fine
<ketty> great :)
pangoafk is now known as pango
ulfdoz has quit ["updating kernel"]
<flux__> hmh.. found a fix, but I'm pondering if I should leave the loads of debug-aids into the code or not :-) (like passing the name of the action around the code)
<flux__> it turned out to be a problem fixed by replacing Condition.signal with Condition.broadcast
<flux__> maybe I'll just keep the diff around
<flux__> finally dead-lock free..
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
<eternite> Strange bug with emacs ... "type 'a m = 'a;;" is interpreted as "type 'a m = 'a;" (Ocaml3.09.1 Tuareg 1.45.3)
<eternite> hum no
<eternite> "type 'a m = 'a;;" is interpreted as "type 'a m = ';;" (Ocaml3.09.1 Tuareg 1.45.3)
<eternite> Without the parameter name.
* zmdkrbou whispers "emacs sucks" in the ear of eternite
<pango> works for me
<pango> ii ocaml 3.08.3-3ubuntu5 ML language implementation with a class-based object system
<pango> ii tuareg-mode 1.45.0-beta2-1 An emacs-mode for ocaml programs
<pango> ii emacs21 21.4a-1ubuntu1 The GNU Emacs editor
<eternite> I am using emacs 21.4a-3
<eternite> debian too
<pango> tuareg mode totally untweaked, I seldom program on that box
* dylan idly wnders where vodka-goo is.
<dylan> *wonders.
* zmdkrbou believes {vodka,love}-pingoo would suggest to use vim/omlet :)
* dylan has a bug report for him. :)
* zmdkrbou shakes love-pingoo : stop pretending you're working :)
<dylan> love-pingoo: http://hardison.net/omlet-bug <-- under omlet, if I try inserting a newlien after the ';' in ";mode:", vim freezes up, and requires a kill -9.
<smimou> (I think that love-pingoo is AFK now)
* dylan releases the hounds.
ulfdoz has joined #ocaml
iorek has joined #ocaml
<iorek> salut
<zmdkrbou> s/salut/hi/ :)
<iorek> boah...it can be understood...so :p
<ketty> 你好 :)
ulfdoz has quit ["rumfrickel"]
pauldia has joined #ocaml
ulfdoz has joined #ocaml
<iorek> are that squares or is unicode support missing by my side?
<ketty> maybe you are missing chinese font?
* zmdkrbou lacks chinese fontes too
<bluestorm> i personnaly see some unicode characters
<bluestorm> but no chinese
<ketty> this: níhǎo ?
<ketty> maybe my client is weird... :/
<bluestorm> hum
<iorek> I can see it too
<bluestorm> nihao looks like chinese 'hi' translitterated. but i wouldn't be abbel to do the strange 'à'
<bluestorm> s/abbel/able/
<ketty> the tones are: ni2hao3...
<ketty> so there should be a strange 'a' :)
<ketty> well.. i am using pinyin mode in uim...
<ketty> i dont know how i would input it otherwise...
<bluestorm> í i can get easily with my keyboard
<ketty> maybe there is some compose combination? hm...
<bluestorm> yes, '+i
<ketty> i mean for the strange a :)
<bluestorm> ah
iorek has quit ["Leaving"]
<ketty> <compose> <c> <a> should give "ǎ"
<ketty> but somehow compose don't work for me :(
descender has joined #ocaml
Snark has joined #ocaml
Smerdyakov has joined #ocaml
* love-pingoo is back.. but would rather stay hidden, away from that messy omlet
<zmdkrbou> :)
<dylan> well, it's not very serious.
<dylan> seems to only crop up in very strange situations.
<love-pingoo> freezing the editor sucks :(
* love-pingoo wishes bed was finished
<ketty> should the editor even allow a plugin to make it freeze?
<love-pingoo> ketty: no, you're right, so it's not even my fault :p
<love-pingoo> dylan: I actually make omlet loop fairly often, but usually C-c makes the indenter stop and I can then indent manually
<dylan> control-c doesn't seem to do that here.
Demitar has quit [Read error: 110 (Connection timed out)]
<love-pingoo> let's try that one then..
demitar_ has joined #ocaml
<dylan> need the url again?
<love-pingoo> that's ok
<love-pingoo> smimou sent it to mee
<love-pingoo> gvim allows me to kill the script with C(c
<dylan> hmm. I hate gvim. :)
* ketty uses gvim...
<dylan> aha! control-c does work. O.o
<love-pingoo> vim in console allows me to do the same actually (just checked)
<dylan> well, then. That's interesting.
<dylan> I swear I tried control-c before I control-z
<dylan> control-z'd vim and did kill %1
<love-pingoo> dylan: maybe was there a slight difference
<dylan> hmm, I am using sid rather than etch now. Perhaps vim is newer now.
<love-pingoo> anyway, one day I'll fix omlet, and camelia's indentation, and I'll finish bed, or not...
<dylan> finish bed? heh
* zmdkrbou handles some 96h days to love-pingoo
<dylan> sleep is for people that don't each coffee grounds on peanut butter. XD
<dylan> each=eat
<love-pingoo> :)
* ketty favours sugar over caffein ^^
<dylan> ketty: that's where the jam comes in.
<ketty> ahhh.. i see :)
<dylan> peanut butter + jam + coffee grounds.
<dylan> I'm not sure, but it feels like that particular cominbation costs more calories than it provides...
<ketty> hmm?
<love-pingoo> I'm currently having ice tea + cheese (munster)...
<dylan> it makes one so jittery as to make them burn more calories than they get from the peanut butter and jam.
<dylan> love-pingoo: cheese-tea. Interesting.
Skal has quit [Remote closed the connection]
<love-pingoo> I'm gonna code a bit now. I'll tell you later if the recipe is actually efficient.
<dylan> well, cheese is O(n) for consumption, but O(n^2) on the ... other direction. ;)
<smimou> (hum:)
mikeX has joined #ocaml
love-pingoo is now known as vodka-goo
pauldia has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
rantanplan has joined #ocaml
rantanplan has left #ocaml []
revision17_ has quit ["Ex-Chat"]
iorek has joined #ocaml
iorek has quit ["Leaving"]
descender has quit ["XML is like violence, if it doesn't solve the problem, just use more."]
pango is now known as pangoafk
pangoafk is now known as pango
<_JusSx_> ocaml standard library really sucks. why is it so auful? SML std library is better
<_JusSx_> however why doesn't ocaml standard library provide Option Module?
<_JusSx_> why doesn't ocaml std library provide any function for managing option types?
<ketty> like may?
<_JusSx_> ketty: what?
<ketty> ('a -> unit) -> 'a option -> unit
<ketty> its not in the standard library :)
<ketty> may f o, applies f to (unwrap o) if o is not None...
<ketty> its quite usefull...
<_JusSx_> i know it's quite useful
<_JusSx_> so i need to install ExtLib
<_JusSx_> however i don't like much ocaml std library
<ketty> yes, i agree with you that more stuff should be included in the std library..
<_JusSx_> sml library is older than ocaml std lib so why is ocaml one so awful?
<ketty> me dont know.. i didnt do it :)
<bluestorm> ketty,
<bluestorm> i guess 'a option is the std
<bluestorm> hum
<ketty> yes it is
<ketty> the may-function isnt thou..
<ketty> its not a compliceted function thou..
<_JusSx_> the type option is in core language
<_JusSx_> it doen't matter wether is complicated or not
<bluestorm> hum
<ketty> what i meant was that it is not a pain to write it your self...
<bluestorm> but execpt this one, what kind of "function for managing option types" would you want ?
<_JusSx_> lol i know
<_JusSx_> why should i use ExtLib or write functions by myself for managing that type?
<ketty> personally i use unwrap ('a option -> 'a) too... but i guess it's like begging for runtime errors :)
<bluestorm> hum
<bluestorm> but what do you call "managing that type" ?
<bluestorm> if i need to use a 'a option, i need it for a particular use, so i just code the function that do that particular thing and i don't really see the problem
<_JusSx_> the functions for managing option types are really simple
<_JusSx_> so why don't include them in std?
<bluestorm> hum
<bluestorm> i just don't see wich functions you're talking about
<_JusSx_> well i come from SML, and it provide a Option Module for managing option type. and i found it very useful
<_JusSx_> i think even haskell provide functions for managing option types
<bluestorm> hum
<bluestorm> do you have a link to the doc of the Option module ?
<_JusSx_> bluestorm: of corse
<ketty> here is the one in extlib: http://ocaml-lib.sourceforge.net/doc/Option.html
<bluestorm> thx
<bluestorm> hum
<ketty> from extlib i think may, map, default and map_default is most useful...
<bluestorm> it seems me that app/may isn't really functional
<bluestorm> map seems useful
<bluestorm> hum i'm not fond of default (don't really see the use i could have with that), but i must be wrong on that point
<bluestorm> hum
<_JusSx_> hey how do i use extlib?
<ketty> are you using godi?
<_JusSx_> no
<_JusSx_> i installed it
<ketty> extlib?
<ketty> if it is installed you just have to link with it i think..
demitar_ is now known as Demitar
Snark has quit ["Leaving"]
Test____ has quit [Read error: 110 (Connection timed out)]
jomputin_ has joined #ocaml
<jomputin_> can you help me?? i've got a binary tree, how i can calculate that how many nodes there are with a specific value?
<jomputin_> this is my tree's definition:
<jomputin_> type 'a tree =
<jomputin_> Node of 'a * 'a tree * 'a tree
<jomputin_> | Leaf;;
<zmdkrbou> it's very simple
<zmdkrbou> with a recursive function
<zmdkrbou> as you would mathematically do
<jomputin_> yes i know but recursion hasn't yet opened itself to me :P
<zmdkrbou> :)
<Schmurtz> for each each node, call your function for all son nodes, add the results and return the result
<zmdkrbou> let rec count x = function Leaf -> 0
<zmdkrbou> | Node(a,u,v) -> let w = count x u in let y = count x v
<zmdkrbou> in if a = x then w + y + 1 else w + y
<pango> zmdkrbou: he just needs the number of nodes
<pango> my bad, that looks ok
<zmdkrbou> he said "with a specific value"
<zmdkrbou> and you can do it tail-recursively if you like nice code :)
bluestorm has quit [Remote closed the connection]
<jomputin_> i'm back
<jomputin_> hmm
<jomputin_> yeah, it works
<jomputin_> thanks a lo
<jomputin_> +t
vodka-goo has quit ["zzz"]
_JusSx_ has quit ["leaving"]
eternite has quit ["((Obj.magic (()))^"a");;"]
mikeX has quit ["leaving"]
mikeX has joined #ocaml
smimou has quit ["bli"]