adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
sepp2k has quit [Ping timeout: 260 seconds]
agarwal1975 has joined #ocaml
mengu has quit [Remote host closed the connection]
whisperedcigar has quit [Ping timeout: 240 seconds]
maattdd has quit [Ping timeout: 246 seconds]
whisperedcigar has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
spew has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
jmiven has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
orbifx has quit [Ping timeout: 258 seconds]
yomimono has quit [Ping timeout: 268 seconds]
snhmib has quit [Quit: WeeChat 1.6]
spew has quit [Quit: foobar]
FreeBirdLjj has joined #ocaml
philtor has quit [Ping timeout: 258 seconds]
trapz has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
silver has quit [Quit: rakede]
trapz has quit [Quit: trapz]
philtor has joined #ocaml
FreeBirdLjj has joined #ocaml
jimt_ has joined #ocaml
jimt has quit [Ping timeout: 240 seconds]
jimt_ is now known as jimt
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
trapz has joined #ocaml
rawra has quit [Quit: Connection closed for inactivity]
<rgrinberg> companion_cube: zipperposition doesn't even build at all
<rgrinberg> Nvm, I need to pin containers :P
<rgrinberg> OK now it says there's a missing Formula module. I don't see it defined anywhere
wtetzner has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
zv has quit [Quit: WeeChat 1.6]
trapz has quit [Quit: trapz]
wtetzner has joined #ocaml
spew has joined #ocaml
pwzoii has quit [Ping timeout: 240 seconds]
pwzoii has joined #ocaml
IRCFrEAK has joined #ocaml
IRCFrEAK has quit [K-Lined]
wtetzner has quit [Remote host closed the connection]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
FreeBird_ has quit [Remote host closed the connection]
manizzle has joined #ocaml
troydm has quit [Ping timeout: 240 seconds]
spew has quit [Quit: foobar]
<shon_> Ocsigen website is down. I hate it when I'm trying to get psyched up to learn a new framework and their server is down. It's a real knock to the confidence :?
<sgronblo> shon_: It doesn't do a good job of getting you psyched up when it's running either though :)
<shon_> Burn!
<shon_> sgronblo: Are you referring to the graphic design, or the experience of actually running and setting up an ocsigen server?
<sgronblo> The web site design feels kinda outdated to me
<sgronblo> I haven't tried using ocsigen though
<sgronblo> It's not as bad as many other OCaml related web sites though, the bar is set very low in the Ocaml community.
<shon_> yeah, I totally agree!
<shon_> I was just musing on a related thought: syntactically speaking, OCaml/SML are a lot uglier than a lot of other languages in the type-theoretic FP space.
<sgronblo> This one is my "favorite" https://caml.inria.fr/pub/docs/manual-ocaml/stdlib.html
<shon_> At least, according to a certain metric.
<shon_> But I find I really prefer writing and thinking in it any how...
<sgronblo> syntactically there are a few warts but I dont think its bad enough that we need reasonML :)
<shon_> Agree... I've only skimmed over reason, but it doesn't offer much that I find appealing.
<shon_> I suspect that a lot of the parts of the langauge that at first appear to be blemishes, actually play an important part in making it so lovely to program in.
<shon_> That doesn't relate very well to "bad" or outdated web design, however, I don't really care if the people who design and maintain my programming langauge of choice are also good at graphic design.
<sgronblo> I know it's a bit superficial
<shon_> Ooh. nice neon lime on that manual :D
<sgronblo> hehe, love it
<shon_> Wow that is intense.
copy` has quit [Quit: Connection closed for inactivity]
<shon_> Don't get me wrong, I think surface stuff is also important, and I really do appreciate nice design. But remaining consistent and functional for a long time is a beautiful thing too.
clog has quit [Ping timeout: 258 seconds]
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 260 seconds]
cbot_ has quit [Quit: Leaving]
octachron has joined #ocaml
unbalancedparen has joined #ocaml
MercurialAlchemi has joined #ocaml
unbalancedparen has quit [Quit: WeeChat 1.7]
unbalancedparen has joined #ocaml
FreeBirdLjj has joined #ocaml
rpg_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
wu_ng has joined #ocaml
unbalancedparen has quit [Quit: WeeChat 1.7]
jao has quit [Ping timeout: 258 seconds]
psacrifice has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Ping timeout: 258 seconds]
BitPuffin|osx has quit [Ping timeout: 260 seconds]
govg_ has quit [Ping timeout: 240 seconds]
jabroney has quit [Quit: Leaving.]
govg has joined #ocaml
clog has joined #ocaml
MercurialAlchemi has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
whisperedcigar has quit [Ping timeout: 240 seconds]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
alfredo has joined #ocaml
argent_smith has joined #ocaml
<companion_cube> rgrinberg: it's all happening on the `dev` branch
<companion_cube> (which has changed a lot since `Formula` was there! :D)
Simn has joined #ocaml
jnavila has joined #ocaml
sgronblo has quit [Ping timeout: 264 seconds]
whisperedcigar has joined #ocaml
psacrifice has quit [Ping timeout: 260 seconds]
sgronblo has joined #ocaml
psacrifice has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
govg has joined #ocaml
snhmib has joined #ocaml
larhat has joined #ocaml
maattdd has joined #ocaml
FreeBirdLjj has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mengu has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 268 seconds]
alfredo has quit [Remote host closed the connection]
mrvn has left #ocaml [#ocaml]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mpenet has joined #ocaml
sgronblo has quit [Ping timeout: 258 seconds]
alfredo has joined #ocaml
sgronblo has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
wu_ng has quit [Ping timeout: 240 seconds]
jnavila has quit [Ping timeout: 260 seconds]
alfredo has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
silver has joined #ocaml
whisperedcigar has joined #ocaml
maattdd_ has quit [Read error: Connection reset by peer]
trapz has joined #ocaml
trapz has quit [Quit: trapz]
trapz has joined #ocaml
trapz has quit [Client Quit]
snowcrshd has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
sgronblo has quit [Ping timeout: 256 seconds]
psacrifice has quit []
rpg has joined #ocaml
ryanartecona has joined #ocaml
trapz has joined #ocaml
trapz has quit [Quit: trapz]
sepp2k has joined #ocaml
larhat has quit [Quit: Leaving.]
spew has joined #ocaml
trapz has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
agarwal1975 has quit [Quit: agarwal1975]
sgronblo has joined #ocaml
sgronblo has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
whisperedcigar has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
jlongster has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
sgronblo has joined #ocaml
voglerr has joined #ocaml
_andre has joined #ocaml
agarwal1975 has joined #ocaml
mengu has quit [Remote host closed the connection]
jabroney has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
sh0t has joined #ocaml
trapz has quit [Quit: trapz]
sh0t has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
al-damiri has joined #ocaml
mpenet has left #ocaml ["ERC (IRC client for Emacs 26.0.50.2)"]
zaquest has quit [Read error: Connection reset by peer]
zaquest has joined #ocaml
mengu has joined #ocaml
murmour has joined #ocaml
voglerr has quit []
whisperedcigar has joined #ocaml
TheLemonMan has joined #ocaml
trapz has joined #ocaml
TheLemonMan has quit [Client Quit]
mrvn has joined #ocaml
<mrvn> can an exception handler in ocaml throw an exception and what happens then?
<companion_cube> well, it's like raising an exception anywhere else
<companion_cube> except the stacktraces are combined
<mrvn> so the code where the exception happended gets the exception and can catch it?
<mrvn> s/where the exception/where the signal/
<companion_cube> wait, exceptions or signals?
<mrvn> both
<companion_cube> totally not the same thing :D
<companion_cube> exception in exception handler is not hard
<companion_cube> exception within signal handler, I don't know, it's probably tricky
<mrvn> oh i see. let me start again.
<mrvn> can a signal handler in ocaml throw an exception and what happens then?
<mrvn> (sorry)
<shon_> iiuc, when we have `try f with E1 -> raise E2` then whenever calling f raises E1, that will be handled, and E2 will be raised instead. E2 will either be handled somewhere else, or raise to the top and cause a failure.
<shon_> Ah. nm.
<companion_cube> there might be info there
<mami> what does opam mean when it says:
<mami> nocrypto.0.5.4 is not available because the package is pinned to $DIR/ocaml-nocrypto, version 0.5.4.
<mami> to me it seems that nocrypto.0.5.4. should be 0.5.4, no?
<mrvn> I'm considering if https://www.python.org/dev/peps/pep-0475/ would be viable for ocaml too
<mami> it throws the same error when is say "opam install nocrypto" and "opam install nocrypto.0.5.4"
<octachron> mami, you probably need to unpin ("opam pin remove ocaml-nocrypto") the package
tobast has quit [Changing host]
tobast has joined #ocaml
<zozozo> mrvn: : afaik throwing exceptions in signal handlers in ocaml works, it's how I implement timeouts (using Unix.itimer and razising an exception in the signal handler)
marsam has joined #ocaml
<mrvn> looks good
<mami> octachron: hmm, after unpinning i get this " - No package matches nocrypto.
<mami> if i do "opam search nocrypto" i get a result though. i am on 4.04.0 and pinned it because there were some compile errors after the update of sexplib.
BitPuffin|osx has joined #ocaml
<mami> pinned sexplib to "113.33.0" but then some ppx packages started having compile errors.
<mami> mysterious.
<mrvn> is there support for monotonic timers?
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 258 seconds]
cbot has joined #ocaml
<companion_cube> oclock or ptime, I think
<mrvn> oclock looks right. Probably should be in stdlib I think.
<octachron> mami, installing nocrypto on 4.04.0 works for me; have you checked that your opam repository is up to date?
<mami> octachron: yep, did opam update. just now even reinstalled the whole switch, but obviously turning it off and on again does not help in ocaml (which i expected, but hoped otherwise).
<companion_cube> mrvn: depends on unix I think
<companion_cube> so, meh :D
<companion_cube> (otherwise oclock is very nice)
<mami> what would be another way to reset a switch?
jmiven has joined #ocaml
<mami> do a fresh opam init?
<mrvn> companion_cube: no monotonic clock for windows?
<companion_cube> no idea
<companion_cube> but more thinking about mirage, jsoo, etc.
<mrvn> mirage just has to add a driver for it.
<mrvn> My goal is to have Unix.sleep and Unix.select handle EINTR internally and honor the timeout correctly.
<mrvn> and Unix.sleepf. Anything else in ocaml to wait for a given time?
<companion_cube> Thread.sleep
<mrvn> I think that just calls Unix.sleep
<mrvn> Thread.delay it's called by the way.
<mrvn> Thread.wait_timed_read/write though need this too
<companion_cube> ah yes
<def`> mrvn: yes, it would be nice to have a better Unix.select
th5 has joined #ocaml
<def`> (not necessarily handling the EINTR, that's not necessarily a feature, but updating the timeout)
ryanartecona has quit [Quit: ryanartecona]
<def`> "necessarily"... sorry :)
<mrvn> What does really_input do when a signal hits?
<mrvn> or the other IO functions in Pervasives?
<mrvn> https://caml.inria.fr/mantis/view.php?id=7508 if someone wants to comment on the feature
ryanartecona has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
after____ has joined #ocaml
after___ has quit [Ping timeout: 258 seconds]
AltGr has joined #ocaml
MercurialAlchemi has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
masoodahm has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
masoodahm has quit [Quit: Leaving]
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #ocaml
jao has joined #ocaml
argent_smith has quit [Quit: Leaving.]
ryanartecona has quit [Quit: ryanartecona]
argent_smith has joined #ocaml
after___ has joined #ocaml
after____ has quit [Ping timeout: 264 seconds]
trapz has quit [Quit: trapz]
larhat has joined #ocaml
alfredo has joined #ocaml
jlongster has joined #ocaml
jnavila has quit [Quit: It was time]
pzp has joined #ocaml
rawra has joined #ocaml
zv has joined #ocaml
alfredo has quit [Ping timeout: 264 seconds]
<mami> octachron: well, i solved it now, by throwing my opam dir away
<mami> strange
trapz has joined #ocaml
slash^ has joined #ocaml
ryanartecona has joined #ocaml
AltGr has left #ocaml [#ocaml]
agarwal1975 has quit [Read error: Connection reset by peer]
SpaceSheep has joined #ocaml
trapz has quit [Quit: trapz]
wtetzner has joined #ocaml
shinnya has joined #ocaml
manizzle has quit [Ping timeout: 268 seconds]
trapz has joined #ocaml
tobast1 has joined #ocaml
copy` has joined #ocaml
alfredo has joined #ocaml
philtor has quit [Ping timeout: 264 seconds]
alfredo has quit [Client Quit]
spew has quit [Ping timeout: 256 seconds]
agarwal1975 has joined #ocaml
silver_ has joined #ocaml
philtor has joined #ocaml
silver has quit [Ping timeout: 268 seconds]
wtetzner has quit [Remote host closed the connection]
spew has joined #ocaml
marsam has quit [Remote host closed the connection]
spew has quit [Quit: foobar]
TarVanim_ has joined #ocaml
freusque has quit [Quit: WeeChat 1.7]
trapz has quit [Ping timeout: 246 seconds]
whisperedcigar has quit [Ping timeout: 240 seconds]
larhat has quit [Quit: Leaving.]
trapz has joined #ocaml
<_y> “
<_y> (There is a virtuous interaction between MetaOCaml and modular implicits;
<_y> and implicits make it much more convenient to define and use persistence
<_y> persistence (should it be a language construct or a derived operation?),
<_y> in particular, one pain point of MetaOCaml's design is cross-stage
<_y> operators.)
<_y> ”
<_y> (gasche wrote on 2016-11-12 on the ocaml-list)
<_y> what does that mean?
<Drup> In metaocaml, $ takes an object in stage n and brings it to stage (n+1). It's more or less 'a -> 'a code
<Drup> In current metaocaml, this is hardcoded, type based, and quite limited
<Drup> using modular implicits, you could have a used-defined implicits filling the same role, which would make it much easier to use and to extend
shinnya has quit [Ping timeout: 264 seconds]
<Drup> There is a similar problem for eliom's ~% operator
<_y> i se
<_y> e
TarVanim_ has quit [Quit: TarVanim_]
sillyotter has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
trapz has quit [Quit: trapz]
whisperedcigar has joined #ocaml
trapz has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
marsam has joined #ocaml
pzp has quit [Quit: Connection closed for inactivity]
trapz has quit [Quit: trapz]
Simn has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 256 seconds]
sillyotter has quit [Quit: WeeChat 1.4]
trapz has joined #ocaml
govg has joined #ocaml
Anarchos has joined #ocaml
whisperedcigar has quit [Quit: WeeChat 1.5]
trapz has quit [Ping timeout: 258 seconds]
trapz has joined #ocaml
TheLemonMan has joined #ocaml
larhat has joined #ocaml
slash^ has quit [Remote host closed the connection]
wtetzner has joined #ocaml
trapz has quit [Quit: trapz]
ryanartecona has quit [Quit: ryanartecona]
trapz has joined #ocaml
\h has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
wtetzner has quit [Remote host closed the connection]
snowcrshd has quit [Ping timeout: 240 seconds]
trapz has quit [Quit: trapz]
th5 has quit []
argent_smith has quit [Quit: Leaving.]
fraggle_ has quit [Read error: Connection reset by peer]
fraggle_ has joined #ocaml
mengu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 258 seconds]
ryanartecona has joined #ocaml
manizzle has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
agarwal1975 has quit [Ping timeout: 264 seconds]
kakadu has quit [Remote host closed the connection]
mengu has quit [Ping timeout: 246 seconds]
troydm has joined #ocaml
mengu has joined #ocaml
mabunday has joined #ocaml
<mabunday> Hey, can anyone here help me with implementing letrec using sets? I implemented let, but I'm struggling a bit with this
<TheLemonMan> this sounds like a #scheme question
maattdd_ has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Simn has joined #ocaml
Simn has quit [Quit: Leaving]
al-damiri has quit [Quit: Connection closed for inactivity]
octachron has quit [Quit: Leaving]
average has quit [Remote host closed the connection]
jabroney has quit [Quit: Leaving.]
silver_ is now known as silver
agarwal1975 has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
wtetzner has joined #ocaml
sh0t has quit [Remote host closed the connection]
ollehar has joined #ocaml
ollehar has quit [Client Quit]
snowcrshd has joined #ocaml
jao has joined #ocaml
spew has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
marsam has quit [Remote host closed the connection]
sepp2k has quit [Ping timeout: 240 seconds]
wu_ng has joined #ocaml
snhmib has quit [Ping timeout: 260 seconds]