bbbold has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bbbold has joined #ocaml
Serpent7776 has quit [Ping timeout: 245 seconds]
Serpent7776 has joined #ocaml
bbbold has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
gareppa has joined #ocaml
bbbold has joined #ocaml
mfp has joined #ocaml
gareppa has quit [Quit: Leaving]
malc_ has joined #ocaml
AtumT has joined #ocaml
jaar has quit [Ping timeout: 276 seconds]
malc_ has quit [Ping timeout: 265 seconds]
malc_ has joined #ocaml
kakadu has joined #ocaml
slice has quit [Ping timeout: 265 seconds]
dmiles has quit [Ping timeout: 245 seconds]
bbbold has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
dmiles has joined #ocaml
zolk3ri has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
bbbold has joined #ocaml
<Leonidas>
pino|work: I just ran across this: "ocaml_utils_stubs.c:37:14: warning: initialization discards ‘const’ qualifier from pointer target type [-Wdiscarded-qualifiers]" so I actually think that the `const` thing is a warning by default, not an error.
<Leonidas>
(the code is `value* v = caml_named_value(n);`)
<apostolis>
Maybe, malfunction has the answer all along.
<def`>
apostolis: there is no type system in malfunction, so you have nothing to circumvent. So there is not much to introspect, you have to encode adga data in malfunction value
kleisli has quit [Ping timeout: 245 seconds]
<apostolis>
def` : Yea, I need to create a function that takes an untyped algebraic datatype and turn into it into something the database will accept as a correct value.
Madars has joined #ocaml
<apostolis>
def` : So this function needs to be written in malfunction.
<def`>
which database ?
<apostolis>
either lmdb or irmin , both accept strings, but if you know a better one, please tell.
<def`>
At this point, OCaml marshalling is good enough :P.
<apostolis>
Could you explain? I am quite new with OCaml.
<def`>
OCaml has a generic infrastructure for saving and loading (untyped) values
malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
<b0bby__>
lyxia: This expression has type 'a -> 'a list -> 'a list
<b0bby__>
but an expression was expected of type 'a -> 'a list -> 'a
<lyxia>
acc :: h did you mean acc @ [h]
<b0bby__>
let me try it
<lyxia>
acc is a list, h is a single element
<lyxia>
the arguments of (::) are an element and a list, in that order, not a list and an element
<b0bby__>
lyxia: ok thank you
<b0bby__>
so I need acc @ [h] to append?
<lyxia>
yes, but if you do it many times it is a pretty slow operation, it's faster to build the list in reverse order (h :: acc) and reverse it at the ned.
<lyxia>
reverse it at the end
<b0bby__>
ok thanks
b0bby__ has quit [Quit: Leaving]
vicfred__ has joined #ocaml
vicfred_ has quit [Ping timeout: 240 seconds]
vicfred has joined #ocaml
vicfred__ has quit [Ping timeout: 240 seconds]
kakadu_ has quit [Remote host closed the connection]
malc_ has joined #ocaml
malc_ has quit [Client Quit]
vicfred has quit [Ping timeout: 265 seconds]
apostolis has quit [Quit: WeeChat 2.3]
RalfJ has quit [Ping timeout: 276 seconds]
vicfred has joined #ocaml
jao- has quit [Remote host closed the connection]
RalfJ has joined #ocaml
jao has joined #ocaml
RalfJ has quit [Ping timeout: 276 seconds]
RalfJ has joined #ocaml
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 240 seconds]
vicfred_ has quit [Ping timeout: 240 seconds]
vicfred has joined #ocaml
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 245 seconds]
vicfred__ has joined #ocaml
vicfred_ has quit [Ping timeout: 276 seconds]
vicfred__ has quit [Ping timeout: 276 seconds]
vicfred has joined #ocaml
jaar has quit [Ping timeout: 276 seconds]
silver has quit [Read error: Connection reset by peer]