mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
mordaunt has quit [Remote closed the connection]
nuncanada has quit ["Leaving"]
ita has quit [Remote closed the connection]
CRathman_ has joined #ocaml
seafood_ has joined #ocaml
seafood_ has quit []
CRathman has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
bluestorm_ has quit ["Konversation terminated!"]
RobertFischer has quit [Read error: 110 (Connection timed out)]
mrsolo has joined #ocaml
mrsolo has quit ["This computer has gone to sleep"]
smimou has quit ["bli"]
mrsolo has joined #ocaml
RobertFischer has joined #ocaml
mrsolo has quit ["This computer has gone to sleep"]
mrsolo has joined #ocaml
darinm has joined #ocaml
darinm has quit []
mrsolo has quit ["This computer has gone to sleep"]
mrsolo has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
mrsolo has quit [Connection timed out]
joshcryer has quit [Read error: 104 (Connection reset by peer)]
mrsolo has joined #ocaml
bzzbzz_ has quit ["leaving"]
RobertFischer has quit ["I'm out: check me out at http://smokejumperit.com"]
beterraba has joined #ocaml
<beterraba> hello
<beterraba> could i ask some linux question? ):
beterraba has quit [Read error: 104 (Connection reset by peer)]
beterraba has joined #ocaml
beterraba has quit [Connection reset by peer]
CRathman_ has quit [Read error: 110 (Connection timed out)]
joshcryer has joined #ocaml
ygrek has joined #ocaml
mrsolo has quit ["Leaving"]
l_a_m has joined #ocaml
schme has quit ["ERC Version 5.2 (IRC client for Emacs)"]
filp has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
seafood_ has quit []
lde has quit [Read error: 113 (No route to host)]
asmanur has joined #ocaml
screwt889 has quit ["using sirc version 2.211"]
Abo-Marwan68 has quit ["using sirc version 2.211"]
Mr_Awesome has joined #ocaml
screwt8 has joined #ocaml
Abo-Marwan has joined #ocaml
smimou has joined #ocaml
bluestorm_ has joined #ocaml
mattam has joined #ocaml
seafood_ has joined #ocaml
l_a_m has quit ["leaving"]
bluestorm_ has quit [Remote closed the connection]
l_a_m has joined #ocaml
_andre has joined #ocaml
<flux> hmh, apparently arrays can have their uses even when writing functional code: Array.map ((+1) 1) anarrayof200000elements takes 50% of the time of ExtList.List.map ((+1) 1) alistof200000elements
<_andre> hello
<_andre> is there any way to donate to the ocaml project?
<_andre> my company does donations to open source projects we use, and i think ocaml would be a good candidate :)
<rwmjones> _andre, your company can join the OCaml Consortium
<_andre> oh, thanks. i saw a reference to it in the mailing list archives but couldn't find an url
<rwmjones> actually it's called the caml consortium
<_andre> i'll forward it to my boss :)
bluestorm_ has joined #ocaml
dbueno has joined #ocaml
seafood_ has quit []
dbueno has quit ["Leaving"]
Torment has joined #ocaml
asmanur has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
piggybox__ has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
bluestorm_ has quit [Remote closed the connection]
CRathman_ has joined #ocaml
CRathman_ is now known as CRathman
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.9/2007102514]"]
ser_ has joined #ocaml
ser__ has joined #ocaml
ser_ has quit [Read error: 113 (No route to host)]
ser__ has quit [Read error: 104 (Connection reset by peer)]
ser_ has joined #ocaml
ygrek has quit [Remote closed the connection]
piggybox__ has joined #ocaml
ser_ has quit [Read error: 104 (Connection reset by peer)]
ser_ has joined #ocaml
ser__ has joined #ocaml
ser_ has quit [Read error: 113 (No route to host)]
ser_ has joined #ocaml
ser_ has quit [Read error: 113 (No route to host)]
ser_ has joined #ocaml
ser___ has joined #ocaml
ser__ has quit [No route to host]
ser__ has joined #ocaml
ser__ has quit [Connection reset by peer]
ser__ has joined #ocaml
ser_ has quit [No route to host]
ser__ has quit [No route to host]
ser___ has quit [No route to host]
Tetsuo has joined #ocaml
asmanur has joined #ocaml
ygrek has joined #ocaml
diakopter has quit [Remote closed the connection]
diakopter has joined #ocaml
ygrek has quit [Remote closed the connection]
pango_- has joined #ocaml
pango_ has quit [Remote closed the connection]
pango_- is now known as pango_
jonafan has quit [Read error: 104 (Connection reset by peer)]
bluestorm_ has joined #ocaml
filp has quit ["Bye"]
asmanur has quit [Read error: 110 (Connection timed out)]
rwmjones has quit [Read error: 113 (No route to host)]
rwmjones has joined #ocaml
filp has joined #ocaml
asmanur has joined #ocaml
darinm has joined #ocaml
crathman has joined #ocaml
mattam has quit [Read error: 113 (No route to host)]
ygrek has joined #ocaml
rwmjones has quit [Read error: 113 (No route to host)]
ygrek has quit [Remote closed the connection]
mrsolo has joined #ocaml
kazzmir_ has joined #ocaml
<kazzmir_> hi, im just learning ocaml. for functions that deal with records are the parameters always manually typed? otherwise ocaml could get confused about the type if a variable has similar fields as another record
Abo-Marwan has quit [Read error: 104 (Connection reset by peer)]
screwt8 has quit [Read error: 104 (Connection reset by peer)]
<bluestorm_> kazzmir_:
<bluestorm_> you cannot declare two records with conflicting fields
<kazzmir_> ocaml let me. type a1 = { f : int };; type a2 = { f : int };;
<kazzmir_> does that only work because its in the top level?
<flux> it allows that (for some reason..), but you can't actually use it :)
<kazzmir_> yea it gets confused about a function that was made with a1 but now takes an a2
<flux> somewhat of a workaround: module A = struct type t = { f : int } end module B = struct type t = { f : int } end type a1 = A.t type a2 = B.t
<kazzmir_> right
<kazzmir_> its probably a silly example, i was just wondering
<hcarty> kazzmir_: It's an easy pitfall when starting out with OCaml records
mattam has joined #ocaml
<kazzmir_> well an easier workaround would be let foo (x:a1) = ...; right?
<flux> I don't think that works either
<kazzmir_> since for record types you probably aren't too interested in polymorphism
<flux> the field f is really hidden after the second definition
<kazzmir_> what do you mean
<hcarty> kazzmir_: http://pastebin.com/mcf9a7ed
<hcarty> That's uglier than it should be... but shows the problem somewhat
<kazzmir_> yea.. is there a way to tell ocaml a given parameter must be a specific type?
<kazzmir_> or do you just rely on pattern matching
<hcarty> My understanding is that is what (foo : type) does
<kazzmir_> oh, thats what i though
<kazzmir_> thought
<bluestorm_> actually (foo : type)-style type notations are not widely used
<flux> it does tell that foo is of type type, but I think that's "post mortem" - it still uses type-inference, and just reports an error if it fails
<bluestorm_> the common ocaml style is to use interface files to restrict types
<flux> someone can correct me if I'm wrong there..
<bluestorm_> flux: i think you're right
<kazzmir_> interface files ala pascal interfaces?
<bluestorm_> don't know pascal
<bluestorm_> i mean, the .mli files
<flux> I actually use the same style a lot even without interfaces: let foo : int -> int -> int = fun a b -> a + b
<bluestorm_> (or the module interface if you're working inside a module)
<flux> yes, quite similar to pascal interfaces
<kazzmir_> oh ok
<flux> except many of these interfaces can also be embedded into a single file
<flux> and obviously ocaml has a more advanced type system, so the types in the interface file can differ from the implementation..
<flux> I don't remember if that's possible in pascal, but quite possibly not
<kazzmir_> so val foo : bar forces foo to have the type bar?
<flux> yes
jonathanv has joined #ocaml
jonathanv is now known as jonafan
ygrek has joined #ocaml
_andre has quit ["later!"]
<bluestorm_> kazzmir_: more presicely, restrict foo's type to bar
<bluestorm_> the inferred type has to be a more general type
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
darinm has quit []
mrsolo has left #ocaml []
jlouis_ has joined #ocaml
david_koontz has joined #ocaml
mrsolo has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
david_koontz has quit []
screwt8 has joined #ocaml
david_koontz has joined #ocaml
Tetsuo has quit ["Leaving"]
asmanur has quit [Read error: 104 (Connection reset by peer)]
<jonafan> loop patterns: make your loops simpler and more maintainable
<jonafan> ha ha ha
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
piggybox__ has quit [Read error: 110 (Connection timed out)]
mrsolo has quit ["This computer has gone to sleep"]
ygrek has quit [Remote closed the connection]
screwt8 has quit [Read error: 104 (Connection reset by peer)]
Abo-Marwan has joined #ocaml
psnively has joined #ocaml
psnively has quit []
jlouis_ has joined #ocaml
filp has quit ["Bye"]
buluca has quit [Read error: 113 (No route to host)]
screwt8 has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
ser_ has joined #ocaml
seafood_ has joined #ocaml
ser_ has quit [Remote closed the connection]
david_koontz has quit []
seafood_ has quit []
crathman has quit [Read error: 110 (Connection timed out)]