adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]
Jesin has joined #ocaml
mirrorbird has quit [Ping timeout: 240 seconds]
<d_bot> <stab> is nice-parser and menhir the blessed way to do parsing in ocaml?
tautologico has joined #ocaml
<d_bot> <stab> need to write a tip parser for https://cs.au.dk/~amoeller/spa/
<companion_cube> what's nice-parser?
ollehar has quit [Ping timeout: 256 seconds]
<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.
<d_bot> <Anurag> This answer on discourse indicates that the videos will be available on friday at-least for the OCaml sessions.
<d_bot> <Anurag> This post on discourse indicates that the videos will be available on friday at-least for the OCaml sessions. (edited)
mirrorbird has joined #ocaml
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
<companion_cube> nosada: tree-sitter maybe?
<Armael> nice, thanks for the youtube link @ ML workshop
pasthec has joined #ocaml
pasthec has left #ocaml [#ocaml]
def has quit [Remote host closed the connection]
def has joined #ocaml
<def> vsiles: plop
dckc has quit [Ping timeout: 258 seconds]
dckc has joined #ocaml
olle has joined #ocaml
Haudegen has joined #ocaml
spew has joined #ocaml
sarna has quit [Quit: Connection closed]
mbuf has quit [Quit: Leaving]
<d_bot> <mseri> The ocaml session should be streamed. The links will probably be available tomorrow, shortly before the session
borne has quit [Ping timeout: 260 seconds]
narimiran has quit [Ping timeout: 256 seconds]
benschza has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
benschza has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
dhil has quit [Ping timeout: 246 seconds]
ggole has quit [Quit: Leaving]
rwmjones is now known as rwmjones|holiday
<hannes> is there a coordinated universal time timestamp available when the OCaml sessions are running?
trn has quit [Remote host closed the connection]
osa1 has quit [Ping timeout: 240 seconds]
<d_bot> <Anurag> has anyone here used cirrus ci? I'm looking for a CI service that supports bsd and they are the only result i've found so far.
<CcxWrk> I think Sourcehut supports BSDs and even Plan9/9font.
trn has joined #ocaml
<CcxWrk> OTOH you won't find Windows or OSX there.
<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)
mangoicedtea has joined #ocaml