dax has quit [Read error: 110 (Connection timed out)]
Kinners has joined #ocaml
dax has joined #ocaml
tomasso has quit [Read error: 60 (Operation timed out)]
dax has quit [Read error: 60 (Operation timed out)]
tomasso has joined #ocaml
cjohnson has quit ["Got to be good lookin' 'cause he's so hard to see."]
Kinners has quit [Read error: 113 (No route to host)]
pattern has joined #ocaml
tomasso has quit ["Leaving"]
dax has joined #ocaml
pattern has left #ocaml []
pattern has joined #ocaml
pattern has left #ocaml []
pattern has joined #ocaml
wuuru has joined #ocaml
dax has quit [Read error: 110 (Connection timed out)]
ham[let] has joined #ocaml
<ham[let]>
hiho
<ham[let]>
i just heared that caml is based on category theory is that right?
<ayrnieu>
I've never heard of that, but www.ocaml.org may know otherwise.
<pattern>
"The theory is called 'category theory', and it is the central
<pattern>
theory of modern mathematics (obsoleting set theory).
<pattern>
There are programming languages based on it, or at least
<pattern>
influenced by it, and almost all modern language design
<pattern>
is discussed using its terminology. The module system
<pattern>
of Standard ML has been based on it for a number of years,"
<pattern>
oops... sorry for the flood
<ham[let]>
but there is no theorist in here who might know about that?
<ayrnieu>
pattern - does O'Caml's system also relate to that?
<ham[let]>
i just wonder what is used modelwise from CT in caml
<ham[let]>
haskell ie is based on monads which makes it very nice imho
<pattern>
ayrneiu, continuing that quote: "...There is a high performance, pragmatic, programming language whose engine and theoretical underpinnings are based on it (caml: Categorical Abstract Machine Language; ocaml: with objects)."
<ham[let]>
does anyone of you know the book of david rhydeheart?
<ham[let]>
pattern: is there also some more about the theory side of that?
<pattern>
hamlet, i was just googling :)
<ham[let]>
ah i thought it was the main site sry
dax has joined #ocaml
wuuru has quit [Read error: 101 (Network is unreachable)]
_JusSx_ has joined #ocaml
<_JusSx_>
if you fuck last in the last day of the year you will fuck for all the days of the next year
wuuru has joined #ocaml
<_JusSx_>
wuuru
<_JusSx_>
heya
<_JusSx_>
if you fuck last in the last day of the year you will fuck for all the days of the next year
dax has quit [Read error: 110 (Connection timed out)]
pattern_ has joined #ocaml
Kinners has joined #ocaml
pattern has quit [Read error: 110 (Connection timed out)]
dax has joined #ocaml
pattern_ has quit [Read error: 110 (Connection timed out)]
Tachyon76 has joined #ocaml
Tachyon76 has quit ["Leaving"]
dax has quit [Read error: 110 (Connection timed out)]
pattern_ has joined #ocaml
Kinners has quit [Read error: 54 (Connection reset by peer)]
shawn has quit [Nick collision from services.]
shawn has joined #ocaml
shawn has quit [Client Quit]
shawn has joined #ocaml
<_JusSx_>
HI
dax has joined #ocaml
owll has joined #ocaml
owll has quit [Client Quit]
pattern_ has quit [Read error: 110 (Connection timed out)]
tomasso has joined #ocaml
pattern_ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
Etaoin has joined #ocaml
shawn has quit ["Leaving"]
cjohnson has joined #ocaml
pattern_ has quit [Read error: 110 (Connection timed out)]
mattam_ has joined #ocaml
mattam has quit [Nick collision from services.]
mattam_ is now known as mattam
pattern_ has joined #ocaml
_JusSx_ has joined #ocaml
<_JusSx_>
HAPPY NEW YEAR
<wuuru>
_JusSx_: it hasn't come yet :)
bicho has joined #ocaml
<wuuru>
chileno
bicho has left #ocaml []
tomasso has quit [Read error: 110 (Connection timed out)]
tomasso has joined #ocaml
<_JusSx_>
wuuru : heya
ethanhunt has joined #ocaml
<wuuru>
_JusSx_: ~
<wuuru>
:)
<ethanhunt>
!rules
ethanhunt has left #ocaml []
<_JusSx_>
HAPPY NEW YEAR
pattern_ has quit [Read error: 110 (Connection timed out)]
pattern_ has joined #ocaml
pattern_ has quit [Read error: 60 (Operation timed out)]
maihem has joined #ocaml
<wuuru>
Õß Õß
<teratorn>
pattern_ has joined #ocaml
tomasso has quit [Read error: 110 (Connection timed out)]
dax has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit ["Client exiting"]
Smerdyakov has joined #ocaml
ham[let] has quit ["Lost terminal"]
tomasso has joined #ocaml
tomasso has quit [Remote closed the connection]
tomasso has joined #ocaml
tomasso has quit ["Leaving"]
meme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
tomasso has joined #ocaml
dax has joined #ocaml
pattern_ has left #ocaml []
wuuru has quit [Read error: 60 (Operation timed out)]