flux__ 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/
hikozaemon has joined #ocaml
b00t has joined #ocaml
masteraka_ has joined #ocaml
masteraka_ has quit [Read error: 104 (Connection reset by peer)]
masteraka has quit [Client Quit]
masteraka has joined #ocaml
wimp has quit ["Leaving"]
WhatTheDeuce has left #ocaml []
wimp has joined #ocaml
masteraka has quit [Remote closed the connection]
wimp has quit [Client Quit]
chessguy has joined #ocaml
jcreigh has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- IRC has never been so good"]
wimp has joined #ocaml
jcreigh has quit ["Do androids dream of electric sheep?"]
dvekravy has quit [Read error: 104 (Connection reset by peer)]
dvekravy has joined #ocaml
finelemon has joined #ocaml
Smerdyakov has quit ["Leaving"]
finelemo1 has quit [Read error: 110 (Connection timed out)]
pango has quit [Read error: 110 (Connection timed out)]
SYStems has joined #ocaml
<SYStems> hello
sieni_ has joined #ocaml
SYStems has left #ocaml []
pango has joined #ocaml
ppsmimou has joined #ocaml
ski has quit [Read error: 110 (Connection timed out)]
love-pingoo has joined #ocaml
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
hikozaemon has quit ["Leaving..."]
Snark has joined #ocaml
mikeX has joined #ocaml
bzzbzz has quit ["leaving"]
b00t has quit [Remote closed the connection]
b00t has joined #ocaml
gim has joined #ocaml
gim has quit [Read error: 104 (Connection reset by peer)]
ski has joined #ocaml
gim has joined #ocaml
DAle\w has joined #ocaml
DAle\w has left #ocaml []
b00t has quit ["Leaving"]
gim has quit [Read error: 104 (Connection reset by peer)]
srle has joined #ocaml
<srle> hi all
mikeX has quit ["leaving"]
<srle> is it possible in ocaml to define the type of the fuction that prohibits writing to stdout?
<srle> something like IO in haskell
<flux__> no.
<flux__> well, you could remove pervasives' input/output functions
<flux__> and then require to use monads instead
<flux__> and remove the Obj-module too
<flux__> also I'm not sure if it is possible to subvert the type restrictions with custom byte code, but I'd assume it is
gim has joined #ocaml
<srle> ok, thanks
<srle> flux__ : is there some language like haskell or ocaml that has type classes (something like haskell with eager evaluation, or ocaml with typeclases
<flux__> mercury, maybe
<flux__> and clean
<flux__> I haven't really taken a look at those
<flux__> just something I've picked up :)
<flux__> then there's eager haskell
<flux__> but I'm not sure what's its state nowadays
<flux__> it always was a research project, I gather
<srle> I dont like mercury, it doe
<srle> snt feel like haskell or ocaml
<srle> clean is like haskell only has uniquenes type system
<srle> eager haskell is same as haskell but they try to evaluate expressions eagerly (programs in eager haskell are equvalent to regular haskell)
<flux__> well, then the only option is to write your own language?-)
<srle> yes, :)
<srle> bye
<srle> tnx for everithing
srle has quit ["[BX] PARTYTIME! 5 seconds to the millenium! 4...3...2...1...EOF From client"]
<flux__> happy to discuss..
gim has quit []
gim has joined #ocaml
Snark has quit ["Leaving"]
gim has quit [Read error: 104 (Connection reset by peer)]
gim has joined #ocaml
Smerdyakov has joined #ocaml
Banana has quit [Read error: 110 (Connection timed out)]
gim has quit []
jcreigh has joined #ocaml
love-pingoo has quit ["Leaving"]
nodie has joined #ocaml
gim has joined #ocaml
Banana has joined #ocaml
Banana has quit [Client Quit]
gim has quit [Read error: 104 (Connection reset by peer)]
gim has joined #ocaml
jcreigh has quit ["Do androids dream of electric sheep?"]
smimou has joined #ocaml
cmeme has quit ["Client terminated by server"]
cmeme has joined #ocaml
Banana has joined #ocaml
Banana has quit [Client Quit]
Snark has joined #ocaml
_JusSx_ has joined #ocaml
_fab has joined #ocaml
gim has quit [Read error: 104 (Connection reset by peer)]
gim has joined #ocaml
jcreigh has joined #ocaml
Demitar_ has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
jcreigh has quit ["Do androids dream of electric sheep?"]
nodie has left #ocaml []
_JusSx__ has joined #ocaml
love-pingoo has joined #ocaml
cmeme has quit [No route to host]
cmeme has joined #ocaml
_JusSx_ has quit [Read error: 113 (No route to host)]
gim has quit [Read error: 104 (Connection reset by peer)]
gim has joined #ocaml
Snark has quit ["Leaving"]
shawn has quit ["This computer has gone to sleep"]
shawn has joined #ocaml
revision17_ has quit ["Ex-Chat"]
shawn__ has joined #ocaml
slipstream has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
gim has quit [Read error: 104 (Connection reset by peer)]
mikeX has joined #ocaml
gim has joined #ocaml
love-pingoo has quit ["Connection reset by by pear"]
mikeX has quit [Remote closed the connection]
mikeX has joined #ocaml
gim has quit []
_JusSx__ has quit ["leaving"]
wimp has quit ["Leaving"]
mikeX has quit [Remote closed the connection]
mikeX has joined #ocaml
_fab has quit [Read error: 110 (Connection timed out)]
jcreigh has joined #ocaml
WhatTheDeuce has joined #ocaml