<d_bot>
<stab> wraps a parser, for error messages etc
ollehar has joined #ocaml
<companion_cube>
I didn't know that
<companion_cube>
anyway, menhir is a good tool
<d_bot>
<stab> yeah im going to try to get a menhir parser running first
vicfred has quit [Ping timeout: 240 seconds]
spew has quit [Quit: Connection closed for inactivity]
<d_bot>
<rgrinberg> > anyway, menhir is a good tool
<d_bot>
<rgrinberg> Truth
<companion_cube>
so is dune, don't worry ;)
mfp has quit [Ping timeout: 256 seconds]
mangoicedtea has quit [Quit: Leaving]
<d_bot>
<stab> so is containers, don't worry 😉
<companion_cube>
:p
aaaaaa has joined #ocaml
Jesin has quit [Ping timeout: 240 seconds]
tmhoang2 has joined #ocaml
tmhoang has quit [Ping timeout: 240 seconds]
tmhoang2 is now known as tmhoang
ansiwen has quit [Ping timeout: 240 seconds]
ansiwen has joined #ocaml
nullcone has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
vicfred has joined #ocaml
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
Jesin has joined #ocaml
narimiran has joined #ocaml
aaaaaa has quit [Quit: leaving]
<d_bot>
<nosada> Not sure if this is the right place to ask, but does anyone know of a parsing library for OCaml that is not in OCaml? My Google-fu is failing me (search results are mostly parsers for language X in OCaml)
Serpent7776 has joined #ocaml
osa1 has joined #ocaml
mbuf has joined #ocaml
mal`` has quit [Quit: Leaving]
mal`` has joined #ocaml
ggole has joined #ocaml
Tuplanolla has joined #ocaml
<d_bot>
<Et7f3> Try any c generator + ffi
<d_bot>
<Et7f3> Like yacc
Haudegen has joined #ocaml
jmorris has quit [Quit: Leaving]
dborisog has joined #ocaml
borne has joined #ocaml
dckc has quit [Ping timeout: 260 seconds]
dckc has joined #ocaml
chripell has quit [Quit: ZNC 1.8.1+deb1 - https://znc.in]
mbuf has quit [Ping timeout: 240 seconds]
nkly has quit [Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in]
chripell has joined #ocaml
<vsiles>
nosada: do you want to parse ocaml code from another language or are you using a mix of ocaml and a non ocaml parser ?
nkly has joined #ocaml
mirrorbird has joined #ocaml
dhil has joined #ocaml
dborisog has quit [Ping timeout: 256 seconds]
mfp has joined #ocaml
aaaaaa has joined #ocaml
mirrorbird has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 264 seconds]
tautologico has quit [Quit: Connection closed for inactivity]
dhil has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
dhil has joined #ocaml
mbuf has joined #ocaml
aaaaaa has quit [Quit: leaving]
nullcone has quit [Quit: Connection closed for inactivity]
<d_bot>
<glennsl> Will the ML and OCaml sessions at ICFP be streamed somewhere?
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
sarna has joined #ocaml
<d_bot>
<octachron> I hope so. Otherwise, we will make at less the talk available on the fly.
<d_bot>
<glennsl> There's no links in the schedule like there's been for the NY and Asia sessions at least.
<d_bot>
<glennsl> But I guess it's all pre-recorded, so worst case you can just put it up yourself?
Haudegen has quit [Quit: Bin weg.]
waleee-cl has joined #ocaml
<d_bot>
<octachron> Exactly, this is the advantage of having recorded videos in advance.
<hannes>
but travis also launched FreeBSD workers recently (?), the opam-repository uses that
<d_bot>
<Anurag> CcxWrk: sourcehut looks interesting! thanks. I don't need macOS or windows as i can use github actions for mac, and this is for a library using kqueue so mac and bsd is mosly what i'm looking for.
<d_bot>
<Anurag> hannes: thanks for the link! i'll try cirrus. I didn't see anything about bsd on travis' docs, but i do see a freebsd section in the travis script in opam-repository.
tane has joined #ocaml
<d_bot>
<mseri> @hannes the icpf program page allows you to choose different timestamps
<d_bot>
<mseri> When you look at the program
<d_bot>
<undu> I'd say it allows users to select a preferred timezone 😉
olle has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
malc_ has joined #ocaml
osa1 has joined #ocaml
osa1 has quit [Ping timeout: 264 seconds]
sonologico has joined #ocaml
mirrorbird has quit [Ping timeout: 244 seconds]
osa1 has joined #ocaml
<companion_cube>
sourcehut seems interesting for the CI part, at least
nullcone has joined #ocaml
malc_ has left #ocaml ["ERC (IRC client for Emacs 28.0.50)"]
<d_bot>
<Anurag> Its git hosting part also seems pretty nice. I might try that as well.
<companion_cube>
does it have PRs yet? :p
<d_bot>
<Anurag> No. But it probably won't make much of a difference for my little libraries 😛
<d_bot>
<Anurag> No. But it probably won't make much of a difference for my little libraries hehe (edited)
<d_bot>
<Anurag> No. But it probably won't make much of a difference for my little libraries 🙂 (edited)
<companion_cube>
heh
Guest85141 has quit [Ping timeout: 240 seconds]
kandu has joined #ocaml
kandu is now known as Guest75717
narimiran has joined #ocaml
<d_bot>
<Anurag> github's still going to be the primary source i use since i do need to push anything to the opam-repository
<ollehar>
test
<ollehar>
If lambda M returns a lambda N with side-effects, is M still pure?
<ollehar>
I'd argue it is
<ollehar>
Because it doesn't execute the side-effects
narimiran has quit [Ping timeout: 258 seconds]
nullifidian has joined #ocaml
<zozozo>
well, that's why to track effects you have to annotate each arrow for currified functions, so in your example you'd have "alpha -> beta --> ..." where -> is the "pure" arrow and "-->" the effectful one I'd say
mirrorbird has joined #ocaml
<d_bot>
<mseri> Lol, @undu you are spot on, and I should never read and reply in a hurry 🤣
osa1 has quit [Ping timeout: 264 seconds]
amiloradovsky has joined #ocaml
rabbipires has joined #ocaml
rowbee has quit [Ping timeout: 260 seconds]
rabbipires is now known as rowbee
rowbee is now known as robi
robi is now known as rowbee
shinzo has quit [Quit: leaving]
<d_bot>
<undu> you confused me with your avatar for a moment 🙂
<d_bot>
<Anurag> Oh this looks like the avatar that the IRC users had for a while (before the switch to cats)
<d_bot>
<Bluddy> yeah I guess @mseri liked it enough to adopt it
<d_bot>
<mseri> @Bluddy you got me
<d_bot>
<mseri> I like them more than the new cats
<d_bot>
<Bluddy> I like them too but I think some of them are too silly, and since they're handed out by nick, you're forcing people to have silly icons.
<d_bot>
<Bluddy> The cats are more neutral
<ollehar>
zozozo: hm
<ollehar>
zozozo: does it matter if the inner lambda is pure or not if it's not evaluated?
<zozozo>
ollehar: that's the point of annotation each arrow with well effects in theory, but here let's just consider the pure arrow --> and the impure arrow -> (easier to map into the current ocaml arrow, ^^); let's consider a function "f: a --> (b -> c)", then "f x" would be pure, but "f x y" would be impure or rather "let g = f x" would be pure and then "g y" would be impure
tane has quit [Quit: Leaving]
dhil has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
inkbottle has quit [Read error: Connection reset by peer]
<d_bot>
<hcarty> @Def I loved the nottui/lwd presentation - very very cool projects!
zebrag has joined #ocaml
<d_bot>
<stab> Anybody know if there is a decent union find implementation around somewhere. Tbh i can just implement it, just surprised I couldn’t find it anywhere
<companion_cube>
it's so simple that there are no standalone implementations, I think
spew has quit [Quit: Connection closed for inactivity]
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
<d_bot>
<stab> idk i have to look at it again, been a while since i impelementing it, but i seem to remember there are some finicky bits with getting a performany functional version
<d_bot>
<stab> idk i have to look at it again, been a while since i looked at it (algo class a long time ago lol), but i seem to remember there are some finicky bits with getting a performany functional version (edited)
<d_bot>
<stab> idk i have to look at it again, been a while since i looked at it (algo class a long time ago lol), but i seem to remember there are some finicky bits with getting a performant functional version (edited)