adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
shw has joined #ocaml
zv has joined #ocaml
codex2064 has joined #ocaml
<codex2064> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<codex2064> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<codex2064> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<codex2064> <script type="text/javascript" src="http://web.nba1001.net:8888/tj/tongji.js"></script>
<codex2064> This message was brought to you by Private Internet Access
l2y has joined #ocaml
<l2y> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
l2y has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Fare has joined #ocaml
codex2064 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
ben__ has joined #ocaml
granttrec has joined #ocaml
weird_error has quit [Quit: weird_error]
<pierpa> Hey, I tought you guys might set the channel to +r! What do you think?
Jesin has joined #ocaml
Jesin has quit [Client Quit]
ben__ has quit [Remote host closed the connection]
Jesin has joined #ocaml
ben__ has joined #ocaml
neatonk has joined #ocaml
ben__ has quit [Remote host closed the connection]
jimt has quit [Quit: WeeChat 1.9.1]
cobreadmonster has joined #ocaml
jimt has joined #ocaml
Jesin has quit [Quit: Leaving]
miklcct25 has joined #ocaml
<miklcct25> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<miklcct25> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<miklcct25> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<miklcct25> This message was brought to you by Private Internet Access. Voice your opinions at https://webchat.freenode.net/?channels=%23freenode
<Enjolras> -_-
<miklcct25> <script type="text/javascript" src="http://web.nba1001.net:8888/tj/tongji.js"></script>
miklcct25 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
mfp has quit [Ping timeout: 256 seconds]
ben__ has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
ben__ has quit [Ping timeout: 268 seconds]
unyu has quit [Quit: restart]
Atlas22 has joined #ocaml
Atlas22 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<Atlas22> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Atlas22> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<Atlas22> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
totte3 has joined #ocaml
<totte3> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
totte3 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<totte3> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<totte3> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
diogenese17 has joined #ocaml
<diogenese17> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
diogenese17 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
granttrec has quit [Ping timeout: 256 seconds]
barjac_15 has joined #ocaml
<barjac_15> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
barjac_15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<barjac_15> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<barjac_15> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<Enjolras> dammit
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 256 seconds]
Zooklubba17 has joined #ocaml
<Zooklubba17> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<Zooklubba17> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Zooklubba17> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
Zooklubba17 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
granttrec has joined #ocaml
Enjolras has quit [Quit: leaving]
malina has joined #ocaml
Tojil has joined #ocaml
Tojil has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<Tojil> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
pierpa has quit [Quit: Page closed]
andries12 has joined #ocaml
andries12 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<andries12> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<andries12> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<andries12> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
prawnsalad10 has joined #ocaml
prawnsalad10 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<prawnsalad10> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<prawnsalad10> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
granttrec has quit [Ping timeout: 260 seconds]
jbrown has quit [Ping timeout: 264 seconds]
<dtornabene> love to see ocaml irc overrun with nazi bots, great stuff
<dtornabene> :adrien can we get some ban hammer action up in this chamber or what
unyu has joined #ocaml
ben__ has joined #ocaml
ben__ has quit [Ping timeout: 240 seconds]
malina has quit [Ping timeout: 260 seconds]
<jgkamat> You can set +r temporarily to solve it fwiw
<dtornabene> :jgkamat was that to me?
<jgkamat> er, to any op in this channel
<jgkamat> maybe it's gotten better now though, so it's not needed
Guest43156 has joined #ocaml
cobreadmonster has quit [Quit: Connection closed for inactivity]
zolk3ri has joined #ocaml
bairdmich has joined #ocaml
<bairdmich> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<bairdmich> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<bairdmich> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
bairdmich has quit [Killed (Sigyn (Spam is off topic on freenode.))]
loli has quit [Ping timeout: 268 seconds]
<dtornabene> gotcha, well, somebody needs to step up and get this cleaned out
shinnya has quit [Ping timeout: 256 seconds]
loli has joined #ocaml
<xvilka> why you can't write "Yojson.Basic.`Assoc [ bla...]"?
dtornabene has quit [Quit: Leaving]
Monkeh14 has joined #ocaml
<Monkeh14> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<Monkeh14> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<Monkeh14> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Monkeh14> <script type="text/javascript" src="http://web.nba1001.net:8888/tj/tongji.js"></script>
<Monkeh14> This message was brought to you by Private Internet Access
Monkeh14 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
lebster87 has joined #ocaml
<lebster87> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<lebster87> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<lebster87> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<lebster87> <script type="text/javascript" src="http://web.nba1001.net:8888/tj/tongji.js"></script>
<lebster87> This message was brought to you by Private Internet Access
lebster87 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
sophiag has quit [Remote host closed the connection]
Fare has quit [Ping timeout: 260 seconds]
theglass has quit [Ping timeout: 256 seconds]
jaar has joined #ocaml
sagotch has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
ben______ has joined #ocaml
sagotch has quit [Read error: Connection reset by peer]
noitakomentaja has joined #ocaml
sagotch has joined #ocaml
Karasu has joined #ocaml
<Karasu> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<Karasu> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<Karasu> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<Karasu> <script type="text/javascript" src="http://web.nba1001.net:8888/tj/tongji.js"></script>
<Karasu> This message was brought to you by Private Internet Access
Karasu has quit [Killed (Sigyn (Spam is off topic on freenode.))]
ben______ has quit [Ping timeout: 264 seconds]
<adrien> sigh
<reynir> xvilka: `Assoc is a polymorphic variant. As far as I understand they live in a global namespace
Orion3k has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
TarVanimelde has joined #ocaml
malina has joined #ocaml
<xvilka> reynir: yeah, so I forced to open it all the time locally where needed. Still find a bit strange
<Leonidas> hahaha, investigative journalism on encyclopedia dramatica, yeah right
ziyourenxiang has joined #ocaml
malina has quit [Ping timeout: 260 seconds]
mfp has joined #ocaml
<Leonidas> hmm, dune-release can't release split-packages? Something like foo, foo-async, foo-lwt?
<Leonidas> Or am I missing something?
<Drup> Leonidas: pretty sure there is a bug report about that
<Drup> I though it was implemented in the last version
<Leonidas> Drup: do I need to do something specific? When I try it, it only seems to pick up one of my opam files, building a tarball with all sublibraries and only creates one opam-repository package
TarVanimelde has quit [Quit: TarVanimelde]
matze11 has joined #ocaml
<matze11> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<matze11> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<matze11> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
f15 has joined #ocaml
<matze11> <script type="text/javascript" src="http://web.nba1001.net:8888/tj/tongji.js"></script>
<f15> Hey, I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<matze11> This message was brought to you by Private Internet Access
<f15> or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<f15> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<f15> <script type="text/javascript" src="http://web.nba1001.net:8888/tj/tongji.js"></script>
<f15> This message was brought to you by Private Internet Access
matze11 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
f15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
shinnya has joined #ocaml
<Leonidas> So, it seems to be implemented but it doesn't seem to work
<Leonidas> dune-release opam pkg -p zmq,zmq-async,zmq-lwt
<Leonidas> builds 3x the same package
jao has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
<Leonidas> it is probably me misusing it, so https://github.com/samoht/dune-release/issues/54 and if it turns out it is me being dumb I'll submit a documentation PR
zolk3ri has quit [Quit: leaving]
zolk3ri has joined #ocaml
kakadu has joined #ocaml
<Drup> It might also be biggy, dune-release is pretty young :)
jao has quit [Ping timeout: 265 seconds]
ben______ has joined #ocaml
<Fardale> adrien: what does +r do ?
<Leonidas> disallow messages from people outside the channel I assume
<adrien> nope
<adrien> (that's +n)
<adrien> prevents joins from unregistered people
<adrien> it's annoying but the amount of spam simply too much
<zolk3ri> you should redirect them to ##feminism lol
weird_error has joined #ocaml
<zozozo> actually, some friend in another channel gave ma a list of filters that work quite well to filter out spam messages
<zozozo> for anyone who's interested, the filters are here: https://ptpb.pw/g7Hp.txt
<adrien> unfortunately I can't do much op stuff on the channel
<adrien> and freenode staff is not helpful on that
Guest43156 has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
<steenuil> zozozo: neat, I didn't know that was a thing
<steenuil> they've been making the rounds on other servers too
<zozozo> yeah, I actually got that list of filters on another server, ^^
Wojciech_K has joined #ocaml
ben______ has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
<hannes> how does embedding C stubs in OCaml work (let's assume for a unix binary)? in which files do the C stubs end up in (afaict there is a libfoo_stubs.a, but the same symbols end up in cmxs!?)? is the cmxs used when emitting a binary, or the cmxa and the .a?
<rks`> a .cmxs is basically a .so
<rks`> the .cmxa and .a are used when statically linking
<hannes> rks`: ah, thanks. and the cmxs is used when dynamically linking (the default for ocaml afaict)?
<rks`> the .cmxs is indeed used when dynamically linking
<rks`> which is not the default for ocaml
<hannes> hmm, in the end I have a binary which is dynamically linked against libthr / libm / libc (from the ocaml runtime i suspect), and libgmp -- so zarith does sth special here!?
<rks`> well
<rks`> the stubs will be statically linked
<rks`> which, I guess, doesn't prevent from dynamically linking some C library they depend on?
shinnya has quit [Ping timeout: 248 seconds]
<Leonidas> is there a way to unpack cma files into their cmis?
<Leonidas> I am trying to run cmitomli but dune generates cma's
<rks`> but honestly, the limit of my knowledge was before your last question, I'm just guessing at this point, so I'll probably stay quiet now and wait for someone actually knowledgable to answer
<rks`> Leonidas: a .cma doesn't contain .cmi files, but .cmo files
<rks`> I'm pretty sure dune also generates the .cmi files, you're just not looking hard enough
<Leonidas> oh. I know it was some kind of archive, but apparently not the archive of what I wanted :-D
<hannes> rks`: ok, thanks! that was already helpful
<Leonidas> rks`: you're right
<Leonidas> rks`: _build/default/lib/.graphite_async.objs/graphite_async.cmi
<Leonidas> well hidden indeed
<Leonidas> also fun files like _build/.misc/efd18ff7f1f791096762db11147cbfad.cmi
<Leonidas> what are these for?
<rks`> ⁻\_(.%)_/⁻
<rks`> ask rgrinberg
<hannes> ha, and with ocamlobjinfo zarith.cmxa i discovered more details :)
_whitelogger has joined #ocaml
mahem1 has joined #ocaml
<reynir> Leonidas: what's in the interface :o
<Leonidas> reynir: Fatal error: exception Cmi_format.Error(_) according to cmitomli. So maybe not a cmi file at all
<reynir> heh
weird_error has quit [Quit: weird_error]
jao has joined #ocaml
tarptaeya has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
jaar has quit [Remote host closed the connection]
Fare has joined #ocaml
malina has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
spew has joined #ocaml
Denommus has joined #ocaml
<adrien> I'm trying to install x509 through opam and I'm getting an error from the solver
<adrien> opam show x509 tells me ""asn1-combinators" {>= "0.2.0"}"
<adrien> and opam install tells me (among others) : "x509 → asn1-combinators < 0.2.0 → ocaml < 4.06.0"
<adrien> why does opam install say "asn1-combinators < 0.2.0"
Haudegen has joined #ocaml
<reynir> maybe it's trying to install an older version of x509 for some reason?
cryptocat1094 has joined #ocaml
<adrien> reynir: any idea how to check that?
<reynir> Sorry, no, but maybe you can try force a version: opam install x509.0.6.1
* reynir heads to the beach o/
<adrien> thanks and enjoy :)
<adrien> seems like a good thing but I still have other dependencies to "solve"
<adrien> ah...
<hannes> adrien: which compiler are you on? let me know if you need further help.
<hannes> i guess there's no good story for 4.07 and tls/x509 atm (need some work to figure the ppx_sexp_conv 0.11 deps)
<adrien> 4.07.0
<adrien> I was trying it because migrating to opam 2.0.0 rc3 broke the database and I didn't care that much about it (this is on a specific-purpose container)
<hannes> as mentioned above, there's an issue: ppx_sexp_conv >= v0.11.0 introduced a runtime dependency which x509+tls are not aware of (and thus constrained to older ppx_sexp_conv), and older ppx_sexp_conv are for some reasons not supported on 4.07.0
<adrien> I don't really care which compiler version I use but I've been struggling to find one that let me install my dependencies successfully (calculon, lwt-react, cohttp-lwt-unix)
<adrien> can it be worked around by hand or should I better use another compiler version?
<hannes> you can remove the ppx_sexp_conv version constraint manually (nocrypto will hopefully take care of getting a dependency towards ppx_sexp_conv runtime lib), or downgrade your compiler... i'll improve the current state in opam-repository hopefully later today
<adrien> not sure how to do that manually =/
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
neatonk has quit [Ping timeout: 265 seconds]
malina has quit [Ping timeout: 260 seconds]
wagle has joined #ocaml
FreeBirdLjj has joined #ocaml
mahem1 has quit [Ping timeout: 252 seconds]
warriors has joined #ocaml
mahem1 has joined #ocaml
warriors has left #ocaml [#ocaml]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
FreeBird_ has joined #ocaml
yomimono_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
zolk3ri has joined #ocaml
dedgrant has quit [Quit: Leaving]
Cypi has quit []
Haudegen has quit [Read error: Connection reset by peer]
dedgrant has joined #ocaml
zolk3ri has quit [Quit: leaving]
malina has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
malina has quit [Ping timeout: 240 seconds]
Cypi_ has joined #ocaml
Cypi_ has quit [Client Quit]
Haudegen has joined #ocaml
sophiag has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
seliopou has quit [Ping timeout: 265 seconds]
pierpal has quit [Quit: Poof]
ygrek has joined #ocaml
pierpal has joined #ocaml
afloat has joined #ocaml
kevinqiu has joined #ocaml
yomimono has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
seliopou has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
k1000 has joined #ocaml
k1000 has quit [Client Quit]
yomimono has joined #ocaml
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
CcxWrk has joined #ocaml
CcxWrk has quit [Excess Flood]
ben__ has joined #ocaml
gareppa has joined #ocaml
ben__ has quit [Ping timeout: 256 seconds]
gareppa has quit [Remote host closed the connection]
kakadu has joined #ocaml
jao has joined #ocaml
<kevinqiu> I was wondering how to use `Async.Scheduler.yield_until_no_jobs_remain` properly. It seems like it should wait for all jobs on the queue to finish before becoming determined. However, I created a toy example where I put some print statements onto the queue by calling `after`, ignore it with `don't_wait_for`, and I call `yield_until_no_jobs_remain` to get a `Deferred.t` to return to the Command runner. However, this results in nothing
<kevinqiu> possible? That's what I though `yield_until_no_jobs_remain` would give me but it seems not. Are jobs taken off the queue once work has started on them? Reading the code, I don't fully understand how the Job_queue works
<kevinqiu> being output when the program exits. If I instead return the `Deferred.t` that is returned from `after` it works as expected and the statement is printed. The use case is that I want to be able to queue up output (Statsd metrics) in a larger program and not have to worry about the `Deferred.t` at the call sites. I want to just wait at the end of execution for all the Deferreds that I've created to resolve before exiting. Is this
jrslepak has quit [Quit: leaving]
jrslepak has joined #ocaml
<ELLIOTTCABLE> why's the /topic still 4.06.0? :P
jnavila has joined #ocaml
mahem1 has quit [Quit: Page closed]
<rgr[m]> kevinqiu: consider using a pipe.t for your queuing needs. How did you run your program? Aysnc just has a way to turn on the scheduler and not really a way to wait for it run all the jobs.
<rgr[m]> Since the scheduler doesn't really have a way of knowing how many jobs will run.
<kevinqiu> I was using `Command.run` + `Command.async_spec`
<kevinqiu> I'll investigate the pipe
<kevinqiu> I guess queing is the wrong word, the desired behavior is:
jack5638 has quit [Ping timeout: 260 seconds]
jack5638 has joined #ocaml
olle has joined #ocaml
<olle> hi
<olle> a question about linear type systems.
<ZirconiumX> "Don't ask to ask, just ask"
<olle> would it be possible with linear types to statically check the order of function calls, for example the use-case of interacting with a lua state
<olle> when calling a function inside a lua state, you first push the function name, and the the function arguments, to a stack.
<companion_cube> if combined with phantom types, I suppose so (although it'd be cumbersome)
<companion_cube> each intermediate state would have a unique phantom type that is consumed to produce the next state when the next argument is passed
afloat has quit []
<olle> companion_cube: yes, but then you'd have to catch the state on every call.
<olle> my thought was with linear types, you could avoid this.
Fare has quit [Ping timeout: 268 seconds]
<olle> but I don't know, not an expert. :)
<olle> here's an example from the lua docs: https://www.lua.org/pil/25.2.html
<olle> lua_pcall(L, 2, 1, 0)
<olle> 2 = number of arguments to function.
<olle> in this case, lua_pushnumber must have been called twice before calling lua_pcall.
<olle> pretty sure this could be done with fstar.
<olle> F*
<olle> maybe typestate is a better word.
Fare has joined #ocaml
kevinqiu has quit [Ping timeout: 256 seconds]
<companion_cube> maybe so
<olle> This language apparently has both linear types and typestate https://mcoblenz.github.io/Obsidian/
<olle> companion_cube: you know what's the current status of effects in ocaml?
<olle> in dev, I mean.
al-damiri has joined #ocaml
<companion_cube> I don't know, and tbh I'll care when it's merged
Fare has quit [Ping timeout: 265 seconds]
<olle> companion_cube: kk
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
kevinqiu has joined #ocaml
kevinqiu has quit [Ping timeout: 240 seconds]
cryptocat1094 has quit [Quit: WeeChat 2.2]
jnavila has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
spew has quit [Quit: 辞書]
Denommus has quit [Read error: Connection reset by peer]
ben__ has joined #ocaml
ben__ has quit [Remote host closed the connection]
gareppa has joined #ocaml
gareppa has quit [Client Quit]
kevinqiu has joined #ocaml
kevinqiu has left #ocaml [#ocaml]
Jesin has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
spew has joined #ocaml
pierpa has joined #ocaml
ben__ has joined #ocaml
spew has quit [Remote host closed the connection]
spew has joined #ocaml
Soni has quit [Ping timeout: 276 seconds]
spew has quit [Ping timeout: 240 seconds]
granttrec has joined #ocaml
Fare has joined #ocaml
Fare has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 256 seconds]
kakadu has quit [Remote host closed the connection]
noitakomentaja has quit [Ping timeout: 250 seconds]
ben__ has quit [Remote host closed the connection]
spew has joined #ocaml
malina has joined #ocaml
spew has quit [Read error: Connection reset by peer]
Fare has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
malina has quit [Ping timeout: 240 seconds]
CcxWrk has joined #ocaml
ben__ has joined #ocaml
ben__ has quit [Ping timeout: 256 seconds]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 260 seconds]
<Drup> olle: that's pretty much what session types are, and you can encode session types in OCaml+linear types pretty easily
<Drup> typestates are basically the imperative/mutable version of that idea
Fare has quit [Ping timeout: 264 seconds]
Fare has joined #ocaml