adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
jao has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 246 seconds]
kspencer3 has joined #ocaml
kspencer3 has quit [Remote host closed the connection]
thomas_scrace has joined #ocaml
zv has joined #ocaml
thomas_scrace has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
piklu has joined #ocaml
piklu has quit [Remote host closed the connection]
ygrek has joined #ocaml
erkin has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 272 seconds]
silver_ has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
bourbon7 has joined #ocaml
bourbon7 has quit [Remote host closed the connection]
noitakomentaja has quit [Ping timeout: 252 seconds]
brolaf has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
brolaf has quit [Ping timeout: 244 seconds]
companion_square has joined #ocaml
companion_square has quit [Client Quit]
companion_square has joined #ocaml
companion_square has quit [Client Quit]
companion_square has joined #ocaml
companion_cube has quit [Quit: WeeChat 1.0.1]
companion_square has quit [Client Quit]
companion_cube has joined #ocaml
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 244 seconds]
jao has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
clog has quit [Ping timeout: 252 seconds]
c4rc4s has quit [Read error: Connection reset by peer]
c4rc4s has joined #ocaml
maufred has quit [Ping timeout: 252 seconds]
maufred has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Read error: Connection reset by peer]
automatical3 has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
automatical3 has quit [Remote host closed the connection]
malina has joined #ocaml
moei has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
ygrek_ has quit [Ping timeout: 264 seconds]
ocabot has joined #ocaml
ocabot_ has quit [Remote host closed the connection]
ocabot has quit [Remote host closed the connection]
ocabot has joined #ocaml
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
lostman has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
shw has quit [Ping timeout: 250 seconds]
shw has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
sagotch has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
clog has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
sagotch has quit [Ping timeout: 240 seconds]
yurug has joined #ocaml
thomas_scrace has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
thomas_scrace has quit [Ping timeout: 244 seconds]
pierpal has joined #ocaml
yurug has quit [Ping timeout: 244 seconds]
sagotch has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
_whitelogger has joined #ocaml
bartholin has joined #ocaml
pierpal has joined #ocaml
malina has quit [Read error: Connection reset by peer]
malina has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 272 seconds]
pierpal has joined #ocaml
shw has quit [Ping timeout: 250 seconds]
shw has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
sagotch has quit [Quit: Leaving.]
untoreh- has joined #ocaml
untoreh- has quit [Remote host closed the connection]
malina has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
noitakom1ntaja has joined #ocaml
malina has joined #ocaml
TheLemonMan has joined #ocaml
sagotch has joined #ocaml
malina has quit [Remote host closed the connection]
s3rvac28 has joined #ocaml
s3rvac28 has quit [Remote host closed the connection]
popnfresh has joined #ocaml
orbifx has joined #ocaml
popnfresh has quit [Remote host closed the connection]
orbifx has quit [Ping timeout: 250 seconds]
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
Haudegen has joined #ocaml
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
ftlight has quit [Ping timeout: 252 seconds]
srax has quit [Ping timeout: 252 seconds]
Votan-X has joined #ocaml
cabji_ has joined #ocaml
ftlight has joined #ocaml
cabji_ has quit [Remote host closed the connection]
bartholin has quit [Remote host closed the connection]
srax has joined #ocaml
Votan-X has quit [Remote host closed the connection]
jaar has joined #ocaml
AltGr has joined #ocaml
mfp has joined #ocaml
trochdewei has joined #ocaml
trochdewei has quit [Quit: Leaving]
thomas_scrace has joined #ocaml
yurug has joined #ocaml
pierpal has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 252 seconds]
yurug has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 252 seconds]
sagotch has quit [Quit: Leaving.]
lostman has quit [Quit: Connection closed for inactivity]
dstol0 has joined #ocaml
sommerfest16 has joined #ocaml
dstol0 has quit [Remote host closed the connection]
sommerfest16 has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
pierpal has joined #ocaml
yurug has joined #ocaml
sagotch has joined #ocaml
<discord> <mseri> companion_cube yes
<remix2000> Hi! Is there any lightweight library for list comprehensions? Preferably without runtime dependencies…
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
silver has joined #ocaml
<discord> <mseri> remix2000 I don't know, I think ppx_monadic allows you to do that, but I've never used it
yurug has quit [Ping timeout: 252 seconds]
pierpal has quit [Read error: Connection reset by peer]
magic_gum has joined #ocaml
magic_gum[m] has joined #ocaml
<ZirconiumX> remix2000: what kind of list comprehension? Often you can do it with just chaining the stuff in List
<remix2000> I'm looking for something similar to Haskell's comprehensions. `pa_comprehension' looks nice, but it's a bit outdated and definitely not lightweight…
<ZirconiumX> So infinite series?
<ZirconiumX> There's companion_cube's Seq module
<remix2000> pa_comprehension syntax is nicer IMO. I just like how that simple thing present in Haskell makes everything clearer: `[ x * x | x <- [1..10] ]` :)
magic_gum_ has joined #ocaml
<remix2000> ZirconiumX: ^
<steenuil> ...yeah, but nobody reading your code will get it unless they also know haskell
<magic_gum_> Hey guys
<ZirconiumX> ListLabels.init ~len:10 ~f:(fun x -> x * x)
<ZirconiumX> Not strictly identical because init starts at 0, but still
Azure6 has joined #ocaml
<ZirconiumX> Hi magic_gum_
magic_gum has quit [Quit: Page closed]
<magic_gum_> I'm brand new to OCaml and have a very specific question. I would like to change a specific function in a OCaml repository and run it (this function: https://gitlab.com/tezos/tezos/blob/master/src/lib_signer_backends/encrypted.ml#L62) Is there an easy way to run this function without adding a new entry point to the whole repository? How should I proceed?
<steenuil> there really should be a List.range function or something like that
<steenuil> magic_gum_: from utop maybe
<ZirconiumX> Just edit the function, magic_gum_
<ZirconiumX> But utop might work
<steenuil> seems like Tezos uses dune too so you should be able to run "dune utop" and reach the function from its module path
Azure6 has quit [Remote host closed the connection]
<remix2000> Many languages have similar comprehension syntax, e.g. Python.
<magic_gum_> I tried utop and got "unbound module base58"
<magic_gum_> I'll try with dune utop. Thx
<steenuil> remix2000: the only ones I know of are Python and Haskell, and some languages with a small userbase
<discord> <mseri> remix2000 if you really want to use comprehension syntax I think ppx_monadic is the closest thing https://bitbucket.org/camlspotter/ppx_monadic/src/b21c7b95a61e6fe899a3dc1125884fc48184f561/tests/test_comprehension.ml?at=default&fileviewer=file-view-default#test_comprehension.ml-4
<discord> <mseri> But it is quite non idiomatic in ocaml
ziyourenxiang has quit [Remote host closed the connection]
<ZirconiumX> Probably List.init then transforming as needed is the most idiomatic
ziyourenxiang has joined #ocaml
<discord> <mseri> I also like https://github.com/c-cube/sequence
_andre has joined #ocaml
<remix2000> mseri: ppx_monadic is okay, I'll keep in mind that it may be unclear though. Thanks :)
thomas_scrace has quit [Ping timeout: 245 seconds]
<Armael> lw 16
thomas_scrace has joined #ocaml
FreeBirdLjj has joined #ocaml
thomas_scrace has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 250 seconds]
thomas_scrace has joined #ocaml
gareppa has joined #ocaml
sagotch has quit [Quit: Leaving.]
tachoknight9 has joined #ocaml
tachoknight9 has quit [Remote host closed the connection]
sagotch has joined #ocaml
gareppa has quit [Quit: Leaving]
Haudegen has joined #ocaml
jbrown has joined #ocaml
bartholin has joined #ocaml
pierpal has joined #ocaml
sagotch has quit [Ping timeout: 245 seconds]
noitakom1ntaja has quit [Ping timeout: 246 seconds]
noitakomentaja has quit [Ping timeout: 272 seconds]
jbrown has quit [Ping timeout: 244 seconds]
sagotch has joined #ocaml
jao has joined #ocaml
thomas_scrace has quit [Ping timeout: 264 seconds]
thomas_scrace has joined #ocaml
jbrown has joined #ocaml
magic_gum_ has quit [Ping timeout: 252 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
FreeBirdLjj has joined #ocaml
cjones_29 has joined #ocaml
cjones_29 has quit [Remote host closed the connection]
<Armael> how can I tell dune to completely ignore a subdirectory? it seems I cannot use ignored_subdirs in dune-project
FreeBirdLjj has quit [Remote host closed the connection]
marvi21 has joined #ocaml
FreeBirdLjj has joined #ocaml
<Armael> (nvm I just added a dune file at toplevel)
FreeBirdLjj has quit [Ping timeout: 244 seconds]
marvi21 has quit [Remote host closed the connection]
<companion_cube> so I just moved some tests to alcotest, it's pretty ok
sayakb17 has joined #ocaml
sayakb17 has quit [Remote host closed the connection]
<companion_cube> 🍷
<companion_cube> 🐫
<companion_cube> I feel I'm going to like this emoji plugin
7IZAAH7LJ has joined #ocaml
noitakomentaja has joined #ocaml
noitakom1ntaja has joined #ocaml
sagotch has quit [Quit: Leaving.]
jbrown has quit [Ping timeout: 245 seconds]
7IZAAH7LJ has quit [Quit: leaving]
noitakom1ntaja has quit [Quit: leaving]
noitakomentaja has quit [Quit: leaving]
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<_y> aow, yet another testing tool
<companion_cube> ?
TheLemonMan has joined #ocaml
Fare has joined #ocaml
roygbiv has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
<Fare> Is there a way to easily declare a type as a union of previously declared sums of variants? i.e. type foo = [`A | `B] and bar = [`C | `D] and foobar = [foo... | bar...] or something ?
<companion_cube> type bar = [ foo | `c];;
jao has joined #ocaml
<Fare> companion_cube, thanks!
AltGr has quit [Quit: Konversation terminated!]
roygbiv has quit [Quit: ™]
jaar has quit [Quit: Leaving]
jbrown has joined #ocaml
sagotch has joined #ocaml
Fare has quit [Ping timeout: 246 seconds]
al-damiri has joined #ocaml
orbifx has joined #ocaml
Haudegen has joined #ocaml
sagotch has quit [Read error: Connection timed out]
sagotch has joined #ocaml
jnavila has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
thomas_scrace has joined #ocaml
JimmyRcom has joined #ocaml
jeschli26 has joined #ocaml
jeschli26 has quit [Remote host closed the connection]
Fare has joined #ocaml
sagotch has quit [Read error: Connection timed out]
sagotch has joined #ocaml
jnavila has quit [Ping timeout: 252 seconds]
silver has quit [Quit: rakede]
thomas_scrace has quit [Ping timeout: 252 seconds]
JimmyRcom has quit [Ping timeout: 252 seconds]
jnavila has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
shw has quit [Ping timeout: 250 seconds]
sagotch has quit [Read error: Connection timed out]
sagotch has joined #ocaml
glass has joined #ocaml
theglass has quit [Ping timeout: 252 seconds]
shw has joined #ocaml
<companion_cube> ugh, still waiting for opam-repo…
sagotch has quit [Read error: Connection timed out]
mplex23 has joined #ocaml
mplex23 has quit [Remote host closed the connection]
kakadu has quit [Quit: Konversation terminated!]
yurug has joined #ocaml
tokomak_ has joined #ocaml
TC01 has quit [Ping timeout: 246 seconds]
TC01 has joined #ocaml
yurug has quit [Ping timeout: 272 seconds]
orbifx has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
Putonlalla25 has joined #ocaml
ars23 has joined #ocaml
Putonlalla25 has quit [Remote host closed the connection]
<ZirconiumX> It's really nice not to have religious wars over things here in #ocaml.
<ZirconiumX> I've spent about half an hour grooming my Rust code to how a guy says is the "proper" way, despite my solution working basically immediately
<ZirconiumX> I'll try not to rant too much, since it is off topic, but still
<discord> <rgrinberg> I think you might be a bit responsible for taking random advice on IRC a little too close to your heart
<tane> ZirconiumX, as you know, there's only one way to do it properly :)
<ZirconiumX> I probably am, rgrinberg, but I wanted to humour him to show him how much pain his "right way" was
ars23 has quit [Remote host closed the connection]
pulec1 has joined #ocaml
pulec1 has quit [Remote host closed the connection]
bartholin has quit [Remote host closed the connection]
<Fare> what are the good monad libraries for ocaml?
Jesin has quit [Quit: Leaving]
<Fare> I've been rolling my own so far, but that's not a tenable solution (lest I end up maintaining mine as a candidate "best" solution, which I'm not yet ready to do)
<discord> <rgrinberg> Base has something decent in it
ia0 has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
skalnik0 has joined #ocaml
ia0 has joined #ocaml
roygbiv has joined #ocaml
gareppa has joined #ocaml
skalnik0 has quit [Remote host closed the connection]
gareppa has quit [Remote host closed the connection]
Jesin has joined #ocaml
<companion_cube> Fare: you mean for things like traverse?
kakadu has joined #ocaml
sapristi has joined #ocaml
tane has quit [Quit: Leaving]
sapristi has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
baroud has joined #ocaml
sandroandrade22 has joined #ocaml
sandroandrade22 has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
ia0 has quit [Quit: leaving]
moei has joined #ocaml
ia0 has joined #ocaml
jack5638 has quit [Ping timeout: 252 seconds]
jnavila has quit [Remote host closed the connection]
Haudegen has joined #ocaml
baroud has quit [Remote host closed the connection]
jack5638 has joined #ocaml
thomas_scrace has joined #ocaml
silver has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
fgaz25 has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
fgaz25 has quit [Remote host closed the connection]
<Fare> companion_cube, yes. Although right now I'm using monadic style a lot for dealing with Lwt, exceptions, and state (different state types, not all features at the same time)
<companion_cube> I only have a traverse for lists, I think :p
namho has joined #ocaml
namho has quit [Remote host closed the connection]
roygbiv has quit [Quit: ™]
moei has quit [Quit: Leaving...]
_andre has quit [Quit: leaving]
Fare has quit [Ping timeout: 272 seconds]
oni-on-ion has joined #ocaml
sab11015 has joined #ocaml
sab11015 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
dago has joined #ocaml
dago has quit [Killed (Unit193 (Spam is not permitted on freenode.))]
pierpal has joined #ocaml
Bostik10 has joined #ocaml
Bostik10 has quit [Remote host closed the connection]
tokomak_ has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
<discord> <mseri> Fare there is also clarity that implements a lot of monadic abstractions
thomas_scrace has joined #ocaml
Haudegen has quit [Remote host closed the connection]
noitakomentaja has quit [Quit: leaving]
thomas_scrace has quit [Ping timeout: 272 seconds]
basepusher15 has joined #ocaml
basepusher15 has quit [Remote host closed the connection]
zv has quit [Ping timeout: 240 seconds]
ShellcatZero15 has joined #ocaml
ShellcatZero15 has quit [Remote host closed the connection]
Fare has joined #ocaml
orbifx has joined #ocaml
zv has joined #ocaml
steenuil_ has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]
steenuil_ has quit [Remote host closed the connection]
steenuil_ has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
robotbill18 has joined #ocaml
robotbill18 has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
orbifx has quit [Ping timeout: 252 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
rearnsha_ has joined #ocaml
rearnsha_ has quit [Remote host closed the connection]
malina has joined #ocaml