adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
analogue has quit [Quit: Leaving]
analogue has joined #ocaml
weird_error has quit [Quit: weird_error]
vicfred has quit [Quit: Leaving]
AtumT has quit [Quit: AtumT]
mfp has quit [Ping timeout: 240 seconds]
weird_error has joined #ocaml
weird_error has quit [Client Quit]
olle has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
rwmjones has quit [Ping timeout: 240 seconds]
assemblyman has joined #ocaml
rwmjones has joined #ocaml
analogue_ has joined #ocaml
analogue_ has quit [Remote host closed the connection]
analogue has quit [Read error: Connection reset by peer]
rwmjones has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
assemblyman has quit [Quit: ™]
assemblyman has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 268 seconds]
kvda has joined #ocaml
silver has quit [Read error: Connection reset by peer]
_whitelogger has joined #ocaml
tg has quit [Ping timeout: 240 seconds]
tg has joined #ocaml
jp has joined #ocaml
tg has quit [Ping timeout: 240 seconds]
traviss has quit [Quit: Leaving]
tg has joined #ocaml
ihavelotsoffries has joined #ocaml
assemblyman has quit [Quit: ™]
ihavelotsoffries has quit [Changing host]
ihavelotsoffries has joined #ocaml
ihavelotsoffries has joined #ocaml
ihavelotsoffries has quit [Remote host closed the connection]
tg has quit [Ping timeout: 240 seconds]
narimiran has joined #ocaml
tg has joined #ocaml
gravicappa has joined #ocaml
FreeBirdLjj has joined #ocaml
mbuf has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
fixme has quit [Ping timeout: 264 seconds]
fixme has joined #ocaml
<rgrinberg> Leonidas: do you use a monorepo?
ziyourenxiang_ has quit [Remote host closed the connection]
ziyourenxiang_ has joined #ocaml
mbuf has quit [Ping timeout: 265 seconds]
jp has quit [Remote host closed the connection]
mbuf has joined #ocaml
<Leonidas> rgrinberg: no
olle has quit [Remote host closed the connection]
<rgrinberg> Give it a try :)
<Leonidas> there was some talk about it but I fear the tooling is not out there and we don't have that many pain points with that setup anyway
betux has joined #ocaml
jp has joined #ocaml
jp has quit [Ping timeout: 265 seconds]
ziyourenxiang_ has quit [Quit: Leaving]
Serpent7776 has joined #ocaml
barockobamo has joined #ocaml
jp has joined #ocaml
mbuf has quit [Ping timeout: 268 seconds]
brillenfux has joined #ocaml
jp has quit [Ping timeout: 276 seconds]
betux has quit [Ping timeout: 246 seconds]
<brillenfux> hey, just a quick question: I'm just getting into ocaml and read about the "revised syntax" in exactly two places. how popular is this syntax and how advisable is it to deal with it early on?
<Armael> it's completely dead :)
<brillenfux> neat :-D
<brillenfux> thanks
jaar has joined #ocaml
jp has joined #ocaml
jp has quit [Ping timeout: 240 seconds]
<p4bl0> it seems the recent renaming of Pervasives in Stdlib breaks every code that has its own stdlib.ml module
<p4bl0> not cool for my compiler class ^^
<p4bl0> I think I'll rename every stdlib.ml modules to baselib.ml, unless I find a better name
jp has joined #ocaml
mfp has joined #ocaml
mbuf has joined #ocaml
bartholin has quit [Remote host closed the connection]
jaar has quit [Ping timeout: 276 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
gargawel has joined #ocaml
<cemerick> Leonidas: thanks, I guess I'll dig in :-)
mbuf has quit [Ping timeout: 246 seconds]
jp has quit []
<Leonidas> p4bl0: name it pervasives :p
ziyourenxiang has joined #ocaml
<p4bl0> :D
weird_error has joined #ocaml
<cemerick> (pleasantly) surprised that yojson is okay with unquoted object keys
Haudegen has quit [Quit: Bin weg.]
<Leonidas> cemerick: as in js-obj syntax?
ggole has joined #ocaml
<cemerick> right, {foo:5} rather than {"foo":5}
<Armael> is that valid json though?
<cemerick> {foo:5} definitely is not, no
<cemerick> it's valid `eval`-able javascript, but IME most JSON parsers require some configuration to enable nonstandard unquoted keys
<Leonidas> yeah, but yojson is not really strict on following any standard
<Leonidas> it also has non-standard extensions that noone uses
<Leonidas> with json there's the question how much of the extensions you actually want to support, like comments or dangling commas or what encoding your strings are
<cemerick> tbc, I'm not complaining, as long as it's always emitting standard JS
<cemerick> JSON, excuse me
<cemerick> not every parser also has to be a linter, etc
jaar has joined #ocaml
weird_error has quit [Quit: weird_error]
<Leonidas> with dangling commas that's fair enough, but things like should it parse and ignore comments is debatable
<Leonidas> also, what is the maximum size of number to emit?
bartholin has joined #ocaml
weird_error has joined #ocaml
weird_error has quit [Client Quit]
aspiwack[m] has quit [Ping timeout: 240 seconds]
aspiwack[m] has joined #ocaml
Haudegen has joined #ocaml
mbuf has joined #ocaml
keep-learning[m] has quit [Ping timeout: 250 seconds]
spew has joined #ocaml
keep-learning[m] has joined #ocaml
picolino has quit [Ping timeout: 276 seconds]
RalfJ has quit [Ping timeout: 268 seconds]
RalfJ has joined #ocaml
mbuf has quit [Ping timeout: 268 seconds]
ziyourenxiang_ has joined #ocaml
stux|RC-- has joined #ocaml
narimiran_ has joined #ocaml
okuu has joined #ocaml
zekt83 has joined #ocaml
clog_ has joined #ocaml
runciter_ has joined #ocaml
flodin_ has joined #ocaml
Khady_ has joined #ocaml
unyu has quit [Killed (adams.freenode.net (Nickname regained by services))]
okuu is now known as unyu
ansiwen_ has joined #ocaml
barockobamo has quit [Remote host closed the connection]
mbac_ has joined #ocaml
kvda has quit [Ping timeout: 268 seconds]
clog has quit [Ping timeout: 268 seconds]
bronsen has quit [Ping timeout: 268 seconds]
runciter has quit [Ping timeout: 268 seconds]
shenghi has quit [Ping timeout: 268 seconds]
zekt8 has quit [Ping timeout: 268 seconds]
JSharp has quit [Ping timeout: 268 seconds]
psacrifi- has quit [Ping timeout: 268 seconds]
gravicappa has quit [Ping timeout: 268 seconds]
stux|RC has quit [Ping timeout: 268 seconds]
jerith has quit [Ping timeout: 268 seconds]
flodin has quit [Ping timeout: 268 seconds]
rntz2 has quit [Ping timeout: 268 seconds]
ansiwen has quit [Ping timeout: 268 seconds]
_habnabit has quit [Ping timeout: 268 seconds]
mbac has quit [Ping timeout: 268 seconds]
Amaan has quit [Ping timeout: 268 seconds]
ziyourenxiang has quit [Ping timeout: 268 seconds]
narimiran has quit [Ping timeout: 268 seconds]
Khady has quit [Ping timeout: 268 seconds]
haskell_enthusia has quit [Ping timeout: 268 seconds]
TC01 has quit [Ping timeout: 268 seconds]
kandu has quit [Ping timeout: 268 seconds]
rntz2 has joined #ocaml
jerith_ has joined #ocaml
JSharp has joined #ocaml
Amaan has joined #ocaml
kandu has joined #ocaml
psacrifice has joined #ocaml
haskell_enthusia has joined #ocaml
kandu is now known as Guest67671
_habnabit has joined #ocaml
TC01 has joined #ocaml
shenghi has joined #ocaml
gravicappa has joined #ocaml
gareppa has joined #ocaml
toppler has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
pino|work has quit [Quit: brb]
barockobamo has joined #ocaml
gareppa has quit [Quit: Leaving]
narimiran_ is now known as narimiran
brillenfux has quit [Remote host closed the connection]
mbuf has joined #ocaml
barockobamo has quit [Remote host closed the connection]
bronsen has joined #ocaml
barockobamo has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
brillenfux has joined #ocaml
brillenfux has quit [Remote host closed the connection]
barockobamo has quit [Ping timeout: 240 seconds]
Guibb has joined #ocaml
ziyourenxiang_ has quit [Ping timeout: 240 seconds]
barockobamo has joined #ocaml
barockobamo has quit [Remote host closed the connection]
barockobamo has joined #ocaml
pino|work has joined #ocaml
stux|RC-- has quit [Quit: Aloha!]
stux|RC has joined #ocaml
pmetzger has joined #ocaml
Guibb has quit [Quit: ERC (IRC client for Emacs 26.1)]
prophet has joined #ocaml
pmetzger has quit []
ggole has quit [Quit: Leaving]
smazga has joined #ocaml
ygrek has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
gareppa has joined #ocaml
kakadu has joined #ocaml
betux has joined #ocaml
runciter_ is now known as runciter
gareppa has quit [Quit: Leaving]
traviss has joined #ocaml
olle has joined #ocaml
<olle> would it be possible to construct a language where side-effects are allowed (statements) but only on the first level of the stacktrace?
<olle> a semi-pure language
mbuf has quit [Quit: Leaving]
barockobamo has quit [Remote host closed the connection]
nahra has quit [Remote host closed the connection]
neiluj has joined #ocaml
ravenousmoose has joined #ocaml
jaar has quit [Ping timeout: 240 seconds]
neiluj has quit [Quit: neiluj]
obadz has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
jaar has joined #ocaml
jnavila has joined #ocaml
AtumT has joined #ocaml
smazga has quit [Ping timeout: 250 seconds]
smazga has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
clog_ has quit [Quit: ^C]
clog has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spew has quit [Quit: Connection closed for inactivity]
narimiran has quit [Ping timeout: 240 seconds]
betux has quit [Ping timeout: 240 seconds]
jnavila has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: leaving]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
kakadu has quit [Remote host closed the connection]
orbifx has joined #ocaml
arwn has joined #ocaml
AtumT has quit [Read error: Connection reset by peer]
AtumT_ has joined #ocaml
<arwn> Hi, so handle_line should call print_facts when it matches "print" but instead it calls print_facts once when the program is ran. am i missing something? https://pastebin.com/raw/eTzEGTTQ
<arwn> ok i figured out that it's running 'repl' before the empty function at the bottom.
<dmbaturin> arwn: Are you trying to sneak fomr F# in, or you are misunderstanding how to create mutable references?
<dmbaturin> * some F#
<arwn> dmbaturin probably the latter. never used f#. just started learninng ocaml.
<dmbaturin> I'm talking about "let mut rules = []"
<arwn> oh haha that's not even used yet.
<arwn> that being said i don't know what is wrong with it.
<dmbaturin> It should have been "let repl () = while ..."
<dmbaturin> And "repl ()" after the add_facts call.
Haudegen has joined #ocaml
<dmbaturin> You can also use a tail recursive loop: "let repl () = let line = ... in handle_line line; repl ()"
<dmbaturin> ...the mutable rules list should have been "let rules = ref []" (then you can use "!rules" to obtain the reference value).
<dmbaturin> "let mut rules = []" is a function "mut" that returns an empty list for any argument.
<arwn> ahh gocha.
<arwn> so do all functions need do be declared like `let f () = stuff` or `let f = function -> stuff`
theblatte has quit [Ping timeout: 265 seconds]
Traviss__ has joined #ocaml
<dmbaturin> () is a value of the unit type (the type that has only one value). Function that have no useful arguments usually use it as a placeholder (because in lambda calculus, there's no such thing as function with no arguments).
<dmbaturin> let f x y = ... is a syntactic sugar for "let f = fun x -> fun y -> ...".
<dmbaturin> Always look at the types.
<arwn> Ok thanks a lot. I probably understand.
<dmbaturin> arwn: This is a very work in progress thing, but I tried to make those things explicit there: http://ocaml-book.baturin.org/
<arwn> neat i'll take a look after dinner.
traviss has quit [Ping timeout: 245 seconds]
theblatte has joined #ocaml
<orbifx> any mirageos devs here?
<orbifx> or mirageos users?
ziyourenxiang_ has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
<dmbaturin> orbifx: I'm still waiting for a use case for it to come into my life.
orbifx has quit [Ping timeout: 268 seconds]
Khady_ has quit [Changing host]
Khady_ has joined #ocaml
Khady_ is now known as Khady
weird_error has joined #ocaml
AtumT has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
smazga has quit [Quit: leaving]
AtumT_ has quit [Ping timeout: 265 seconds]