companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Tuplanolla has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 264 seconds]
mxns has quit [Ping timeout: 240 seconds]
<d_bot> <syrusakbary> Hi Everyone! I'm Syrus.
<d_bot> <syrusakbary> I'm trying to create a WebAssembly integration for OCaml... anyone have already experience on using c/libffi bindings in OCaml?
ArthurStrong has quit [Quit: leaving]
<d_bot> <Scred> need help with ocaml
<d_bot> <Scred> easy program that I am having troubles debugging
mxns has joined #ocaml
vicfred has quit [Quit: Leaving]
<d_bot> <beheddard> python is just so nice for scientific work to be honest. I toyed with julia briefly, but I'd rather use Ocaml with pyplot bindings if I am going to use another language
<oriba> Python also has List-comprehensions
<oriba> and dict-comprehensions
<oriba> and set-comprehensions
<oriba> and generators
mxns has quit [Ping timeout: 260 seconds]
boxscape71 has quit [Ping timeout: 240 seconds]
jbrown has quit [Quit: Leaving]
DanC has quit [Ping timeout: 264 seconds]
DanC has joined #ocaml
jbrown has joined #ocaml
_whitelogger has joined #ocaml
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
<amr> Julia has list and generator comprehensions. Dict and set you can then get from a generator at the expense of one extra set of parentheses
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
infinity0 has quit [Remote host closed the connection]
mxns has joined #ocaml
infinity0 has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 256 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
vicfred has joined #ocaml
clmg has joined #ocaml
<clmg> Why is OCaml better than Haskell?
clmg has quit [Quit: Leaving]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
<d_bot> <darrenldl> i don't know if anyone is making that claim here
vicfred has quit [Quit: Leaving]
narimiran has joined #ocaml
<d_bot> <Scred> fuck you
mxns has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
snowpanda has joined #ocaml
seliopou has quit [Ping timeout: 256 seconds]
seliopou has joined #ocaml
<zmagii> Is there an interactive type tutorial for OCaml in Emacs?
<zmagii> (Like, can I load an OCaml file and execute lines with C-RET?
seliopou has quit [Ping timeout: 240 seconds]
seliopou has joined #ocaml
remexre has quit [Ping timeout: 256 seconds]
remexre has joined #ocaml
jlr has joined #ocaml
mxns has joined #ocaml
shawnw has joined #ocaml
Haudegen has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
Tuplanolla has joined #ocaml
borne has joined #ocaml
orbifx has joined #ocaml
snowpanda has quit [Quit: Leaving...]
johnel_ is now known as johnel
<octachron> zmagii, tuareg has an interactive mode for executing lines or buffer in the REPL.
jnavila has joined #ocaml
<d_bot> <Christophe> But it's not a tutorial
<d_bot> <Christophe> I think the interesting part here is the ocaml tutorial that would use tuareg mode to be interactive?
jnavila has quit [Ping timeout: 256 seconds]
<ymherklotz> Does anyone actually know of a good guide to get the repl in tuareg to work for dune projects?
<ymherklotz> Flycheck and everything else works well, but never got the repl to work, also not sure what repl to use, like the default ocaml one or utop
arecaceae has quit [Remote host closed the connection]
<d_bot> <Drup> Hmm, there is no `-emacs` argument to `dune utop` .... @rgrinberg is there a strong reason for that ?
arecaceae has joined #ocaml
<ymherklotz> Ah that actually helped me along a bit!
<ymherklotz> There is: dune utop . -- -emacs
<ymherklotz> But it still doesn't find all my modules yet
<vsiles> is anyone using the `select` library stanza in dune ?
<vsiles> I'm moving from dune lang 1.0 to 2.X and it looks like I can no longer refer to filenames in sub directories... that's sad
<vsiles> Looking for a workaround
remexre has quit [Ping timeout: 256 seconds]
remexre has joined #ocaml
mfp has joined #ocaml
__anshikaaa__ has joined #ocaml
__anshikaaa__ has quit [Client Quit]
bartholin has joined #ocaml
boxscape has joined #ocaml
mxns has joined #ocaml
shawnw has quit [Ping timeout: 260 seconds]
waleee-cl has joined #ocaml
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
andreas303 has quit [Ping timeout: 268 seconds]
andreas303 has joined #ocaml
orbifx has quit [Quit: orbifx]
ewd has joined #ocaml
TheLemonMan has joined #ocaml
boxscape has quit [Quit: Connection closed]
boxscape has joined #ocaml
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #ocaml
boxscape has quit [Client Quit]
boxscape has joined #ocaml
orbifx has joined #ocaml
vicfred has joined #ocaml
bartholin has quit [Quit: Leaving]
bartholin has joined #ocaml
boxscape has quit [Quit: Connection closed]
bartholin has quit [Client Quit]
borne has quit [Ping timeout: 272 seconds]
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
jbrown has quit [Quit: Leaving]
jlr has quit [Ping timeout: 272 seconds]
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
borne has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
ewd has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
vicfred has quit [Ping timeout: 240 seconds]
andreas303 has quit [Ping timeout: 268 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
omni has quit [Ping timeout: 265 seconds]
omni has joined #ocaml
vicfred has joined #ocaml
vicfred has quit [Client Quit]
andreas303 has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
raver has quit [Ping timeout: 272 seconds]
banjiewen__ has quit [Ping timeout: 268 seconds]
terabit has quit [Ping timeout: 272 seconds]
tomjack has quit [Read error: Connection reset by peer]
narimiran has quit [Ping timeout: 265 seconds]
tomjack has joined #ocaml
sz0 has quit [Ping timeout: 264 seconds]
banjiewen__ has joined #ocaml
sz0 has joined #ocaml
terabit has joined #ocaml
zebrag has joined #ocaml
neiluj has quit [Quit: leaving]
mxns has joined #ocaml
motherfsck has quit [Read error: Connection reset by peer]
qwr has joined #ocaml
<d_bot> <Scred> guys
<d_bot> <Scred> go fuck yourselves
<d_bot> <Scred> litteraly
<qwr> type 'a zz = [> `A ] as 'a and 'a bzz = { moo: 'a zz };; gives Type 'a zz should be an instance of [> `A ] zz - what i'm doing wrong?
<qwr> with separate declarations its ok, but i'm wanting to declare circular type like with `A of bzz
tane has quit [Quit: Leaving]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
<steenuil> qwr: do you need the type parameter for anything?
<steenuil> you could just do `type zz = [> `A ] and bzz = { moo: zz }`
<steenuil> oh right, there's the [>
<qwr> i want to leave the type open for additional variants, otherwise would use plain variants
adrien has quit [*.net *.split]
jun has quit [*.net *.split]
jun has joined #ocaml
adrien has joined #ocaml
<steenuil> this seems to work: `type 'a zz = ([> `A ] as 'a) and 'a bzz = { moo: ([> `A ] as 'a) };;`
<steenuil> but then there's really no need for two declarations I guess
seliopou has quit [Ping timeout: 246 seconds]
<qwr> hm yes, in the real type there are 10 variants, which i would not like to duplicate :)
seliopou has joined #ocaml
<qwr> of course I could use plain variants with | Other 'a, but it looks like it should be possible with polymorphic variants without repeating them :)
<octachron> You can split the ast_node and pattern_part from the mutually recursive group (by removing the constraint 'a = 'a ast) and replace 'a ast_node by 'a ast ast_node
mxns has quit [Ping timeout: 264 seconds]
<qwr> ok, that worked, only thing is that now the ast_node has no constraint on 'a
<d_bot> <Bluddy> Done
<d_bot> <anmonteiro> ty 🙏
borne has quit [Ping timeout: 264 seconds]
borne has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]