S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
siddharthv_away is now known as siddharthv
r0b4 has quit [Ping timeout: 240 seconds]
segmond has joined #ocaml
ggole has joined #ocaml
segmond has quit [Ping timeout: 240 seconds]
segmond has joined #ocaml
tlockney_away is now known as tlockney
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
axiles has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ddosia has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yacks has quit [Ping timeout: 264 seconds]
jao` has quit [Ping timeout: 244 seconds]
yacks has joined #ocaml
tlockney is now known as tlockney_away
zpe has joined #ocaml
ulfdoz has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
r0b4 has joined #ocaml
ocp has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
angerman has joined #ocaml
yacks has quit [Remote host closed the connection]
arjunguha has joined #ocaml
clan has quit [Quit: clan]
matthieu2 has joined #ocaml
claudiuc has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
matthieu2 has quit [Ping timeout: 264 seconds]
yacks has joined #ocaml
clan has joined #ocaml
AltGr has joined #ocaml
freling has quit [Ping timeout: 245 seconds]
locus has joined #ocaml
freling has joined #ocaml
<locus>
Is there a way to modify or add types dynamically/programmatically? If, say, I have want to use an evolutionary algorithm to evolve rules for a lindenmayer system?
<locus>
I have currently modelled the symbols as "type symbols = X | Y" and the transformation rules are just matching the symbols and returning the appropriate value
<ggole>
Types are entirely static in OCaml. However, you can come up with your own encoding of similar information.
<flux>
well, exceptions are an.. exception to the rule, but no, you cannot add types programmatically. can even Coq can do that?
<ggole>
Well, you can (sort of) do it in Lisp.
<flux>
yeah, but those aren't the kind of types TaPL talks about :)
<flux>
I can check tag of a value and use Obj.magic in OCaml as well if it maches :)
<ggole>
Yeah, it's more of a run-time decision thing.
<ggole>
A bit more involved than just tags, but similar.
<ggole>
Hence the "sort of".
Muzer has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
wwilly has joined #ocaml
<wwilly>
bonjour
mort___ has joined #ocaml
mika1 has joined #ocaml
ollehar has joined #ocaml
clan has quit [Quit: clan]
ikaros has joined #ocaml
sgnb has quit [Remote host closed the connection]
Muzer has joined #ocaml
Simn has joined #ocaml
tane has joined #ocaml
angerman has quit [Quit: Gone]
sw1nn has joined #ocaml
sw1nn is now known as Guest91607
Guest91607 is now known as swinn
swinn is now known as sw1nn
appleby has joined #ocaml
<appleby>
hey there
<appleby>
how do I determine the types of functions and stuff of an .ml file?
<companion_cube>
if you compile it using ocamlc -c foobar.ml
<companion_cube>
I think you get a .mli
<adrien_oww>
no?
<companion_cube>
hmmmm
<adrien_oww>
-i
gal_bolle has joined #ocaml
angerman has joined #ocaml
<flux>
appleby, another approach is to use an editor like emacs or vi with some ocaml support
<appleby>
i have emacs running right now
<flux>
for example Emacs with turaeg-mode allows to find the type of an expression under cursor with C-c C-t
<appleby>
prerr_endline "Warning: You are close (less than twice the max distance) to an UTM zone border ! The navigation will not work unless the GPS_USE_LATLONG flag is set and the GPS receiver configured to send the POSLLH message.
<companion_cube>
I know
<companion_cube>
just deal with mine
<companion_cube>
:D
ollehar has quit [Ping timeout: 240 seconds]
appleby has quit [Quit: appleby]
asmanur has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
dsheets has quit [Ping timeout: 245 seconds]
tnguyen has quit [Ping timeout: 240 seconds]
jonludlam has joined #ocaml
<uggwar>
i'm still unable to get proper indenting with ocp-indent working in vim. i've followed the instructions on how to install the script, but no success. someone with success; can you please show me what you had to do?
tnguyen has joined #ocaml
gal_bolle has quit [Quit: Konversation terminated!]
dsheets has joined #ocaml
avsm has joined #ocaml
_andre has joined #ocaml
bicgena has quit [Quit: Connection closed for inactivity]
arjunguha has joined #ocaml
introom2 has quit [Ping timeout: 240 seconds]
amirmc has joined #ocaml
avsm has quit [Quit: Leaving.]
tobiasBora has joined #ocaml
<flux>
heh, fun operator usage in that link, (Deg>>Rad)
<flux>
sadly applyby is gone, but when he comes back, maybe he wants to know about Latlong.deg_string_of_rad
ygrek has quit [Ping timeout: 264 seconds]
tane has quit [Ping timeout: 244 seconds]
Kakadu has quit [Ping timeout: 245 seconds]
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
claudiuc has quit [Remote host closed the connection]
introom2 has joined #ocaml
tobiasBora has quit [Read error: Connection reset by peer]
mika1 has quit [Quit: Leaving.]
mika2 has joined #ocaml
tane has joined #ocaml
mika2 has quit [Quit: Leaving.]
mika1 has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<sagotch>
does someone knows what is going on here ?
<sagotch>
should opam-version should be "1" ?
<companion_cube>
sagotch: did you add your opam-repository to the list of your remotes?
<companion_cube>
(or made a pull-request to integrate it within the main opam repo)
<sagotch>
it is in main opam repo
<sagotch>
merged this morning
<companion_cube>
ah
<AltGr>
just "1.1" normally
<AltGr>
ocaml > 4.01.0 ? Did you mean >= ?
shinnya has quit [Ping timeout: 264 seconds]
<uggwar>
autoindent seems to not use ocp-indent. if i select the source, and pipe it to ocp-indent, it looks correct. but if i start typeing 'let' after a module...struct...end definition, it gets indented
<pippijn>
companion_cube, gasche: ping
<companion_cube>
yep?
<sagotch>
looking at opam doc, < should be the good sign to use
avsm has joined #ocaml
<sagotch>
hum
<sagotch>
my bad it means the opposite of what I thought it meant
r0b4 has quit [Ping timeout: 265 seconds]
<sagotch>
but opam says that toml is available for ocaml 4.01.0...
<AltGr>
true, that's wrong
<companion_cube>
indeed, I can find it too
<sagotch>
(see pastebin link)
<pippijn>
companion_cube: are you and gasche at place d'italie tomorrow?
<companion_cube>
pippijn: I'll be, yes
<pippijn>
I know a good chinese restaurant near tolbiac
<AltGr>
well it doesn't here
<def-lkb>
uggwar: I am insisting, but did you try ocp-indent-vi?
wombat1 has joined #ocaml
<pippijn>
(with actual chinese food)
<AltGr>
so I'll take a wild guess and say it's fixed on trunk :)
<AltGr>
(been fixing lots of corner cases and error messages lately :))
<appleby>
I followed the first section installing merlin and its emacs mode with opam
<appleby>
and it doesn't work
<appleby>
thx btw
<hcarty>
Sure
jwatzman|work has joined #ocaml
<hcarty>
I'm not a Mac or emacs user (Linux + vim) but I'd be surprised if that combination doesn't work.
<hcarty>
s/doesn't work/can't be made to work/
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
<hcarty>
The last time I used emacs I remember having to edit a different configuration file than the one the documentation I looked at specified...
<hcarty>
I don't remember what I actuall edited though. ~/.emacs.d/something maybe.
<hcarty>
s/actuall/actually/
<appleby>
hcarty, would you say I can print out posn_lat by using something like printf " {%d, %d, %.0f}, /* 1e7deg, 1e7deg, cm (hmsl=%.2fm) */ \\\n" (convert_angle wgs84.posn_lat) (convert_angle wgs84.posn_long) (100. *. float_of_string alt) (Egm96.of_wgs84 wgs84)
<appleby>
which i got from code in another file?
<appleby>
I edited ~/.emacs, which is what I used to get tuareg running
Kakadu has joined #ocaml
appleby has quit [Ping timeout: 264 seconds]
appleby has joined #ocaml
<appleby>
sorry i was gone
<appleby>
disconnected
michael_lee has joined #ocaml
AltGr has left #ocaml []
<reynir>
I don't grok omake
<hcarty>
appleby: If all you want is the raw value, you can use: printf "posn_lat: %f\n" wgs84.posn_lat
<hcarty>
appleby: Though I have no idea how that will interfere with the rest of the application
r0b4 has quit [Ping timeout: 252 seconds]
<appleby>
how could it interfere possibly?
<appleby>
in other languages printf is a pretty benign function
<hcarty>
If the application plays with stdout
<appleby>
oh
<hcarty>
I doubt it does, but it seems like a fairly large and complex piece of software
<appleby>
also printf has no semicolon at the end?
<appleby>
yeah
<appleby>
well I have to figure out why the GPS is not working :(
<appleby>
very complex
<appleby>
and as you can see I'm an Ocaml novice
<hcarty>
You would need a semicolon at the end of the line
<hcarty>
Everyone starts out as a novice :-)
divyanshu has quit [Ping timeout: 240 seconds]
<appleby>
problem is i have 2 weeks
avsm has quit [Quit: Leaving.]
<hcarty>
Get merlin working as soon as you're able. And spread printf calls everywhere.
q66 has joined #ocaml
divyanshu has joined #ocaml
tani has quit [Ping timeout: 252 seconds]
<appleby>
ok yea
<appleby>
any ideas why it's not working
zxqdms has quit [Quit: leaving]
michael_lee has quit [Ping timeout: 264 seconds]
wombat1 has quit [Ping timeout: 265 seconds]
srcerer has joined #ocaml
komyagin has joined #ocaml
tani has joined #ocaml
pango has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
pango has joined #ocaml
rand000 has joined #ocaml
lostcuaz has quit [Ping timeout: 244 seconds]
<uggwar>
def-lkb: it was vim-polyglot who interefered. now ocp-indent-vim works perfectly!
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
r0b4 has joined #ocaml
comacat has joined #ocaml
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
appleby has quit [Quit: appleby]
komyagin has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 240 seconds]
arjunguha has joined #ocaml
sw1nn has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
jao` has quit [Ping timeout: 264 seconds]
amirmc1 has quit [Quit: Leaving.]
tobiasBora has quit [Read error: Connection reset by peer]
angerman has quit [Read error: Operation timed out]
tani has quit [Quit: Verlassend]
amirmc has joined #ocaml
NoNNaN has joined #ocaml
amirmc has quit [Quit: Leaving.]
xitology_ has quit [Quit: Ex-Chat]
xianxu has joined #ocaml
xianxu has quit [Client Quit]
xianxu has joined #ocaml
xianxu has quit [Client Quit]
xianxu has joined #ocaml
clan has joined #ocaml
yacks has quit [Quit: Leaving]
ontologiae has quit [Ping timeout: 240 seconds]
appleby has joined #ocaml
<maurer>
Is there any way to make a file level functor the same way that files are normally modules?
Anarchos has quit [Quit: Vision[0.9.7-H-20131020]: i've been blurred!]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
lostcuaz has quit [Ping timeout: 240 seconds]
aeio has joined #ocaml
_andre has quit [Quit: leaving]
<Drup>
maurer: no
<ggole>
You can nest one inside the file though.
<appleby>
can anyone help me set up merlin with emacs
kakadu_ has joined #ocaml
gereedy has quit [Ping timeout: 265 seconds]
Kakadu has quit [Remote host closed the connection]
gereedy has joined #ocaml
<appleby>
hello??
<kakadu_>
who is there?!
<kakadu_>
Where am I?
angerman has joined #ocaml
<appleby>
lol
<appleby>
can you help me set up merlin with emacs
cdidd has quit [Remote host closed the connection]
<Kakadu>
M-x describe-variable opam-share
bitbckt has joined #ocaml
Guest17399 is now known as lopex
ggole has quit []
arjunguha has quit [Client Quit]
wombat1 has joined #ocaml
appleby has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 240 seconds]
amirmc has joined #ocaml
dsheets has joined #ocaml
clan has quit [Quit: clan]
axiles has quit [Remote host closed the connection]
amirmc has quit [Quit: Leaving.]
venk has joined #ocaml
clan has joined #ocaml
Hannibal_Smith has joined #ocaml
clan has quit [Client Quit]
zxqdms has joined #ocaml
appleby has joined #ocaml
<appleby>
hey sorry I was disconnected
lostcuaz has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
lostcuaz has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
<appleby>
I think I got merlin working but when I do C-c C-t it just says buffer has no process
shinnya has joined #ocaml
<appleby>
hello??
appleby has quit [Quit: appleby]
ontologiae has joined #ocaml
ollehar has quit [Quit: ollehar]
tobiasBora has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
clan has joined #ocaml
angerman has quit [Quit: Gone]
ontologiae has quit [Ping timeout: 240 seconds]
clan has quit [Client Quit]
claudiuc has joined #ocaml
claudiuc_ has joined #ocaml
amirmc has joined #ocaml
claudiuc has quit [Ping timeout: 240 seconds]
cdidd has joined #ocaml
clan has joined #ocaml
<jdoles>
Is there any list of libraries somewhere which has been 'vetted' by professionals? The problem with all of this open-source stuff is that anyone can distribute something (and thus also waste my time with looking at it).
clan has quit [Client Quit]
<companion_cube>
jdoles: what's a professional to you? someone paid to check whether libraries are good?
mgodshall has quit [Quit: mgodshall]
<companion_cube>
does a professional programmer who writes code in her free time pass?
* nicoo
would happily take money to recommend you some libraries :>
<jdoles>
companion_cube: no, someone who builds important infrastructure to solve some problem.
<nicoo>
companion_cube: Are you a professional programer or a professional researcher who happens to have code as a by-product ?
<companion_cube>
well, I'm paid to do research :)
<companion_cube>
jdoles: so, small code isn't good enough, it has to be "large infrastructure"?
<jdoles>
companion_cube: small code never reaches edge cases.
<nicoo>
Yes. But do you consider programing to be a key part of your research activity ?
<companion_cube>
nicoo: I do, actually, it's exploratory programmng ;)
<jdoles>
companion_cube: that's one of the reasons why Java is popular; other people have already worked out the bugs.
<companion_cube>
ah.
<nicoo>
jdoles: Ahahahahah. Nope.
<companion_cube>
and the language is so good you can write your own easily
<jdoles>
I think OCamlJava or whatever is in principle a good idea, assuming it works.
<companion_cube>
I'd like proof that open-source OCaml is more buggy than professionally-written java
<jdoles>
companion_cube: do OCaml projects even come with standard tests these days?
<jdoles>
If there is just an API, and no tests, why should I even consider for a second that it will work for all cases?
<companion_cube>
what if it's extracted from coq? ;)
<jdoles>
companion_cube: that counts.
<companion_cube>
more seriously, oUnit is one of the most popular package
<companion_cube>
so I guess people write tests
<companion_cube>
I do in many cases
<jdoles>
Where can I do SELECT * FROM projects where oUnitTests >= 20 and author_education>='university' and age>=30 ?
<companion_cube>
-_-
denabak has joined #ocaml
<companion_cube>
ok, I should ignore you actually
<nicoo>
jdoles: Sounds like rather random criteria. And where can you do such a « query » for Java libs ?
<companion_cube>
"age >= 30", wtf
<jdoles>
companion_cube: young people are reckless and think they know everything.
<companion_cube>
indeed, and since I'm less than 30 I can't help you. bye.
<jdoles>
companion_cube: bye
<whitequark>
a hilarious attempt at trolling? *shrug*
<jdoles>
No, just pointing out that there is no organized community.
<adrien>
23:09 jdoles : Where can I do SELECT * FROM projects where oUnitTests >= 20 and author_education>='university' and age>=30 ?
<adrien>
*LOL*
<adrien>
you want the industry's best-kept secret?
<adrien>
author_education >= university is often what gets you crap
<Drup>
adrien : their code is shit, but nobody know it, because it's closed source ? :D
<jdoles>
adrien: looks like we have found someone without one.
<adrien>
some of the best devs I know did stuff like BTS and the like (french stuff)
<adrien>
jdoles: wooooooooops, wrong
<adrien>
Drup: I think that's pretty much that :P
<jdoles>
adrien: not everyone lives in Frechyville.
denabak has quit [Ping timeout: 252 seconds]
<jdoles>
Frenchyville, even.
jonludlam has joined #ocaml
<Drup>
jdoles: by curiosity, what are you doing professionally to be so uptight about industry-strength code ? :)
* whitequark
recalls that time when his university hired him, a freshman, as a programmer, because apparently a diploma doesn't translate to good code.
<adrien>
well, I, for one, do, and I think I've been too nice to try to think of an equivalent for you to understand
<jdoles>
whitequark: no, that's just because they are tight money wise.
<whitequark>
jdoles: you sound as if you know everything
<jdoles>
whitequark: that would be almost correct.
<jdoles>
Anyway, if I want my little database, I just need to write a little crawler to figure out that information.
* whitequark
wonders how many Dijkstras would jdoles measure at
<whitequark>
1.5 ?
<def-lkb>
:')
* jdoles
wouldn't be surprised if he had been my father, but alas that's not the case.
<Drup>
well
<Drup>
Dijkstras actually produced interesting and clever stuff
<Drup>
from you jdoles, I have yet to see something else that bullshit.
<jdoles>
Drup: give me a call when universities find the money to pay me.
<jdoles>
Drup: and I don't think Dijkstra was that impressive.
<companion_cube>
wow.
<jdoles>
Drup: he just was one of the first to have a computer with a proper background.
<companion_cube>
I guess Knuth isn't impressive either?
ontologiae has joined #ocaml
<companion_cube>
(at least he's more than 30)
jdoles was kicked from #ocaml by adrien [please go elsehere to be derogatory, and no it isn't about Dijkstra]
<adrien>
and now I can sleep
<def-lkb>
"PAN!"
<whitequark>
hey, he was rather entertaining
<adrien>
yeah but I'm going to bed and I didn't want to let him loose during the night
<whitequark>
sure, sure :)
<adrien>
one day we can get more +f, +F and +o on this channel
<companion_cube>
who's the owner actually?
<adrien>
but that day is not today and not this month either
<companion_cube>
I see you like to keep the power all for yourself.
<adrien>
exactly!
<adrien>
which means you're first on the list of next ops
<adrien>
I'm sure you'll find it very funny :P
<companion_cube>
:>
<adrien>
:)
<ousado>
wooot
shinnya has quit [Ping timeout: 265 seconds]
Thooms has quit [Quit: WeeChat 0.3.8]
<nicoo>
adrien: I'm afraid of what C³ would do with that.
<adrien>
nicoo: invent a new way to op a channel?
<nicoo>
Probably auto-kick people without a high enough frequency of #yolo :þ
<adrien>
I don't know what else he could do
<adrien>
:D
<adrien>
right!
<nicoo>
Oh, yes, probably :D
<adrien>
I had forgotten he was forbidden to get +o because of his tendency to say "yolo"
tautologico has joined #ocaml
<companion_cube>
no, I would kick people who don't say "yolo" enough
<companion_cube>
and adrien would be the first on my list
ontologiae has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
tlockney_away is now known as tlockney
amirmc has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 244 seconds]
willb1 has quit [Read error: Operation timed out]
mort___ has quit [Quit: Leaving.]
willb1 has joined #ocaml
willb1 has quit [Ping timeout: 265 seconds]
willb1 has joined #ocaml
willb1 has quit [Ping timeout: 265 seconds]
tobiasBora has quit [Quit: Konversation terminated!]
cdidd has quit [Remote host closed the connection]
willb1 has joined #ocaml
cdidd has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rand000 has quit [Quit: leaving]
tlockney is now known as tlockney_away
Simn has quit [Quit: Leaving]
lostcuaz has joined #ocaml
lostcuaz has quit [Write error: Connection reset by peer]
ollehar has joined #ocaml
arjunguha has joined #ocaml
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
q66 has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]