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...
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?
<_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.
<_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]