Yurik changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml| Early releases of OCamlBDB and OCamlGettext are available
Smerdyakov has quit ["quits off in a huff"]
Smerdyakov has joined #ocaml
hitachi has quit [Read error: 60 (Operation timed out)]
Wazzamar has joined #ocaml
Wazzamar has quit [Client Quit]
docelic is now known as docelic|sleepo
Vincenz has quit []
polin8 has quit [Read error: 104 (Connection reset by peer)]
polin8 has joined #ocaml
mellum has quit [Read error: 60 (Operation timed out)]
mellum has joined #ocaml
Riastradh has joined #ocaml
Riastrad1 has joined #ocaml
<Smerdyakov> Uh oh. Clone attack!!
hitachi has joined #ocaml
Riastradh has quit [Killed (NickServ (Ghost: Riastrad1!~riastradh@pool-151-203-234-176.bos.east.verizon.net))]
Riastrad1 is now known as Riastradh
lament has joined #ocaml
polin8 has quit [Read error: 104 (Connection reset by peer)]
polin8 has joined #ocaml
<seth_> When I create an empty queue, it has type 'a Queue.t. When I try to provide the queue as an argument, I get a type error because the type of the argument is inferred to be string Queue.t
<seth_> And, in fact, if I try to create a queue and add a string to it, I get the same error. So how am I supposed to be able to use a queue?
lament has quit ["Support Darwin Awards! Join the military!"]
<seth_> There must be some syntax that I'm unaware of here...
<seth_> Any help will be appreciated. :)
lament has joined #ocaml
async has joined #ocaml
Yurik has joined #ocaml
xtrm has joined #ocaml
lament has quit ["Support Darwin Awards! Join the military!"]
hitachi has quit [Remote closed the connection]
docelic|sleepo is now known as docelic|away
xtrm has quit [sterling.freenode.net irc.freenode.net]
async has quit [sterling.freenode.net irc.freenode.net]
Riastradh has quit [sterling.freenode.net irc.freenode.net]
seth_ has quit [sterling.freenode.net irc.freenode.net]
emu has quit [sterling.freenode.net irc.freenode.net]
pattern_ has quit [sterling.freenode.net irc.freenode.net]
xtrm has joined #ocaml
async has joined #ocaml
Riastradh has joined #ocaml
seth_ has joined #ocaml
emu has joined #ocaml
pattern_ has joined #ocaml
TachYon26 has joined #ocaml
docelic|away is now known as docelic
moi has joined #ocaml
TachYon26 has quit [sterling.freenode.net irc.freenode.net]
docelic is now known as docelic|away
moi has quit [Remote closed the connection]
docelic|away has quit [Read error: 54 (Connection reset by peer)]
docelic has joined #ocaml
moi has joined #ocaml
mattam has joined #ocaml
vegai has joined #ocaml
vegai_ has quit [Read error: 104 (Connection reset by peer)]
karryall has joined #ocaml
mattam_ has quit [Read error: 110 (Connection timed out)]
vegai has quit [Read error: 104 (Connection reset by peer)]
vegai has joined #ocaml
systems has joined #ocaml
moi is now known as __DL__
hitachi has joined #ocaml
vegai has quit [Read error: 104 (Connection reset by peer)]
vegai has joined #ocaml
systems has quit [Read error: 110 (Connection timed out)]
systems has joined #ocaml
systems has quit ["Client Exiting"]
mellum has quit ["ircII EPIC4-1.1.11 -- Are we there yet?"]
mellum has joined #ocaml
karryall has quit ["bye"]
hitachi has quit [Remote closed the connection]
__DL__ has quit [Read error: 110 (Connection timed out)]
Vincenz has joined #ocaml
TachYon has joined #ocaml
moi has joined #ocaml
moi is now known as __DL__
__DL__ has quit ["Bye Bye"]
__DL__ has joined #ocaml
__DL__ has quit [Remote closed the connection]
systems has joined #ocaml
whee has joined #ocaml
<systems> welcome whee
<whee> hola
<systems> hey, i am at chapter 4 in that big ocaml book
<systems> developing apps with ocaml
<systems> and it have a section about stream... but doesnt reallu explain what da heck is streams ?
<systems> [< '2;'0;'4 >] ;;
<systems> and sub-streams
<systems> all it says that its some kind of infinite data type
<systems> and ..bleh
lus|wazze has joined #ocaml
<systems> i dont get it what is it
<lus|wazze> what?
<whee> you can think of streams as lazy lists
<lus|wazze> ah that :)
<systems> '2 is a value ?
<mattam> a 'série'
<systems> integer value?
<whee> I can't remember what the ' designates, but yes
<lus|wazze> btw, on a similar topic, what I've thought about concerning purely functional languages
<lus|wazze> what I don't understand is
<lus|wazze> why don't they simply make purely functional languages work like this:
<lus|wazze> the program is a function
<lus|wazze> which accepts an "event"
<lus|wazze> and which returns a pair, consisting of a list of "actions" and a new function
<lus|wazze> that is, like a callback principle
<lus|wazze> oh I'm sorry if i interrupted
<mattam> what kind of actions lus|wazze ?
<lus|wazze> it was just that your talking about streams reminded me of it :)
<lus|wazze> well everything the program can do, i.e. everything that is a side-effect
<lus|wazze> like, for example, printing a string
<lus|wazze> i.e. the way I imagine it would be something like this:
<mattam> well, programs would not be easily written this way, if most can at all be written this way
<lus|wazze> hmm
<lus|wazze> i'm not absolutelty sure about this
<lus|wazze> I mean, popular GUI api's work in a similar way
<lus|wazze> i.e. event-queue oriented
<mattam> yes user-interface and network have this style, but not databases for example
<lus|wazze> but I don't see why it shouldn't be possible to make an db interface that works this way
<lus|wazze> you could have a QUERY_DATABASE action
<lus|wazze> and a QUERY_RESULT event
<lus|wazze> or somesuch
<mattam> there are performance issues then (i.e. asynchronicity, order of events)
<lus|wazze> ah well maybe I'm just dreaming up stuff
<lus|wazze> it's just that I think every solution - monad, unique types - that have been found for the "side-effects" issue in purely functional languages so far seem kinda inelegant to me
<lus|wazze> but then again, my feelings in that matter might be kinda strange
<lus|wazze> I think, for example, that the haskell way to handle exceptions - to make them simply an additional point in the set of possible values a function might return, and simply pass them up in the chain if the function does not explicitly assign a value for that - is very elegant ;)
systems has left #ocaml []
karlm has joined #ocaml
<karlm> I recently decided to go back and brush up on my ocaml. I'm running ocaml 3.06
<karlm> several of the directives from the Ocaml manual seem to have been phased out. Most notably "load"
<karlm> # load "unix.cma";;
<karlm> Unbound value load
<gl> #load
<karlm> d'oh... thought the pound was a prompt.
<karlm> thanks
two-face has joined #ocaml
two-face has quit ["Client exiting"]
karlm has quit [Read error: 110 (Connection timed out)]
asqui has quit ["Now I am gone..."]
TachYon has quit [Read error: 54 (Connection reset by peer)]
TachYon has joined #ocaml
karlm has joined #ocaml
karlm has quit ["Leaving"]
systems has joined #ocaml
TachYon has quit ["Client Exiting"]
Vincenz has quit []
_Riastradh has joined #ocaml
Riastradh has quit [Killed (NickServ (Ghost: _Riastradh!~riastradh@pool-151-203-229-105.bos.east.verizon.net))]
_Riastradh is now known as Riastradh
systems has quit [Read error: 60 (Operation timed out)]