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
smazga has quit [Quit: leaving]
spew has quit [Quit: Connection closed for inactivity]
jao has quit [Ping timeout: 240 seconds]
jmiven has quit [Quit: bye]
jmiven has joined #ocaml
jao has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
stux|RC-only has quit [Quit: Aloha!]
porchetta has quit [Ping timeout: 268 seconds]
porchetta has joined #ocaml
stux|RC-only has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 245 seconds]
cqc has joined #ocaml
oni-on-ion has quit [Ping timeout: 250 seconds]
silver has quit [Read error: Connection reset by peer]
Jesin has joined #ocaml
bitwinery has quit [Quit: Leaving]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 246 seconds]
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
cole-k has joined #ocaml
<cole-k> hiya, im trying to write a simple parser in reason and i can't seem to make a recursive let declaration on values - any idea how to work around this? im typing up a mwe...
<cole-k> my attempt at a mwe, sorry if this isn't correct ocaml syntax: https://pastebin.com/gEkPHaV3
unyu has quit [Remote host closed the connection]
unyu has joined #ocaml
gravicappa has joined #ocaml
Tsukimaru has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
kjak has quit [Ping timeout: 250 seconds]
ravenousmoose has joined #ocaml
FreeBirdLjj has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
zmt01 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
kjak has joined #ocaml
zmt00 has quit [Ping timeout: 245 seconds]
ggole has joined #ocaml
cole-k has quit [Quit: ERC (IRC client for Emacs 26.1)]
Tsukimaru has quit [Quit: Leaving]
brettgilio has quit [Ping timeout: 276 seconds]
mbuf has joined #ocaml
brettgilio has joined #ocaml
jnavila has joined #ocaml
narimiran has joined #ocaml
jnavila has quit [Remote host closed the connection]
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
keep_learning has joined #ocaml
opt9 has joined #ocaml
opt8 has joined #ocaml
opt8 has quit [Client Quit]
mbuf has quit [Quit: Leaving]
mbuf has joined #ocaml
_whitelogger has joined #ocaml
opt9 has quit [Ping timeout: 276 seconds]
KeyJoo has joined #ocaml
<def`> you can't because of the "value restriction"
amiloradovsky has joined #ocaml
learning has joined #ocaml
tane_ has joined #ocaml
learning has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
ocaml_noobster has joined #ocaml
ocaml_noobster has quit [Remote host closed the connection]
why_cant_send_ms has joined #ocaml
why_cant_send_ms has quit [Remote host closed the connection]
ohama has quit [Ping timeout: 265 seconds]
ohama has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 265 seconds]
gareppa has joined #ocaml
ollehar has joined #ocaml
amiloradovsky has quit [Ping timeout: 240 seconds]
barockobamo has joined #ocaml
sarna has quit [Quit: bye]
sarna has joined #ocaml
bartholin has quit [Remote host closed the connection]
jaar has joined #ocaml
infinity0 has quit [Ping timeout: 276 seconds]
gareppa has quit [Quit: Leaving]
slice has quit [Ping timeout: 250 seconds]
KeyJoo has quit [Quit: KeyJoo]
infinity0 has joined #ocaml
<Leonidas> companion_cube: qcheck-core got me excited for a second ;)
slice has joined #ocaml
mfp has joined #ocaml
<Leonidas> companion_cube: if I want to use the random value generation for my own types (not property testing related), would I use Gen.t or Arbitrary.t?
kjak has quit [Ping timeout: 240 seconds]
jaar has quit [Quit: Leaving]
jaar has joined #ocaml
<Leonidas> companion_cube: https://c-cube.github.io/qcheck/ does not feature 0.12 yet
kakadu has joined #ocaml
<kakadu> An offtopic but do you know where should I report spelling errors in http://ssabook.gforge.inria.fr/latest/book.pdf ?
Haudegen has quit [Quit: Bin weg.]
kjak has joined #ocaml
kjak_ has joined #ocaml
jao has joined #ocaml
tane_ has quit [Remote host closed the connection]
tane has joined #ocaml
silver has joined #ocaml
Haudegen has joined #ocaml
florest has joined #ocaml
florest has quit [Quit: Leaving]
florest has joined #ocaml
spew has joined #ocaml
brettgilio has quit [Ping timeout: 245 seconds]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
<companion_cube> Leonidas: excited about what? :p
<companion_cube> just use Gen, arbitrary packs it with shrinking and printer
<companion_cube> good point, just updated the docs
FreeBirdLjj has joined #ocaml
Tsukimaru has joined #ocaml
_y has joined #ocaml
<_y> hi, just found this by exploring old bookmarks, i thought i might just as well drop it here: http://cap-lore.com/Languages/ocaml/ocaml.html
vicfred has quit [Quit: Leaving]
haesbaert has joined #ocaml
<_y> it’s a Scheme programmer who wrote personal notes on OCaml (also on the “Types and Programming Language“ book by B. Pierce http://cap-lore.com/books/Pierce.html (also on many other things less related to us) ) around 2006(?)
mbuf has quit [Quit: Leaving]
Serpent7776 has quit [Quit: Leaving]
<simpson> That is a very surprising domain to see! That domain belonged to Norm Hardy, an advocate of capability-oriented security techniques, who recently passed away. Folks have arranged for his domain to be preserved.
<simpson> If you read one thing from Norm's collection, I politely recommend http://www.cap-lore.com/CapTheory/ConfusedDeputy.html
<_y> maybe some will find it interesting, especially from the perspective of spotting deficiencies of the existing documentation and learning material then (and now?)
<_y> and what misunderstandings a beginner could(can?) have
Tsukimaru has quit [Quit: Leaving]
<simpson> OCaml has many tangents. Even in the name, it's got object-based and categorical concepts baked in! Object-based computation led to capability-based computation, and I've found myself leaning on objects in OCaml as I implement a capability-aware language's interpreter with it.
ollehar has quit [Ping timeout: 276 seconds]
<_y> simpson, ah, didn’t know he was gone :-(
ravenousmoose has joined #ocaml
brettgilio has joined #ocaml
narimiran has quit [Ping timeout: 265 seconds]
pyan has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
unyu has quit [Ping timeout: 276 seconds]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 245 seconds]
ziyourenxiang has quit [Ping timeout: 276 seconds]
Haudegen has quit [Quit: Bin weg.]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Tsukimaru has joined #ocaml
ggole has quit [Quit: Leaving]
brettgilio has quit [Ping timeout: 252 seconds]
vicfred has joined #ocaml
oni-on-ion has joined #ocaml
FreeBirdLjj has joined #ocaml
florest has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<Leonidas> companion_cube: core support, even the version number seemed to fit ;-)
<Leonidas> companion_cube: yes, that's what I ended up using. It's pretty cool
<companion_cube> what would that even mean? :p
<companion_cube> I mean, you have to write `gen` instances for Core's datatypes, I guess
barockobamo has quit [Remote host closed the connection]
<companion_cube> but otherwise qcheck is compatible with standard OCaml 😇
<Leonidas> companion_cube: is there a nicer way to generate records via Gen.t than to use the tuple generators and map over them?
<Leonidas> I mean, it is fine, but a bit verbose, once you start nesting multiple tuple generators
<companion_cube> first, I'd say, write a generator for each type, helps composability
<companion_cube> second, use the applicative/monadic combinators
<companion_cube> `pure mk_record <*> int <*> string`
<companion_cube> or whatever
<companion_cube> I'm willing to trade "a bit verbose" for "more robust than code gen" these days.
<Leonidas> hmm, yeah, that sounds like a nicer way than what I did. Thanks!
<Leonidas> I quite like qcheck
<Leonidas> but having a ppx_deriving plugin for that would be cool too, then I could have generators for all protobuf types I am generating :D
<companion_cube> :)
b has joined #ocaml
b is now known as Guest85643
Guest85643 has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
Tsukimaru has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
gareppa has joined #ocaml
kakadu_ has joined #ocaml
bitwinery has joined #ocaml
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
oni_on_ion has joined #ocaml
bartholin has joined #ocaml
oni-on-ion has quit [Ping timeout: 245 seconds]
brettgilio has joined #ocaml
jao has quit [Remote host closed the connection]
kleisli has joined #ocaml
gareppa has quit [Quit: Leaving]
ravenousmoose has joined #ocaml
narimiran has joined #ocaml
oni_on_ion has quit [Quit: Quit]
oni-on-ion has joined #ocaml
kakadu_ has quit [Ping timeout: 276 seconds]
zolk3ri has joined #ocaml
Anarchos has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
vicfred has quit [Quit: Leaving]
kjak_ has left #ocaml [#ocaml]
gareppa has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
Jesin has quit [Quit: Leaving]
ohama has quit [Ping timeout: 240 seconds]
ohama has joined #ocaml
Jesin has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
TC01 has quit [Ping timeout: 268 seconds]
TC01 has joined #ocaml
kleisli has quit [Ping timeout: 265 seconds]
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
kleisli has joined #ocaml
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
brettgilio has quit [Client Quit]
gareppa has quit [Quit: Leaving]
jnavila has joined #ocaml
kakadu__ has joined #ocaml
jnavila has quit [Remote host closed the connection]
narimiran has quit [Quit: Leaving]
jao has joined #ocaml
jao is now known as Guest3773
Guest3773 has quit [Remote host closed the connection]
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 240 seconds]
spew has quit [Quit: going home]
vicfred has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kleisli has quit [Ping timeout: 246 seconds]
kleisli has joined #ocaml
tane has quit [Quit: Leaving]
ygrek_ has quit [Ping timeout: 268 seconds]
ziyourenxiang has joined #ocaml
RalfJ has quit [Ping timeout: 268 seconds]
brettgilio has joined #ocaml
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
kakadu__ has quit [Remote host closed the connection]
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
brettgilio has quit [Client Quit]
brettgilio has joined #ocaml
pyan has quit [Remote host closed the connection]
unyu has joined #ocaml
unyu has quit [Client Quit]
unyu has joined #ocaml
RalfJ has joined #ocaml
Haudegen has quit [Ping timeout: 268 seconds]