<
vincenz>
how come Unix does not allow to use dns names instead of ips?
smimou has quit ["?"]
smkl has quit [Read error: 238 (Connection timed out)]
cjohnson has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
zzorn is now known as zzorn_sleep
CosmicRay has joined #ocaml
durnew has quit ["Leaving"]
CosmicRay has quit ["Leaving"]
Demitar has quit ["Bubbles..."]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
smkl has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
oasisbot has joined #ocaml
oasisbot has left #ocaml []
smkl has quit [Read error: 238 (Connection timed out)]
solarwin1 has joined #ocaml
solarwind has quit [Read error: 110 (Connection timed out)]
CosmicRay has joined #ocaml
tintin has joined #ocaml
monochrom has joined #ocaml
CosmicRay has quit ["Client exiting"]
smkl has joined #ocaml
cjohnson has quit ["The main attraction: distraction"]
solarwin1 has quit [Read error: 104 (Connection reset by peer)]
zzorn_sleep has quit ["They are coming to take me away ha ha"]
bzzbzz has quit ["leaving"]
hangman4 has joined #ocaml
mlh has quit [Client Quit]
vincenz has quit ["leaving"]
vincenz has joined #ocaml
hangman4_ has joined #ocaml
b00t has joined #ocaml
b00t has left #ocaml []
hangman4 has quit [Connection timed out]
monochrom has quit ["Few people understand "understanding"."]
smkl has quit [Read error: 238 (Connection timed out)]
vezenchio has joined #ocaml
smkl has joined #ocaml
solarwind has joined #ocaml
zzorn has joined #ocaml
zzorn is now known as zzorn_away
Herrchen has joined #ocaml
Herrchen has quit [Client Quit]
pango has quit [Remote closed the connection]
pango has joined #ocaml
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
mrsolo_ has joined #ocaml
pango has quit ["Leaving"]
pango has joined #ocaml
Submarine has quit [Remote closed the connection]
Submarine has joined #ocaml
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
mrsolo_ has joined #ocaml
pango has quit [Remote closed the connection]
karryall has quit ["hop"]
pango has joined #ocaml
Herrchen has joined #ocaml
smimou has joined #ocaml
Submarine has quit [Read error: 60 (Operation timed out)]
Submarine has joined #ocaml
mlh has joined #ocaml
m3ga has joined #ocaml
m3ga_ has joined #ocaml
m3ga_ has quit [Read error: 104 (Connection reset by peer)]
m3ga has quit ["Client exiting"]
Submarine has quit ["Leaving"]
smkl has quit [Read error: 238 (Connection timed out)]
Submarine has joined #ocaml
lus|wats has joined #ocaml
vezenchio has quit [Read error: 110 (Connection timed out)]
Submarine has quit ["Leaving"]
Submarine has joined #ocaml
mlh has quit [Client Quit]
smkl has joined #ocaml
bzzbzz has joined #ocaml
maml has quit ["Leaving"]
CosmicRay has joined #ocaml
Submarine has quit [Read error: 54 (Connection reset by peer)]
smkl has quit [Read error: 238 (Connection timed out)]
Submarine has joined #ocaml
smkl has joined #ocaml
wreel has joined #ocaml
smkl has quit [Read error: 238 (Connection timed out)]
wreel has quit ["Leaving"]
mrvn has joined #ocaml
arauko has joined #ocaml
mrvn_ has quit [Read error: 110 (Connection timed out)]
<
arauko>
ocaml is a general purpose programming languag??
<
Smerdyakov>
Why two ?'s?
<
solarwind>
Smerdyakov: You know, the first ? was substituting and e from language :)
<
solarwind>
s/and/an/
Submarine has quit [Read error: 60 (Operation timed out)]
Submarine has joined #ocaml
zzorn has joined #ocaml
smimou has quit ["?"]
vezenchio has joined #ocaml
bzzbzz has quit ["leaving"]
clog has joined #ocaml
<
arauko>
yeah, it looks like it tends to be more functional than other paradigm
<
arauko>
but not being purely functional right?
<
mflux>
few languages are. infact only haskell is the only example that comes into my mind.
<
mflux>
note that for example printing stuff to screen is a side-effect.
<
mflux>
haskell also evaluates lazy, which is sort of cool, and for some purposes ocaml's streams can be used like that
whee has joined #ocaml
<
neale>
can anyone recommend a good text on lambda calculus?
Godeke has quit ["Leaving"]
<
Submarine>
neale, on which aspects of lambda-calculus?
<
Submarine>
pure lambda calculus?
<
neale>
an introduction
<
Submarine>
type systems?
pango has joined #ocaml
<
neale>
well, that's the thing, I don't know much about it yet :)
bzzbzz has joined #ocaml
lus|wats has quit ["haibane · renmei"]
Smerdyakov has joined #ocaml
bzzbzz has quit ["leaving"]
monochrom has joined #ocaml
smkl has quit [Read error: 238 (Connection timed out)]
smkl has joined #ocaml
Submarine has quit ["Leaving"]
smkl has quit [Read error: 238 (Connection timed out)]
smimou has joined #ocaml
Hadaka has quit [Remote closed the connection]
Naked has joined #ocaml
Naked is now known as Hadaka
Smerdyakov has quit ["Client exiting"]
Smerdyakov has joined #ocaml
gim has joined #ocaml
__DL__ has joined #ocaml
__DL__ has quit ["Bye Bye"]