waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 240 seconds]
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
motherfsck has joined #ocaml
trillion_exabyte has quit [Ping timeout: 268 seconds]
trillion_exabyte has joined #ocaml
John_Ivan has quit [Ping timeout: 240 seconds]
hsw has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
kurfen has quit [Ping timeout: 240 seconds]
kurfen has joined #ocaml
rf has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
trillion_exabyte has quit [Ping timeout: 240 seconds]
gentauro has joined #ocaml
trillion_exabyte has joined #ocaml
motherfsck has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
JSharp has quit [Ping timeout: 250 seconds]
JSharp has joined #ocaml
JSharp has quit [Ping timeout: 250 seconds]
JSharp has joined #ocaml
Haudegen has joined #ocaml
azimut has quit [Ping timeout: 240 seconds]
Serpent7776 has joined #ocaml
xd1le has joined #ocaml
Tuplanolla has joined #ocaml
trillion_exabyte has quit [Ping timeout: 240 seconds]
trillion_exabyte has joined #ocaml
asm has joined #ocaml
asm has quit [Changing host]
wingsorc has quit [Ping timeout: 256 seconds]
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
Anarchos has joined #ocaml
<
Anarchos>
what is the best solution to pass ocaml types (mostly enums) to C++ back and forth ?
<
companion_cube>
C bindings?
<
theblatte>
Rust bindings?
John_Ivan has joined #ocaml
<
Anarchos>
companion_cube sure but wich tool ? I tried protobuf but i could find a mean to translate variant of form "A of (int * string list)"
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
xd1le has quit [Quit: xd1le]
<
theblatte>
oh, OCaml values themselves, then not bindings. You could use json? :/ with derivers or atdgen on the ocaml side
<
Anarchos>
theblatte i saw that coq/coqide communicates through XML
<
theblatte>
aka old json ^^
trillion_exabyte has quit [Ping timeout: 256 seconds]
trillion_exabyte has joined #ocaml
<
companion_cube>
Anarchos: oneof, in protobuf
szkl has joined #ocaml
<
Anarchos>
companion_cube i couldn't find the tuples in protobuf
Serpent7776 has quit [Quit: WeeChat 1.9.1]
troydm has joined #ocaml
motherfsck has joined #ocaml
bartholin has quit [Quit: Leaving]
<
companion_cube>
you have to use a message (ie a struct)
<
companion_cube>
but I mean, you won't find tuples in XML either
azimut has joined #ocaml
mbuf has quit [Quit: Leaving]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
alexherbo2 has quit [Remote host closed the connection]
szkl has quit [Quit: Connection closed for inactivity]
waleee has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
waleee has joined #ocaml
alexherbo2 has joined #ocaml
rf has joined #ocaml
Inst_ has joined #ocaml
Inst has quit [Ping timeout: 240 seconds]
slothby has quit [Quit: brb ... maybe]
rf has quit [Ping timeout: 240 seconds]
rf has joined #ocaml
bartholin has joined #ocaml
trillion_exabyte has quit [Ping timeout: 240 seconds]
trillion_exabyte has joined #ocaml
rf has quit [Ping timeout: 268 seconds]
bartholin has quit [Quit: Leaving]
wingsorc has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
Tuplanolla has quit [Quit: Leaving.]
Inst__ has joined #ocaml
Inst_ has quit [Ping timeout: 240 seconds]