thomasga has quit [Read error: Connection reset by peer]
ikaros has quit [Quit: Ex-Chat]
eikke has joined #ocaml
thomasga has joined #ocaml
thomasga1 has quit [Read error: Connection reset by peer]
Cyanure has joined #ocaml
ikaros has joined #ocaml
raichoo has quit [Ping timeout: 240 seconds]
raichoo has joined #ocaml
emmanuel_ has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz
emmanuel_ has quit [Remote host closed the connection]
emmanuel_ has joined #ocaml
<adrien>
sometimes I wish there was a simple way to tell OCaml that a module is pure (and have the purity checked)
emmanuel_ has quit [Remote host closed the connection]
ikaros has quit [Ping timeout: 252 seconds]
destrius has quit [Quit: Leaving.]
<sgnb>
adrien: ocamlobjinfo $cmo | grep unsafe
Cyanure has quit [Remote host closed the connection]
<adrien>
sgnb: I'm more after detecting uses of mutability in some modules
<adrien>
and what are the "unsafe" features for ocamlobjinfo?
<sgnb>
external, -rectypes
<sgnb>
maybe others
<sgnb>
but probably not mutability
<adrien>
ah, right: I had tried -unsafe and the Obj module but it didn't trigger anything; thanks
<adrien>
I guess that grepping for ':=', <-, and a few other things would already be enough in my case
<adrien>
or pollute the namespace by opening a module which defines 'module Array = struct end'
cago has quit [Ping timeout: 255 seconds]
Cyanure has joined #ocaml
avsm has joined #ocaml
ikaros has joined #ocaml
cago has joined #ocaml
raichoo has quit [Read error: Connection reset by peer]
raichoo has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
mnabil has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
mfp has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
eikke has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
mfp has joined #ocaml
eikke has joined #ocaml
sepp2k has joined #ocaml
EmmanuelOga has joined #ocaml
emmanuel_ has joined #ocaml
emmanuel_ has quit [Remote host closed the connection]
<adrien>
I love the Obj module: it makes it possible to have some funny bug-hundint
<adrien>
hunting*
<thelema>
yup, the obj module forces you to think hard about "what's really going on"
avsm has quit [Quit: Leaving.]
erasereraser has joined #ocaml
<edwin>
you can mutate strings too
<edwin>
so check for String.set too
<edwin>
and some 3rd party libs mutate strings too, for example Cryptokit has a function to wipe a string. if used wrongly then yu wonder why you get the wrong results :)
<edwin>
it would be useful to have a tool that checks for pureness, especially for ocamldoc
<edwin>
although one would hope that people manually document mutation behaviour on functions that mutate their arguments...
mnabil has quit [Ping timeout: 252 seconds]
mnabil has joined #ocaml
erasereraser has quit [Ping timeout: 244 seconds]
EmmanuelOga has quit [Quit: WeeChat 0.3.7-dev]
cago has left #ocaml []
cago has joined #ocaml
mantrain has joined #ocaml
mantrain is now known as erasereraser
beginner has quit [Ping timeout: 252 seconds]
cago has quit [Quit: Leaving]
cago has joined #ocaml
Cyanure has quit [Quit: Quitte]
beginner has joined #ocaml
raichoo has quit [Quit: Lost terminal]
larhat has quit [Quit: Leaving.]
erasereraser has quit [Ping timeout: 245 seconds]
<gildor>
thelema: ping
mantrain has joined #ocaml
mantrain is now known as erasereraser
<thelema>
gildor: pong
dsheets has quit [Ping timeout: 244 seconds]
mcclurmc has quit [Excess Flood]
mcclurmc has joined #ocaml
<gildor>
thelema: I would like to be sure to answer the right topic on caml-list
<gildor>
;-)
<gildor>
(so many things have been written in the past weeks)
cago has left #ocaml []
<thelema>
yes, there was a *large* upswing in traffic
<thelema>
one sec while I find the thread
<thelema>
"how could the community help with Oasis-DB; towards a CPAN for OCaml?" by gasche is one point that your voice is missing
<gildor>
ok
<gildor>
headache coming back, so not sure to do it right now, but will do
<thelema>
no rush.
<thelema>
I'm kind of curious if oasis-db is ready enough for wide use
<thelema>
i.e lots of uploads
<gildor>
thelema: there is no real bugs
<gildor>
but the current website is LAGGING behind the dev version standing on my PC
<gildor>
eg ability to derive a package (you change important _oasis field on the server and it generates a new tarball)
<gildor>
maybe I can just remove the "test" stuff of the website and release a v1
<thelema>
gildor: it wouldn't hurt, if you get time. A requested feature was the ability to download a specific version of a package from odb - would that be easy on the server side?
<gildor>
thelema: I think it should be quite easy to do, all the thing you need is an extra call to know the name of the tarball
musically_ut has joined #ocaml
<thelema>
gildor: I was thinking of being able to query an info file with a version - "/dev/odb/versioned/batteries/1.4.1" gets the info file for batteries 1.4.1, with a link to its tarball, etc.
ttamttam has quit [Remote host closed the connection]
mnabil has quit [Ping timeout: 252 seconds]
<gildor>
thelema: will talk about that latter i propose
<thelema>
gildor: ok, get well soon.
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Client Quit]
oriba has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
Anarchos has joined #ocaml
biotchplz has joined #ocaml
erasereraser has quit [Ping timeout: 245 seconds]
mantrain has joined #ocaml
ftrvxmtrx has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
raichoo has joined #ocaml
biotchplz has quit [Quit: Leaving]
sepp2k has quit [Ping timeout: 240 seconds]
ikaros has joined #ocaml
<thelema>
gildor: another probably simple request - having version numbers in the "what's available from oasis-db" 00list text.
eikke has quit [Ping timeout: 245 seconds]
sepp2k has joined #ocaml
mantrain has quit [Quit: ALL ABORD THE MANTRAIN]
beginner has quit [Remote host closed the connection]
<thelema>
hcarty: let first_ok f xs = List.enum xs |> map (Result.catch f) |> Enum.find Result.is_ok |> Result.get
<thelema>
just use FP languages a lot, the tricks don't really need any formal background to understand.
<thelema>
yes, people who make up the tricks often use LC terminology, but that's just their view of the world
<oriba>
hmhh, there are some of these so called "reductions" which are not obvious to me
<oriba>
but doesn#t the lambda calculus help in understanding? I would think, it could help
<oriba>
(my impression)
<thelema>
maybe for me, lambda calculus is just common sense when thinking about functions in programming languages
<thelema>
and it has fancy names for not-really complicated things
<oriba>
so, you know lambda calculus already..?!
<oriba>
aha, hehe
<thelema>
no, I've just heard lots of the names
<oriba>
aha
<oriba>
ok, maybe some things look much bigger, when using lambda calculus (sounds better ;-) and more intelligent)
<thelema>
and looking on wikipedia, the definitions look scary but decoding them with my math background, they're not that bad.
<thelema>
yes, there's probably a bunch of that.
<oriba>
but I also had once read some papers on recursion and functions that call their inverse functions (or something else, don#ät rmemeber in detail) and it was talked abiut fixpoint and lambda calculus
<oriba>
and I didn#t gradsepd it
edwin has quit [Remote host closed the connection]
<oriba>
with lambda alculus, I think even some of the hard stuff can be understood, and explained
<oriba>
...at the moment I'm rewriting some code from one of my tools
<oriba>
and I think some stuff would maybe be more clear with more theory
<oriba>
(DSL implementation)
<oriba>
or maybe it just needs more practise
<thelema>
more practice doesn't hurt. Time for me to go practice Aikido. cheers
<oriba>
more theory also does not hurt ;)
<oriba>
have fun .
<oriba>
ciao
malc_ has joined #ocaml
bwright has quit [Quit: Lost terminal]
pango_ has joined #ocaml
pango has quit [Ping timeout: 252 seconds]
milosn has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
Cyanure has quit [Remote host closed the connection]
milosn has joined #ocaml
eikke has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
Morphous has quit [Ping timeout: 240 seconds]
eikke_ has joined #ocaml
ikaros has joined #ocaml
eikke has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]