companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
Soni has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
Soni has joined #ocaml
myrkraverk__ is now known as myrkraverk
<myrkraverk> Are there books written /in/ OCaml? As opposed to books written about OCaml. Meaning, books like -- I imagine /Purely Functional Data Structures/ since I haven't read it -- with code examples in OCaml but not really meaning to teach it.
<companion_cube> I can think of a logic book: https://www.cl.cam.ac.uk/~jrh13/atp/index.html
<companion_cube> It's quite old ocaml tho
<myrkraverk> Thanks, it fits the bill.
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
Tuplanolla has quit [Quit: Leaving.]
<discocaml> <smondet> what was the name/link of unix programing book in ocaml?
<discocaml> <yawaramin> i don't know exactly but maybe TAPL?
tomku|two has quit [Ping timeout: 268 seconds]
tomku has joined #ocaml
mbuf has joined #ocaml
motherfsck has quit [Quit: quit]
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #ocaml
toastal has left #ocaml [Disconnected: Hibernating too long]
<discocaml> <anmonteiro> https://ocaml.github.io/ocamlunix/ ?
bcksl has quit [Quit: \]
end has quit [Quit: end]
sroso has joined #ocaml
sroso has quit [Max SendQ exceeded]
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
sroso has joined #ocaml
toastal has joined #ocaml
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
bcksl has joined #ocaml
pi3ce has joined #ocaml
end has joined #ocaml
pi3ce has quit [Quit: No Ping reply in 180 seconds.]
pi3ce has joined #ocaml
pi3ce has quit [Ping timeout: 268 seconds]
pi3ce has joined #ocaml
Serpent7776 has joined #ocaml
bartholin has joined #ocaml
motherfsck has joined #ocaml
toastal has left #ocaml [#ocaml]
toastal has joined #ocaml
torretto has quit [Ping timeout: 260 seconds]
torretto has joined #ocaml
toastal has left #ocaml [Error from remote client]
torretto has quit [Remote host closed the connection]
sroso has quit [Quit: Leaving :)]
torretto has joined #ocaml
toastal has joined #ocaml
Tuplanolla has joined #ocaml
toastal has quit [Ping timeout: 256 seconds]
toastal has joined #ocaml
toastal has left #ocaml [Disconnected: Hibernating too long]
pi3ce has quit [Quit: No Ping reply in 180 seconds.]
pi3ce has joined #ocaml
pi3ce has quit [Ping timeout: 240 seconds]
pi3ce has joined #ocaml
toastal has joined #ocaml
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
tomku has quit [Ping timeout: 260 seconds]
tomku has joined #ocaml
toastal has left #ocaml [Error from remote client]
jsoo has quit [Quit: ZNC 1.9.0 - https://znc.in]
Serpent7776 has quit [Ping timeout: 256 seconds]
jsoo has joined #ocaml
<discocaml> <drupyog> if you expand a little bit "in OCaml", there is "Modern Compiler in ML"
<discocaml> <drupyog> if you expand a little bit "in OCaml", there is "Modern Compiler in ML" by Andrew Appel
<rustyne> which is in SML, isn’t it?
subnut is now known as subnut_
toastal has joined #ocaml
remexre has quit [Remote host closed the connection]
remexre_ has joined #ocaml
remexre_ is now known as remexre
toastal has left #ocaml [Error from remote client]
<discocaml> <gooby_clown> I don't think it should be too hard to switch between the two for anything concerning compiler development
tomku has quit [Ping timeout: 240 seconds]
tomku has joined #ocaml
inline has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
tomku has quit [Ping timeout: 256 seconds]
tomku has joined #ocaml
<discocaml> <drupyog> SML is a subset of OCaml with some changes in keywords
torretto has quit [Ping timeout: 260 seconds]
torretto has joined #ocaml
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
tomku has quit [Ping timeout: 240 seconds]
tomku has joined #ocaml
<companion_cube> And a standard :)
tomku has quit [Ping timeout: 268 seconds]
tomku has joined #ocaml
waleee has joined #ocaml
tomku has quit [Ping timeout: 252 seconds]
Serpent7776 has joined #ocaml
waleee has quit [Ping timeout: 256 seconds]
tomku has joined #ocaml
<discocaml> <polytypic> http://adam.chlipala.net/mlcomp/
gentauro has quit [Read error: Connection reset by peer]
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
Serpent7776 has quit [Ping timeout: 246 seconds]
gentauro has joined #ocaml
malte has quit [Read error: Connection reset by peer]
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
bartholin has quit [Client Quit]
malte has joined #ocaml
tomku|two has joined #ocaml
tomku has quit [Ping timeout: 268 seconds]