<orbitz>
according to the reddit comment thread that post has numerous factual errors
<orbitz>
and some of the code doesn't even compiel
alpounet_ has joined #ocaml
<bjorkintosh>
no thanks. i'm busily trying to get APL to look good
<Drup>
bjorkintosh: that's called K.
<Drup>
(or J)
<bjorkintosh>
no. apl itself.
<bjorkintosh>
i don't want shoulder surfers to know what i'm typing :D
<bjorkintosh>
not that j would be any easier.
<bjorkintosh>
or k, for that matter.
<Drup>
well, slightly less crazy
alpounet has quit [Ping timeout: 240 seconds]
<Drup>
orbitz: and if you look carefully at the factual errors, they don't change the various points raised by the author
<orbitz>
Drup: I don't belive that is true. I don't kow swift so i cannot comment on what is true, but according to the comment thread a bunch of the mutability statements are flat out false
<dnm>
Hey orbitz. =]
<orbitz>
hey dnm, what's shakin?
<dnm>
Not much. Late night at the office. What's new with you?
<dnm>
For some reason every time I see you on IRC, I get flashbacks to the old OSUNY channel. ;]
<orbitz>
Do you ever show up there?
<orbitz>
What part of the world are you in?
<dnm>
No. I don't think that channel even still exists.
<dnm>
I'm in Seattle these days.
<dnm>
Will have been here a year, in less month from now.
<orbitz>
MS or Amazon?
<dnm>
Neither.
<orbitz>
Are you doing Ocaml work?
<dnm>
orbitz: picocomputing.com
<dnm>
I'm using OCaml for some projects (including some work ones), but we're not explicitly an OCaml shop.
<orbitz>
I think the last time I saw you was in #erlang, right?
<dnm>
Yeah, probably. I sometimes pop in there too, when I visit IRC.
<orbitz>
Cool company
<dnm>
You still out east?
<dnm>
I think that's where I last recall you being. Not sure if that's accurate.
<orbitz>
Yes, but much further east :)
<orbitz>
I'm in a nordic country these days
jao has joined #ocaml
<dnm>
Oh, hah!
jao has quit [Changing host]
jao has joined #ocaml
<bjorkintosh>
a nordic country.
<bjorkintosh>
norway?
<bjorkintosh>
sorry. denorwden.
<bjorkintosh>
land.
<bjorkintosh>
DeNorSweLand.
<bjorkintosh>
i think i nailed it.
<orbitz>
Sweden
<dnm>
"Fin de Norsweland", in French. ;]
<orbitz>
heh
<bjorkintosh>
haha
<orbitz>
one sec, getting dinner going, bbs
<dnm>
I ran into some Danes at my local neighborhood bar recently, and I had to hold my tounge from mentioning the Uti Vår Hage skit about Danish.
<Drup>
"many features are broken (such as ocamlopt)" huhu
tnguyen has joined #ocaml
tnguyen1 has quit [Read error: Connection reset by peer]
slash^ has quit [Read error: Connection reset by peer]
araujo has joined #ocaml
araujo has joined #ocaml
araujo has quit [Changing host]
rgrinberg has quit [Quit: Leaving.]
yacks has quit [Quit: Leaving]
jwatzman|work has quit [Quit: jwatzman|work]
alpounet has joined #ocaml
tlockney is now known as tlockney_away
alpounet has quit [Ping timeout: 265 seconds]
dsheets has joined #ocaml
hhugo has joined #ocaml
rand000 has quit [Quit: leaving]
AltGr has left #ocaml [#ocaml]
claudiuc has joined #ocaml
claudiuc_ has joined #ocaml
ontologiae has joined #ocaml
claudiuc has quit [Ping timeout: 240 seconds]
hhugo has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
WraithM has quit [Quit: Lost terminal]
typedlambda has quit [Ping timeout: 252 seconds]
WraithM has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest96518
typedlambda has joined #ocaml
Guest96518 has quit [Ping timeout: 245 seconds]
tlockney_away is now known as tlockney
hhugo has joined #ocaml
avsm has quit [Quit: Leaving.]
Nahra has quit [Remote host closed the connection]
Nuki has joined #ocaml
Nahra has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
hhugo has quit [Quit: Leaving.]
ggole has quit []
<orbitz>
Evening
<companion_cube>
same to you
<orbitz>
companion_cube: I'm taking a prop testing course next week
<companion_cube>
you mean a course around quickCheck and the likes?
<orbitz>
around prop testing in general, but will use quickcheck as the implemention
<orbitz>
i have a workshop next week and then another one a few weeks after
alpounet has joined #ocaml
<companion_cube>
well, nice
<companion_cube>
please share any insight you might get :)
<orbitz>
yeah, hoepfully it's good
<orbitz>
have you done much with qcheck in the last few months? I haven't had a chance to paly with it more
<orbitz>
I'm mostly looking forward to udnerstanding prop testing mindset, I feel I try to use prop testing to come up with scenarios rather than properties
<companion_cube>
what do you call "scenario" here?
<companion_cube>
I've not written many new properties
axiles has quit [Remote host closed the connection]
hhugo has joined #ocaml
<orbitz>
More like using qcheck to come up with a bunch of random set of actions like "what happens if I add a bunch of random things and remove half of them from my container" or something, which isn't a real property possibly. We'll see what I learn in class
<orbitz>
even if I'm usingit wrong i've found multiple bugs in my code, which is really nice.
<orbitz>
I wonder how bad it woudl be to use ocaml-ctypes to fuzz C code automatically...
<companion_cube>
orbitz: oh, so you would generate a random sequence of actions
<companion_cube>
and check some property on it?
<orbitz>
yeah, I dunno, it's hard to explain
<companion_cube>
I do check some properties on containers
<orbitz>
I think I've used qcheck more like "if i hit my API with a bunch of random crap, do I still get a valid state at the end"
<companion_cube>
the key to prop checking is having good random generators
<orbitz>
which isn't a property so much...
<companion_cube>
orbitz: sounds like a reasonable use
tnguyen has quit [Ping timeout: 240 seconds]
<companion_cube>
it's a correctness property
<orbitz>
yeah
<orbitz>
have you used it to test c code at all?
<companion_cube>
orbitz: when I have time and 4.02 is more stable, I'll really try to make a ppx for inline qchecks
<companion_cube>
no, only OCaml
<orbitz>
You mean inline with the source code?
hhugo has quit [Quit: Leaving.]
<johnf>
hi I'm experimenting with camlp4 and I was able to extend a the grammer but when I try to create a quotation for a record I get an error from ocamltop "Error: Unbound record field label a" the type is defined in the grammer.ml file along with the 'module Make ...' if I define the type from top it then works. Any ideas?
Kakadu has quit [Quit: Konversation terminated!]
<companion_cube>
orbitz: yes, you'd have [@@@qcheck some_code_here]
<companion_cube>
so you ignore it if you don't have the extension
dsheets has quit [Ping timeout: 252 seconds]
<Drup>
companion_cube: @
<Drup>
not @@@
Hannibal_Smith has quit [Quit: Sto andando via]
<Drup>
companion_cube: one day you will manage to put the correct number of @, but clearly, it will need some practice :D
alpounet has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
Thooms has quit [Quit: WeeChat 0.3.8]
<companion_cube>
yes.
<companion_cube>
it's not very intuitive :3
<companion_cube>
I thought there was some @@@ syntax too, though?
ollehar has joined #ocaml
<Drup>
there is
<Drup>
it's for "floating" attributes inside a structure
<companion_cube>
oh.
<Drup>
you put it somewhere inside a structure, and it will be attached to the structure
<Drup>
@@ is to be attached to an expression
<Drup>
and @ is to be attached to a structure
rgrinberg has joined #ocaml
* companion_cube
thinks about a let%qcheck for random generators... hmmmm
<companion_cube>
let%random maybe
jao has quit [Ping timeout: 255 seconds]
dapz has joined #ocaml
Submarine has quit [Quit: Leaving]
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest14734
shinnya has joined #ocaml
Guest14734 has quit [Ping timeout: 252 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
agarwal1975 has quit [Quit: agarwal1975]
tnguyen has joined #ocaml
Simn has quit [Quit: Leaving]
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
struktured has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ontologiae has quit [Ping timeout: 276 seconds]
Arsenik has quit [Remote host closed the connection]
tnguyen has quit [Ping timeout: 240 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
shinnya has joined #ocaml
darkf has joined #ocaml
ontologiae has joined #ocaml
eikke__ has joined #ocaml
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]