dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yziquel has joined #ocaml
rak has quit [Server closed connection]
rak has joined #ocaml
philipwhite has quit [Server closed connection]
philipwhite has joined #ocaml
dnh has joined #ocaml
jyc__ has quit [Read error: Connection reset by peer]
jyc__ has joined #ocaml
Johann has quit [Server closed connection]
Johann has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
mro has joined #ocaml
steenuil has quit [Server closed connection]
steenuil has joined #ocaml
mro has quit [Remote host closed the connection]
troydm has quit [Server closed connection]
troydm has joined #ocaml
bartholin has joined #ocaml
yziquel has quit [Quit: Client closed]
ggb has quit [Server closed connection]
ggb has joined #ocaml
xd1le has quit [Quit: xd1le]
dnh has quit [Ping timeout: 268 seconds]
dnh has joined #ocaml
motherfsck has quit [Ping timeout: 264 seconds]
euouae has quit []
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jakzale has quit [Server closed connection]
jakzale has joined #ocaml
Serpent7776 has quit [Ping timeout: 260 seconds]
edr has joined #ocaml
John_Ivan has quit [Read error: Connection reset by peer]
John_Ivan has joined #ocaml
TrillionEuroNote has quit [Server closed connection]
TrillionEuroNote has joined #ocaml
dnh has joined #ocaml
<discocaml>
<kakadu18> Is it possible to construct an example, where OCaml pattern matching check a tag twice, i.e. behaves a backtracking automata?
<discocaml>
<kakadu18> The Maranget 2008 paper says that ' The optimizing compiler of Le Fessant and Maranget (2001) somehow alleviates this problem.' and it sound kind of vague
<companion_cube>
sounds like a question for discuss.ocaml.org
<discocaml>
<contextfreebeer> I'm curious to know the answer too
dnaq has joined #ocaml
<discocaml>
<kakadu18> I think, it is still possible.
<discocaml>
<omentic> it appears to be an entirely chatgpt-generated wiki (poorly generated, thankfully) that's somehow got better SEO than the official documentation
<discocaml>
<bluddy5> looks like it fools duckduckgo but not google
<discocaml>
<omentic> i've no idea what would prompt someone to generate a fake _wiki_, of all things. presumably they're trying to get good SEO now and then fill it full of ads or something?
<discocaml>
<omentic> it rubs me the wrong way, quite a bit
Anarchos has joined #ocaml
<discocaml>
<bluddy5> They'll pepper it with references to their other sites, driving up their SEO value.
myrkraverk_ has quit [Ping timeout: 264 seconds]
dnaq has joined #ocaml
toastal has quit [Server closed connection]
toastal has joined #ocaml
henrytill has quit [Server closed connection]
henrytill has joined #ocaml
soni has quit [Server closed connection]
soni has joined #ocaml
sleepydog has quit [Server closed connection]
sleepydog has joined #ocaml
rwmjones has quit [Ping timeout: 260 seconds]
rwmjones has joined #ocaml
euouae has joined #ocaml
Ankhers has quit [Server closed connection]
Ankhers has joined #ocaml
<discocaml>
<contextfreebeer> `Despite being a statically typed language with an expressive type system that documents the shape of data quite well, OCaml code can still benefit from regular, well-written comments.`
<discocaml>
<contextfreebeer>
<discocaml>
<contextfreebeer> this is what gives it away as a fake
<discocaml>
<._null._> Whereas the page on Burgers looked legit ?
<discocaml>
<._null._> Whereas the page on burgers looked legit ?
<euouae>
sigh is this still about the ocaml wiki?
<euouae>
contextfreebeer: I am close to finishing my tutorial but I hit a snag :) dune apparently can't deal with installing C headers properly
<discocaml>
<._null._> Better not call it like that, for how poor of a wiki it is
<discocaml>
<._null._> But yes, ocamlwiki.com
<euouae>
that's what I meant
<euouae>
it's apparent it's fake because there's only 1 author
<euouae>
Nobody would write that meticulous a wiki on their own, on such a subject such as OCaml
<euouae>
So I have to use 2 build systems. Are you still interested in such a solution contextfreebeer?
<discocaml>
<contextfreebeer> and the contact email is `email: info@theresawikiforthat.com`, uh, somehow that doesn't seem like somebody invested in OCaml lol
<discocaml>
<contextfreebeer> euouae: Hm, what were you doing again exactly? but sure I would be interested in seeing for sure, but don't go out of your way
<discocaml>
<contextfreebeer> oh wow there really is a page on burgers haha
<euouae>
I'm not going out of my way, it's just a question of whether I publish my personal notes or not
<discocaml>
<contextfreebeer> Then sure I would be interested in taking a look
<euouae>
I was trying to write a dune project that takes Coq, extracts to OCaml, and then creates a C library out of it
<euouae>
I managed all that, but I can't install the C library to the system via dune.
<discocaml>
<contextfreebeer> it generates headers that you must install?
<euouae>
yeah
<discocaml>
<contextfreebeer> I'm sure there is a way to arbitrarily install files in Dune, there must be
<euouae>
Maybe there is, but I'm not sure if that is proper. You need a proper build system to correctly install files like those
<euouae>
the .so needs to be properly named and the headers should go to the right place
<discocaml>
<contextfreebeer> true, but, just to get it to work as a proof of concept
<euouae>
well I could go further than a proof of concept
<euouae>
I thought about showing how it's done with dune + CMake or + meson or + autotools
<euouae>
The whole project is a way to fast-track people into formally verified C libraries, although in industry it's done via other means typically, not via OCaml extraction
<discocaml>
<contextfreebeer> well you already raised the issue right? seems like it's just an oversight that include paths are missing
neiluj has joined #ocaml
<euouae>
It's a character flaw of mine I get more excited if others seem interested
<euouae>
:P
<euouae>
(if you're wondering why I brought it up)
<neiluj>
hi! what do you think of writing code where all the functions it uses are arguments of a functor, making the code not tied to a particular library
<neiluj>
then the functor is instantiated with the desired correct types and functions
<neiluj>
isn't it a bit overkill?
<neiluj>
it could be nice if the underlying API changes a lot
<euouae>
It's never nice when the underlying API changes a lot :P
<discocaml>
<contextfreebeer> euouae: yeah I see. personally, I'm only interested in the OCaml extraction part since examples of those projects are somewhat lacking
<euouae>
Got it! I'll post an example
euouae has quit []
seeg has quit [Server closed connection]
seeg has joined #ocaml
richardhuxton has quit [Server closed connection]
richardhuxton has joined #ocaml
Anarchos has quit [Quit: time to sleep somewhere on earth]
arya_elfren has quit [Server closed connection]
arya_elfren has joined #ocaml
ymherklotz has quit [Server closed connection]
ymherklotz has joined #ocaml
b0o has quit [Server closed connection]
b0o has joined #ocaml
bartholin has quit [Quit: Leaving]
pluviaq has quit [Server closed connection]
pluviaq has joined #ocaml
wingsorc has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
<greenbagels>
hm
<greenbagels>
is there a linear algebra library that allows you to make a matrix type from a 2d array
<greenbagels>
defining thes things with array literals is so much easier than having to define functions to define each element of the array...
neiluj has quit [Quit: WeeChat 3.8]
<greenbagels>
i guess i could declare the literal, iterate over it, and set the matrix elements equal to it...