cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
karswell has quit [Read error: Connection reset by peer]
karswell has joined #ocaml
talzeus has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
fraggle_laptop has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 248 seconds]
oriba_ has quit [Quit: oriba_]
madroach has joined #ocaml
breakds has joined #ocaml
transfinite has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
q66 has quit [Remote host closed the connection]
m4b has joined #ocaml
<m4b>
i've forgotten: in ocaml, type constructors of n-arity are represented by n-tuples; or like in haskell, can we have a type constructor, say P, of arity two, as a function of two arguments? I.e., we might write P <type> <type>?
pootler_ has joined #ocaml
pootler_ has quit [Ping timeout: 264 seconds]
breakds has quit [Remote host closed the connection]
<darkf>
m4b: I think they're unary - ('a, 'b) t
wmeyer has quit [Remote host closed the connection]
m4b` has joined #ocaml
<m4b`>
m4b`: my god why are there two instances of me?
m4b has quit [Ping timeout: 245 seconds]
<m4b`>
wtf
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
mattrepl has quit [Quit: mattrepl]
m4b` has left #ocaml []
m4b has joined #ocaml
yacks has quit [Ping timeout: 255 seconds]
<m4b>
so lex declarations in a .mll file, are characters forced? for example, I need to parse unicode, and was hoping to have a line like: | "∀" { FORALL }
jcao219 has joined #ocaml
pootler_ has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
pootler_ has quit [Quit: leaving]
m4b has quit [Ping timeout: 276 seconds]
ggole has joined #ocaml
Snark has joined #ocaml
jcao219 has quit [Quit: Leaving]
yacks has joined #ocaml
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
bkpt has quit [Quit: Leaving]
derek_c has joined #ocaml
talzeus has joined #ocaml
gautamc has quit [Read error: Connection reset by peer]
gautamc has joined #ocaml
<adrien>
\o
ttamttam has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
noj has quit [Quit: leaving]
raichoo has joined #ocaml
rixed_ is now known as rixed
Guest1066 has joined #ocaml
mika1 has joined #ocaml
cago has joined #ocaml
Watcher7 is now known as Watcher7|off
Kakadu has joined #ocaml
vivanov has joined #ocaml
vivanov has quit [Ping timeout: 276 seconds]
vivanov has joined #ocaml
f[x] has joined #ocaml
eikke has joined #ocaml
Guest1066 has quit [Ping timeout: 246 seconds]
vivanov has quit [Ping timeout: 276 seconds]
vivanov has joined #ocaml
vivanov has quit [Ping timeout: 240 seconds]
vivanov has joined #ocaml
ocp has joined #ocaml
aqil has joined #ocaml
ontologiae has joined #ocaml
<companion_cube>
o/
mcclurmc has joined #ocaml
<gasche>
"
<gasche>
Go is worse than OCaml in just about every respect, so I can’t see any reason to choose it if we wanted to do a rewrite."
<gasche>
§§
ollehar has joined #ocaml
<ipoulet>
what about lightweight tasks, gasche?
<companion_cube>
gasche: where does this quote come from?
<gasche>
ipoulet: message passing doesn't work for parallelism because it's so much less efficient than shared mutable memory, right, right?
<adrien>
I don't want to start worse/better than X.
<gasche>
adrien: still that link is pretty interesting, have a look
<gasche>
indeed I'm all for respect of other languages and against unconstructive trolling
<adrien>
I'd rather say that if you know OCaml, Go is probably a language that you won't be interested in
<gasche>
there was just some morning snark left in
<ipoulet>
gasche: what are you referring to exactly?
yacks has quit [Ping timeout: 264 seconds]
<ipoulet>
I mean, is there an official guideline about these questions in OCaml now?
<adrien>
gasche: I didn't say anything at the last meetup but I consider that the size of ocaml executables is often an issue for new adoptions
<adrien>
it's not that much a technical problem than something that looks fairly ridiculous
<adrien>
"I did a hello world that took 300KB?!"
<rks__>
pff
<rks__>
that's not even noticeable
yacks has joined #ocaml
<companion_cube>
quite interesting that the guy did consider ATS
<ousado>
heh what?
<rks__>
adrien: are there really some people who complain about that nowadays?
<adrien>
rks__: when you evaluate a technology, that looks _bad_
<companion_cube>
rks__: I suppose that if you write a complicated program, it's ok, but if you're re-implementing cat (to schematize) 300kB is huge
<adrien>
but that's actually solvable it seems: there are various dead-code elimination tools now
<rks__>
adrien:
<asmanur_>
rks__: that's noticeable when you have to transfer your whole .opam :-'
<rks__>
companion_cube: you know, I have 4TB of HD, 4GB of RAM
<adrien>
for yypkg, I have probably 500KB of overhead
<companion_cube>
rks__: I don't
<rks__>
i couldn't care less about 300kb
<adrien>
when my GCC is a 5MB package, the size of the package manager looks fairly ridiculous
<ipoulet>
rks__: good for you then
<adrien>
rks__: I care less about 20GB than about 300KB
<rks__>
companion_cube: the point is
<rks__>
that's the case for evrybody apart from really specific domain
<companion_cube>
rks__: I'm not so sure
<adrien>
you can afford it of course but the difference is that if your program is small, fast, memory-efficient, that looks really awesome
<rks__>
where they won't even consider ocaml for other reasons
<companion_cube>
not related question: does OCaml close filedescriptors when they are GC'd ?
<rks__>
sure adrien, it looks awesome, but in the end, why should you care ?
<companion_cube>
(well, out_channel, rather)
<adrien>
rks__: depends if you hope to attract more developpers
<rks__>
adrien: you won't attract the C(++) guys anyway
<rks__>
your market is python and javascript
<ousado>
rks__: why not?
<rks__>
they won't care.
<ousado>
Ido care
<adrien>
I wouldn't be so sure
<rks__>
ousado: and why is that?
<adrien>
and when you have some awesome demos as ocapic...
<ousado>
well, I've done a lot of C++ and my first look at a compiler written in ocaml was just "wow"
<ousado>
e.g. parallel pattern matching
aqil has quit [Quit: Ухожу я от вас]
<ousado>
or having pattern matching at all, ADTs
<rks__>
ousado: your point being?
<ousado>
my point is being attracted ;)
<rks__>
ok.
<ggole>
Or GC.
<ggole>
It's so nice to be able to share structure without having to think about lifetime stuff.
<rks__>
right ggole, but if that's what you want
<gasche>
talk time, see you later
<rks__>
you had no real reason for using C in the first place :-'
<ggole>
Unless I was working on existing code.
<rks__>
sure sure
<ggole>
Which is far more common than developing a project from scratch.
<rks__>
ggole: and if you had noticed (or maybe you noticed it?) that an "hello world" weighted 300kB, would you have been put off?
ttamttam has joined #ocaml
<ggole>
Depends on what I was doing.
<rks__>
:)
pootler_ has joined #ocaml
Drup has joined #ocaml
Drup1 has joined #ocaml
Drup2 has joined #ocaml
Drup has quit [Ping timeout: 245 seconds]
Drup1 has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
skchrko has quit [Quit: Leaving]
vivanov has quit [Quit: Lost terminal]
Drup2 has quit [Ping timeout: 240 seconds]
talzeus_ has joined #ocaml
walter|r has quit [Read error: Connection reset by peer]
walter has joined #ocaml
talzeus has quit [Ping timeout: 276 seconds]
Drup1 has joined #ocaml
mort___ has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
beckerb has joined #ocaml
Yoric has joined #ocaml
talzeus_ has quit [Read error: Connection reset by peer]
talzeus has joined #ocaml
Drup1 has quit [Ping timeout: 276 seconds]
yezariaely has quit [Remote host closed the connection]
yezariaely has joined #ocaml
<f[x]>
deploying megabytes of dead code - that's annoying
<f[x]>
not that it puts off - but anoying still
walter has quit [Ping timeout: 252 seconds]
csakatoku has joined #ocaml
mcclurmc has joined #ocaml
dsheets has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
csakatoku has joined #ocaml
mort___ has quit [Quit: Leaving.]
csakatok_ has quit [Ping timeout: 276 seconds]
Drup has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
csakatoku has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
mort___ has joined #ocaml
mort___ has left #ocaml []
madroach has joined #ocaml
csakatok_ has quit [Ping timeout: 276 seconds]
f[x] has quit [Ping timeout: 248 seconds]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 255 seconds]
_andre has joined #ocaml
f[x] has joined #ocaml
ocp has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 248 seconds]
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 264 seconds]
walter has joined #ocaml
shinnya has joined #ocaml
csakatok_ has joined #ocaml
ocp has quit [Quit: Leaving.]
csakatoku has quit [Ping timeout: 248 seconds]
f[x] has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
spanish has joined #ocaml
csakatok_ has quit [Ping timeout: 264 seconds]
<spanish>
hi
Kakadu has quit [Read error: Connection reset by peer]
csakatok_ has joined #ocaml
<spanish>
what's wrong with having a top-level declaration like this one? `let something = ref []'
<spanish>
the compiler spits out different messages depending on what's before and after, and now that after testing in main.ml, moved it to the file it should be it says:
<spanish>
The type of this expression, '_a list ref, contains type variables that cannot be generalized
csakatoku has quit [Ping timeout: 264 seconds]
<balouis>
spanish: the thing is that when you use en ref [] the compiler doesn't know the exact type
<balouis>
but it is not a generalized type
<spanish>
so why it works inside a function then?
<balouis>
because the compiler can infer the type
<spanish>
ahm, well, it could also infer by looking at how it's used throught the program, what's the proper way to declare a list of strings then?
<balouis>
if it is only for strings you can enforce the type
<balouis>
let s = ref ([]:string list) ;;
<adrien_oww>
spanish: val x : '_a list ref = {contents = []}
<adrien_oww>
the '_a means that it can have any type but this type isn't known yet
<spanish>
a ok, thanks
<balouis>
(actually if the compiler cannot generalized a type, it is usually because you don't use it)
<adrien_oww>
what matters is the "yet"
<adrien_oww>
(and as balouis just said)
<spanish>
that's true, I commented out the part I was using it
<spanish>
but prefer declaring it the splicit way, seems more maintainable to me
csakatoku has joined #ocaml
cdidd has joined #ocaml
csakatok_ has quit [Ping timeout: 276 seconds]
ontologi1e has joined #ocaml
ontologi1e has quit [Client Quit]
talzeus has quit [Remote host closed the connection]
csakatok_ has joined #ocaml
madroach has quit [Quit: leaving]
csakatoku has quit [Ping timeout: 264 seconds]
breakds has joined #ocaml
csakatoku has joined #ocaml
Kakadu has joined #ocaml
csakatok_ has quit [Ping timeout: 240 seconds]
skchrko has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Read error: Connection reset by peer]
csakatok_ has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
madroach has joined #ocaml
talzeus has joined #ocaml
f[x] has joined #ocaml
oriba has joined #ocaml
Kakadu has quit [Ping timeout: 264 seconds]
<gasche>
def-lkb_, rks__, asmanur_ : the merlin process dies unexpectedly, where do I find the log and how do I configure emacs to activate debug mode?
<Drup>
remyzorg: I didn't realise you were using zsh, what line did you put on your zshrc ?
<gasche>
I hope someone will add this to the OPAM documentation
<gasche>
because it's important
<remyzorg>
I put in my zshrc exactly the output of "opam config env"
<remyzorg>
It works in my terminal
<Drup>
and you're not using emacs in daemon mode ?
<remyzorg>
gasche: I've seen this thread before but I find this way a bit...complicated
<remyzorg>
Drup : nop
raichoo has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
hkBst has quit [Quit: Konversation terminated!]
beckerb has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
<remyzorg>
gasche : the trick does'nt even works for me : my emacs crashed :D
<remyzorg>
I can't even impot my variable PATH in env-path under emacs :/
<Drup>
gasche: I have a macaque question. I have a function Sql.t -> Sql.view, I would like to use it on a value inside a query but the grammar don't allow me to do so. Is this a grammar problem or a more fundamental one ?
zpe has quit [Ping timeout: 240 seconds]
tobiasBora has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
ttamttam has quit [Quit: ttamttam]
Yoric has joined #ocaml
csakatoku has quit [Remote host closed the connection]
<jpdeplaix>
Drup: what are you trying to do exactly ?
<jpdeplaix>
Drup: yes, I'm using this kind of things in cumulus but I just forgot :D
Zeev has quit [Read error: Connection reset by peer]
tani has joined #ocaml
mcclurmc has quit [Ping timeout: 276 seconds]
cthuluh_ has joined #ocaml
orbitz_ has joined #ocaml
pippijn_ has joined #ocaml
rixed_ has joined #ocaml
BiDOrD_ has joined #ocaml
Drup has quit [Ping timeout: 245 seconds]
gbluma_ has joined #ocaml
jcao219 has quit [*.net *.split]
m4b has quit [*.net *.split]
tane has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
cdidd has quit [*.net *.split]
walter has quit [*.net *.split]
dsheets has quit [*.net *.split]
djcoin has quit [*.net *.split]
ggole has quit [*.net *.split]
orbitz has quit [*.net *.split]
pippijn has quit [*.net *.split]
cthuluh has quit [*.net *.split]
rixed has quit [*.net *.split]
gbluma has quit [*.net *.split]
ivan\ has quit [*.net *.split]
Watcher7 has quit [*.net *.split]
<m4b`>
also, the .mli file complains that a type, wff, is undeclared; this is the return type of the final parser, which converts a first order formula into the parse tree I've built for it; here is the .mly file: http://dpaste.com/1226441/
ivan\ has joined #ocaml
skchrko has quit [Quit: Leaving]
pootler_ has quit [Quit: leaving]
pootler_ has joined #ocaml
gautamc has quit [Read error: Connection reset by peer]