companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
raskol has joined #ocaml
raskol has quit [Ping timeout: 272 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
xgqt has quit [Ping timeout: 272 seconds]
xgqt has joined #ocaml
dextaa has quit [Read error: Connection reset by peer]
dextaa has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
TakinOver has quit [Ping timeout: 240 seconds]
<d_bot> <Pluton> Im done with
<d_bot> <Pluton> What should i do next?
zebrag has quit [Quit: Konversation terminated!]
williewillus has quit [Quit: The Lounge - https://thelounge.chat]
<dh`> what's your goal?
<d_bot> <Pluton> Well i would probably want to make a programming language in it
<dh`> by which I assume you mean a language _implementation_ (compiler or interpreter)
<dh`> looks like the last chapter of the book gets you started on that
<d_bot> <Pluton> Ye but i would like to know more about the language before that
<d_bot> <Pluton> Like the tutorial didnt even include asyncronous programming
raskol has joined #ocaml
xd1le has joined #ocaml
<d_bot> <darrenldl> you dont need asyncronous programming to make a compiler though
rgrinberg has joined #ocaml
<dh`> ...or even want, mostly
dh` has quit [Ping timeout: 255 seconds]
dh` has joined #ocaml
dh` has quit [Changing host]
dh` has joined #ocaml
<d_bot> <.kodwx> To learn more about the language, jus start a small project in it
waleee has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
williewillus has joined #ocaml
williewillus has quit [Client Quit]
williewillus has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
<d_bot> <Jektrix> check out Crafting Interpreters then you can do the implementation in OCaml
motherfsck has quit [Ping timeout: 244 seconds]
Sankalp has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
azimut_ has quit [Ping timeout: 268 seconds]
motherfsck has joined #ocaml
Sankalp has joined #ocaml
Sankalp has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
Sankalp has joined #ocaml
raskol has quit [Ping timeout: 240 seconds]
<d_bot> <darrenldl> theres a chapter in crafting an interpreter in the cs3310 book too
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
motherfsck has quit [Ping timeout: 240 seconds]
Tuplanolla has joined #ocaml
dnh has joined #ocaml
<d_bot> <Et7f3 (@me on reply)> if you did chapter 3-8 I think you are ready. You might want to test some exercise on codinggame or other site
jtm has quit [Ping timeout: 276 seconds]
jtm has joined #ocaml
genpaku has quit [Remote host closed the connection]
genpaku has joined #ocaml
salkin has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
Haudegen has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
salkin has quit [Quit: salkin]
williewillus has quit [Quit: Leaving]
Sankalp has quit [Ping timeout: 240 seconds]
salkin has joined #ocaml
Sankalp has joined #ocaml
xd1le has quit [Quit: xd1le]
jackhill is now known as KM4MBG
KM4MBG is now known as jackhill
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
bartholin has joined #ocaml
Sankalp has quit [Ping timeout: 240 seconds]
Sankalp has joined #ocaml
Anarchos has joined #ocaml
zebrag has joined #ocaml
azimut has joined #ocaml
Sankalp has quit [Ping timeout: 240 seconds]
Sankalp has joined #ocaml
mro has joined #ocaml
adanwan has quit [Ping timeout: 268 seconds]
adanwan_ has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
spip has quit [Ping timeout: 240 seconds]
spip has joined #ocaml
mro has joined #ocaml
salkin has quit [Remote host closed the connection]
salkin has joined #ocaml
rgrinberg has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
cedric has joined #ocaml
mro_ has quit [Read error: Connection reset by peer]
mro__ has joined #ocaml
mro_ has joined #ocaml
mro__ has quit [Ping timeout: 260 seconds]
raskol has joined #ocaml
mro_ has quit [Remote host closed the connection]
adanwan_ has quit [Remote host closed the connection]
adanwan has joined #ocaml
raskol has quit [Ping timeout: 268 seconds]
dnh has joined #ocaml
<sm2n> What's the best intro resource to learning about the categorical abstract machine?
mro has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
<sim642> Ugh, conf-gcc doesn't guarantee real GCC on macos, because Apple just symlinks gcc to clang or something stupid
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
<Anarchos> sm2n the text of Krivine ?
cedric has quit [Quit: Konversation terminated!]
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
williewillus has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
<sm2n> Anarchos: what text is that?
<d_bot> <Et7f3 (@me on reply)> We should rename conf-cc ?
<sm2n> Anarchos: I'm talking about <https://en.wikipedia.org/wiki/Categorical_abstract_machine> I don't know how they are related
<sim642> I do actually need the proper gcc, so I'll probably have to counter Apple's stupidity with more stupidity
<Anarchos> sm2n and the wikipedia article isn't clear enough ?
<sim642> conf-gcc has a gcc homebrew depext, but I suspect that's completely useless because the build check always just calls "gcc" which is symlinked to Apple's clang
<sm2n> Anarchos: wikipedia article for what?
<sm2n> I understand the stuff said about the krivine machine
<sm2n> but I have no background to assess how that is related to the categorical abstract machine
<sm2n> and the wikipedia article on the categorical abstract machine is pretty bare
<sm2n> I'm asking in this channel because supposedly ocaml uses CAM internally
<mro_> @channel admin: when I use the irc client ii (has no ssl), joining #ocaml gets me '#ocaml :Cannot join channel (+S) - SSL/TLS required'
<mro_> could you switch the requirement off? Others don't have it, too.
mro_ has quit [Remote host closed the connection]
mro_ has joined #ocaml
mro_ has quit [Remote host closed the connection]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
mro_ has joined #ocaml
mro_ has quit [Remote host closed the connection]
QDX45 has joined #ocaml
mro has joined #ocaml
<d_bot> <ncl> stunnel
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
<mro> @ncl: are you the admin?
mro has quit [Quit: Leaving...]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
salkin has quit [Quit: salkin]
williewillus has quit [Ping timeout: 244 seconds]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
waleee has joined #ocaml
bartholin has quit [Quit: Leaving]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
dnh has quit [Ping timeout: 272 seconds]
williewillus has joined #ocaml
<d_bot> <Et7f3 (@me on reply)> @Bluddy is the admin. But ncl suggested a workaround. stunnel allow to create a unciphered endpoint on your local machine that redirect all traffic ciphered to real target.
<d_bot> <Bluddy> I'm admin of the discord channel, not of the IRC channel that's connected to #general on our end
rgrinberg has joined #ocaml
<d_bot> <Et7f3 (@me on reply)> So who is the admin 🤔
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
<d_bot> <pseud> How come, when trying to `let rec foo = match .... with ......` , if I try to call the function itself (`foo`) from inside the match construct, I am told:
<d_bot> <pseud> ```
<d_bot> <pseud> This kind of expression is not allowed as right-hand-side of `let rec'
<d_bot> <pseud> ```
<d_bot> <Et7f3 (@me on reply)> it avoided you a infinite loop
adanwan has quit [Remote host closed the connection]
<williewillus> are you trying to declare a function or value?
adanwan has joined #ocaml
QDX45 has quit [Ping timeout: 240 seconds]
Sankalp has quit [Ping timeout: 272 seconds]
Tuplanolla has quit [Quit: Leaving.]
Sankalp has joined #ocaml