adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
gral has quit [Ping timeout: 250 seconds]
<Drup> metreo: this topic is interesting, I feel like the whole part about compiling to C is ... weird
caente has joined #ocaml
caente has quit [Ping timeout: 240 seconds]
caente has joined #ocaml
pierpa has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
<metreo> There are a lot of different factors
metreo has left #ocaml [#ocaml]
metreo has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Read error: Connection reset by peer]
djellemah_ has joined #ocaml
djellemah has quit [Ping timeout: 268 seconds]
silver has quit [Read error: Connection reset by peer]
MadcapJake has joined #ocaml
mfp has quit [Ping timeout: 252 seconds]
kvda has joined #ocaml
<def`> the runtime library is rather simple and self contained (using https://github.com/bvaugon/ocamlcc to produce "pure" C)
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 244 seconds]
smasta has quit [Quit: WeeChat 2.2]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 268 seconds]
keep_learning has quit [Remote host closed the connection]
jao has quit [Ping timeout: 272 seconds]
pierpa has quit [Quit: Page closed]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
caente has quit [Ping timeout: 260 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
caltelt has quit [Ping timeout: 252 seconds]
erkin has quit [Quit: Ouch! Got SIGIRL, dying...]
erkin has joined #ocaml
caltelt has joined #ocaml
metreo has left #ocaml [#ocaml]
erkin has quit [Quit: Ouch! Got SIGIRL, dying...]
JimmyRcom has quit [Ping timeout: 268 seconds]
erkin has joined #ocaml
kvda has joined #ocaml
keep_learning has joined #ocaml
Rosslaew has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
caltelt has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
Rosslaew has quit [Remote host closed the connection]
Rosslaew has joined #ocaml
orbifx1 has joined #ocaml
orbifx1 has quit [Ping timeout: 272 seconds]
kvda has joined #ocaml
ggole has joined #ocaml
kvda has quit [Client Quit]
manas has joined #ocaml
ygrek has joined #ocaml
sagax_ has joined #ocaml
<Leonidas> def`: it does seem to be stuck on 4.00 though.
webshinra has joined #ocaml
loli has quit [Ping timeout: 246 seconds]
lostman has joined #ocaml
CcxWrk has joined #ocaml
slamzy has joined #ocaml
manas has quit [Remote host closed the connection]
manas has joined #ocaml
manas has quit [Ping timeout: 244 seconds]
<Armael> did the bytecode change since 4.00?
mfp has joined #ocaml
jbrown has joined #ocaml
loli has joined #ocaml
<Leonidas> given that jsoo seems to need changes for each "major" release, I assumed it does, but tbh I'm not aware of any feature since 4.00 big enough to warrant changes in the bytecode
kakadu has joined #ocaml
steenuil has quit [Remote host closed the connection]
loli has quit [Ping timeout: 260 seconds]
manas has joined #ocaml
Haudegen has joined #ocaml
JimmyRcom has joined #ocaml
loli has joined #ocaml
jnavila has joined #ocaml
loli has quit [Ping timeout: 268 seconds]
demonimin has quit [Quit: bye]
jnavila has quit [Ping timeout: 252 seconds]
demonimin has joined #ocaml
jnavila has joined #ocaml
loli has joined #ocaml
djellemah_ is now known as djellemah
loli has quit [Ping timeout: 252 seconds]
spew has joined #ocaml
loli has joined #ocaml
Rosslaew has quit [Ping timeout: 264 seconds]
loli has quit [Ping timeout: 252 seconds]
loli has joined #ocaml
mfp has quit [Quit: Leaving]
silver has joined #ocaml
loli has quit [Ping timeout: 244 seconds]
loli has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
rotsix has joined #ocaml
metreo has joined #ocaml
metreo has quit [Client Quit]
metreo has joined #ocaml
ollehar has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
Haudegen has quit [Remote host closed the connection]
al-damiri has joined #ocaml
manas has quit [Remote host closed the connection]
manas has joined #ocaml
rotsix has quit [Ping timeout: 240 seconds]
rotsix has joined #ocaml
steenuil has joined #ocaml
ShalokShalom has joined #ocaml
ozzymcduff has joined #ocaml
ozzymcduff has quit [Client Quit]
JimmyRcom has quit [Ping timeout: 246 seconds]
<metreo> Drup: apparently early versions of Rust compiled using Ocaml
silver has quit [Ping timeout: 272 seconds]
<Drup> Well, the compiler was written in OCaml, that's it.
manas has quit []
<Leonidas> yeah, if you want to rebootstrap rust from the beginning you need ocaml, and if you want to rebootstrap ocaml I forgot how to do that
<ollehar> Leonidas: C?
<ollehar> And to bootstrap that, ASM I guess.
<ollehar> And for that, turtles.
<Leonidas> Yeah, right, I sort of thought you need ocaml to build ocaml but you actually don't.
<ggole> Eh? I don't think there's ever been an implementation of OCaml in C?
<companion_cube> you only need the bytecode VM…
<Leonidas> it is sort of interesting what would happen if all binaries in the world disappeared with only the source code remaining, how long it would take to get back to the current state
<ggole> You need a way to get bytecode to put into it though
<companion_cube> the simplest would be to implement an interpreter, then, I guess
<ollehar> ggole: They didn't write OCaml in C first?
<ollehar> What did they use?
<enikar> cma
<companion_cube> lisp
<companion_cube> leLisp, more precisely, I think
<enikar> caml light was bootsraped with C.
<ollehar> Really? Oooh.
<ollehar> Code apes!
<ollehar> (That's the evoluationary step above code monkeys.)
<ollehar> Wait, what did they write LeLisp in? Lisp?
<ggole> That one was probably C
Guest24331 has joined #ocaml
sagax_ has quit [Ping timeout: 272 seconds]
<ollehar> ^^
Rosslaew has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
metreo has quit [Ping timeout: 268 seconds]
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
JimmyRcom has joined #ocaml
slamzy1234 has joined #ocaml
slamzy has quit [Ping timeout: 256 seconds]
jbrown has quit [Ping timeout: 252 seconds]
metreo has joined #ocaml
metreo has quit [Client Quit]
Rosslaew_ has joined #ocaml
Rosslaew has quit [Ping timeout: 260 seconds]
Rosslaew_ has quit [Ping timeout: 260 seconds]
jbrown has joined #ocaml
rotsix has quit [Remote host closed the connection]
tane has joined #ocaml
fraxamo has joined #ocaml
metreo has joined #ocaml
ggole has quit [Quit: ggole]
metreo has quit [Quit: Leaving.]
metreo has joined #ocaml
metreo has quit [Client Quit]
metreo has joined #ocaml
metreo has quit [Client Quit]
metreo has joined #ocaml
metreo has quit [Quit: Leaving.]
metreo has joined #ocaml
fraxamo has quit [Quit: Leaving]
MrGarak has joined #ocaml
kakadu_ has joined #ocaml
metreo has quit [Remote host closed the connection]
metreo has joined #ocaml
metreo has left #ocaml [#ocaml]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
roygbiv has joined #ocaml
steenuil has quit [Remote host closed the connection]
MrGarak has quit [Quit: Leaving]
tane has quit [Quit: Leaving]
roygbiv has quit [Quit: ™]
kakadu_ has quit [Remote host closed the connection]
jnavila has quit [Remote host closed the connection]
bartholin has quit [Read error: Connection reset by peer]
steenuil has joined #ocaml
caente has joined #ocaml
anton-trunov has quit [Ping timeout: 250 seconds]
anton-trunov has joined #ocaml
troydm has quit [Ping timeout: 268 seconds]
troydm has joined #ocaml
caente has quit [Ping timeout: 250 seconds]
nicoo has quit [Ping timeout: 256 seconds]
JimmyRcom has quit [Ping timeout: 252 seconds]
lostman has quit [Quit: Connection closed for inactivity]
nicoo has joined #ocaml
caente has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]