vect changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, ICFP'03 http://www.icfpcontest.org/, A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/, A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
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)]