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)]