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