chrisdotcode_ has quit [Remote host closed the connection]
chrisdotcode has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Guest54107 has quit [Remote host closed the connection]
<BitPuffin>
maybe I need to set some flag
<BitPuffin>
somehow
<nicoo>
BitPuffin: Did you install cohttp via OPAM ? What does 'which ocamlfind' gives you ?
boogie has quit [Remote host closed the connection]
jayprich has quit [Ping timeout: 245 seconds]
Ptival is now known as Ptivampire
<BitPuffin>
yes
<BitPuffin>
/usr/bin/ocamlfind
zpe has joined #ocaml
<BitPuffin>
nicoo ^
<nicoo>
BitPuffin: Ah. The system-wide install of ocamlfind probably doesn't know about OPAM packages
<nicoo>
The quick and dirty way would be to export your list of packages, switch to an OPAM-managed environment and reimport it. But you wait while OPAM compiles a brand-new OCaml install :(
zpe has quit [Ping timeout: 265 seconds]
<BitPuffin>
nicoo: but ocamlfind is also using systemwide
<BitPuffin>
nicoo: and it does find lwt and cohttp
<BitPuffin>
nicoo: just that cohttp can have different implementations or something (lwt, async and something else)
<BitPuffin>
and I wanna use lwt (for some reason)
<BitPuffin>
but I can't seem to access that module
<BitPuffin>
actually -package lwt is not even necessary
boogie has joined #ocaml
jpdeplaix has quit [Ping timeout: 252 seconds]
steshaw has joined #ocaml
<BitPuffin>
ah
<BitPuffin>
cohttp.lwt
nikki93 has joined #ocaml
<BitPuffin>
alright it built!
wolfnn has quit [Read error: Operation timed out]
strobegen has joined #ocaml
jpdeplaix has joined #ocaml
csakatoku has joined #ocaml
<BitPuffin>
but it doesn't work xD
yroeht has joined #ocaml
<Drup>
BitPuffin: in the code you pasted, you define a function but don't actually use it
<BitPuffin>
Drup: nah I know, I tried using it though, and visiting the url just kept loading forever, and when I terminated the server it immediately went to not found
hmmh has joined #ocaml
<hmmh>
Hey does anyone have a link to a non github'd version of Real World Ocaml that I can check out?
<Drup>
not yet
mangaba_leitosa has joined #ocaml
<Drup>
you will have to wait a bit for that
<Drup>
they promised to put one after the release
<hmmh>
Strange setup they've got for previewing the book
<Drup>
that's the point, it's not really for previewing, more for debuging
zpe has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
csakatok_ has joined #ocaml
<hmmh>
Ah ok... guess I'll have to wait.
<hmmh>
Drup: do you use haskell at all?
<Drup>
I do currently
<hmmh>
How do you find it compares with OCaml?
<hmmh>
Broad question, I realize. But nonetheless...
<Drup>
to quote BitPuffin, because I like his way to put it, "uptight"
csakatoku has quit [Ping timeout: 248 seconds]
zpe has quit [Ping timeout: 272 seconds]
<hmmh>
haha, I'm finding. Just wondering if all the uptight-ness is worth it in the end
<Drup>
I quite dislike the whole purity principle used by haskell and I find ocaml, in general, far more practical.
ollehar has joined #ocaml
<Drup>
this hold for both fo the language and the part I have see in the landscape (tooling and libraries)
<Drup>
except for typeclass, because this is just too awesome
<Drup>
BitPuffin: no, it's a syntax extension used by lwt
<BitPuffin>
Drup: but that is erroring
<BitPuffin>
well
<BitPuffin>
both are
<Drup>
it's erroring because you didn't compile with the syntax extension :)
<hmmh>
Drup: Yeah. Are you familiar with the lens library?
<Drup>
no
<BitPuffin>
Drup: obviously :P
<BitPuffin>
I wonder how I add it with oasis
<Drup>
hmmh: I head about it, but didn't look at it
<BitPuffin>
can't find the syntax extension anywhere in the oasis file for cohttp Drup
<BitPuffin>
aha!
<BitPuffin>
well
<BitPuffin>
I added lwt.syntax to my build depends, that didn't help
<hmmh>
Drup: it's a bit of a monstrosity... there are over 100 operators. And tbh the reception that it received within the haskell community caused me to start questioning whether haskell was or would ever be anything more than an academic language
jle` has quit [Quit: WeeChat 0.3.8]
<Drup>
hmmh: well, cool hacks are cool :D
<hmmh>
Drup: haha yeah, I just shudder at the idea of developing a codebase using a lib like that and then having to maintain it later
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatok_ has joined #ocaml
arquebus has joined #ocaml
<orbitz>
ggole: saw that too! looking forward to reading it
sgnb` has quit [Remote host closed the connection]
csakatoku has quit [Ping timeout: 248 seconds]
sgnb has joined #ocaml
<ggole>
The language being compiled is a bit simple, but its still a nice exposition
steshaw has quit [Ping timeout: 256 seconds]
arquebus has quit [Quit: Konversation terminated!]
<ggole>
Heh, the register allocator is tiny and "may take a few minutes"
<ggole>
Understandable given the purpose of the code, I guess.
nikki93 has quit [Remote host closed the connection]
<orbitz>
yeah
<orbitz>
educational
ttamttam has joined #ocaml
Snark has joined #ocaml
MoHaX has joined #ocaml
luke_ has joined #ocaml
MoHaX has quit [Read error: Connection reset by peer]
mika1 has joined #ocaml
cago has joined #ocaml
adrien_o1w is now known as adrien_oww
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
robink has quit [Quit: No Ping reply in 180 seconds.]
djcoin_ has joined #ocaml
robink has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
tianon has quit [Ping timeout: 272 seconds]
mchqwerty has joined #ocaml
luke_ has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
tianon has joined #ocaml
yezariaely has joined #ocaml
luke_ has joined #ocaml
<companion_cube>
o/
<adrien_oww>
mornin
zpe has joined #ocaml
Neros has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
luke_ has quit [Read error: Operation timed out]
yezariaely has quit [Read error: Operation timed out]
zpe has quit [Ping timeout: 272 seconds]
wolfnn has joined #ocaml
dsheets has joined #ocaml
luke_ has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
luke_ has quit [Read error: Connection reset by peer]
testcocoon has joined #ocaml
Simn has joined #ocaml
Kakadu has joined #ocaml
AltGr has joined #ocaml
skchrko has joined #ocaml
zpe has joined #ocaml
manud has quit [Read error: Connection reset by peer]
manud has joined #ocaml
yacks has quit [Quit: Leaving]
mfp has joined #ocaml
Yoric has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
Radditz has joined #ocaml
<Radditz>
ocaml is only version 4 ? I used to use version 4 like 2 years ago
<companion_cube>
ocaml doesn't change major revisions often
<adrien_oww>
4 was not 2 years ago
<adrien_oww>
was released summer 2012
<Radditz>
adrien_oww: maybe it was not yet an official release, our teacher made us install us to show us new stuff, like algebraic data types and whatnot
<Radditz>
it was to experiment the stuff he taught us
bnoordhuis has joined #ocaml
<companion_cube>
Radditz: you mean, GADT?
dsheets has joined #ocaml
<Radditz>
companion_cube: I guess, I forgot most of it anyway
<Radditz>
I remember there were types that you could make on the fly, with > annd < symbols about containing them, you had to use caps to define them and ' or something
<companion_cube>
that's the part that justifies the major release :)
<Radditz>
our teacher taught us aspects of functional programming, and used ocaml 4 to show us how it works
<Radditz>
he did a lot of stuff during the course
<Radditz>
what impressed me the most, something that I didn't realize before was the implementation of red-black tree insertion using sum types
<Radditz>
you just match and describe the structure of the tree, no pointers, no nothing, so intuitive
<adrien_oww>
polymorphic variants have existed since long before version 4 though
<Radditz>
I feel somtimes like iterative programming corrupts me
<adrien_oww>
it does
<Radditz>
well I don't remember what parts from 4.0 he showed us
<Radditz>
but sum types allow you to basically write the code as a mathematical definition, not think about how to implement it in objects, or pointers, or whatnot
<ia0>
out of curiosity, is it possible to know your teacher?
<Radditz>
I hope he doesn't mind, I could give you the link to his course
<gour>
well, e.g. wxrust is using wxhaskell's wxC in order to not re-invent the wheel, and that's approach what was recommended by main wx dev (vz). however, don't know how much is qt different in regard
mchqwerty has quit [Quit: Odcházím]
<adrien_oww>
one of the things I find the most annoying is to setup a timer with Qt
<adrien_oww>
you need to implement a virtual protected method in your code
jonludlam has joined #ocaml
<pippijn>
hm
<pippijn>
I don't remember this
Yoric has joined #ocaml
<pippijn>
doesn't it work with signals?
<adrien_oww>
not timer
<adrien_oww>
well
<adrien_oww>
maybe
ttamttam has joined #ocaml
<adrien_oww>
I know I had to implement a virtual protected method
<adrien_oww>
that was around 2 years ago
<pippijn>
ok
<adrien_oww>
but in any case, even if you don't need to do it that way currently, it shows one issue
dsheets has quit [Read error: Operation timed out]
Neros_ has quit [Ping timeout: 248 seconds]
bnoordhuis has joined #ocaml
mcclurmc has joined #ocaml
talzeus_ has joined #ocaml
metasyntax has quit [Quit: Leaving]
peterbb has quit [Ping timeout: 256 seconds]
peterbb has joined #ocaml
smondet has quit [Quit: leaving]
peterbb has quit [Read error: Operation timed out]
hto has quit [Read error: Connection reset by peer]
cesar_ has joined #ocaml
hto has joined #ocaml
cesar_ is now known as Guest97610
Neros has joined #ocaml
Kakadu has joined #ocaml
dsheets has joined #ocaml
peterbb has joined #ocaml
<gour>
Drup: if ocaml gets some new gui bindings, i do not mind carrying any label ;)
<Drup>
lablgour ?
dsheets has quit [Ping timeout: 256 seconds]
<gour>
Drup: no, but xyz-maniac :-D
<Drup>
monomaniac doesn't means a maniac of mono :p
<gour>
i know ;)
<gour>
..you jsut put everything under one issue
<gour>
but it could easily be, at least duo: language+bindings
<gour>
opam upgrade did nice jobs here...cool
thelema has quit [Ping timeout: 245 seconds]
thelema has joined #ocaml
cago has left #ocaml []
smondet has joined #ocaml
mika1 has quit [Quit: Leaving.]
jayprich has quit [Ping timeout: 265 seconds]
dsheets has joined #ocaml
Guest97610 has quit [Remote host closed the connection]
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
shinnya has joined #ocaml
metasyntax has joined #ocaml
peterbb has quit [Ping timeout: 272 seconds]
paolooo has joined #ocaml
peterbb has joined #ocaml
mort___ has joined #ocaml
jayprich has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
jonludlam has quit [Ping timeout: 256 seconds]
AltGr has quit [Remote host closed the connection]
tane has joined #ocaml
ohama has quit [Ping timeout: 272 seconds]
jonludlam has joined #ocaml
AltGr has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest48377
avsm has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
thelema has quit [Ping timeout: 240 seconds]
thelema has joined #ocaml
peterbb has left #ocaml []
Yoric has joined #ocaml
Guest48377 has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
dsheets has joined #ocaml
lamawithonel_ has quit [Ping timeout: 272 seconds]
BitPuffin has quit [Ping timeout: 256 seconds]
ttamttam has quit [Quit: ttamttam]
lamawithonel_ has joined #ocaml
adr has joined #ocaml
tobiasBora has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
mort___ has quit [Ping timeout: 272 seconds]
dsheets has quit [Ping timeout: 248 seconds]
* gour
notices that OCaml for Scientists book is only 85 GBP
<adrien_oww>
<3
<pippijn>
gour: a steal!
<gour>
RWO is bargain in comparison
Drup has quit [Ping timeout: 272 seconds]
ohama has joined #ocaml
ollehar has joined #ocaml
boogie has joined #ocaml
stevej has joined #ocaml
bnoordhuis has quit [Ping timeout: 272 seconds]
jonludlam has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
srcerer_ is now known as srcerer
adr has quit [Quit: Quitte]
avsm has quit [Ping timeout: 272 seconds]
jayprich has quit [Ping timeout: 245 seconds]
milosn has quit [Remote host closed the connection]
milosn has joined #ocaml
zpe has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
pango has quit [Read error: Connection reset by peer]
<nicoo>
Would someone know how to remove all packages from the system switch ? (I don't know whether it is safe to remove)
<pippijn>
java8 implements lambdas with invokedynamic
<pippijn>
creating the closure is invokedynamic
pango has joined #ocaml
tobiasBora has quit [Ping timeout: 245 seconds]
<smondet>
nicoo: I haven't tried but maybe removing the ocamlfind package would do the trick
<smondet>
almost everything else depends on it
zpe has quit [Ping timeout: 256 seconds]
<nicoo>
smondet: Yeah. I was wondering if there was a nice way to do so.
technomancy has left #ocaml []
<smondet>
`opam switch export` gives you a list of installed packages so with some awk/sed magic...
<nicoo>
smondet: Yeah, I did awk '{print $1}' /tmp/universe | xargs opam remove --switch=system --yes
<nicoo>
(already had the export because I re-imported it in my new switch)
Kakadu has quit []
<nicoo>
companion_cube: Remind me to write hate-mail to OPAM and Coq devs ;) (Yeah, it's not written “radio réveil” on your head)
<companion_cube>
hmmmm?
<ggole>
pippijn: really? What's the rationale there?
<adrien_oww>
nicoo: for a small fee, I'll happily write that on his forehead
<adrien_oww>
small fee being
<adrien_oww>
COOKIES!
bnoordhuis has joined #ocaml
<nicoo>
adrien_oww: Would you accept a future containing a cookie ?
<adrien_oww>
I might
<adrien_oww>
home!
<nicoo>
Ok. I might go to Paris in February
<nicoo>
See ya, adrien !
<adrien_oww>
fosdem!
<nicoo>
adrien_oww: Where is it this year ?
<nicoo>
Ah, Bruxelle.
<pippijn>
adrien_oww: do you live in paris?
<pippijn>
ggole: I don't know, I just looked at the byte code
happy4crazy has joined #ocaml
happy4crazy has quit [Remote host closed the connection]
happy4crazy has joined #ocaml
nikki93 has joined #ocaml
zpe has joined #ocaml
Drup has joined #ocaml
iZsh has quit [Excess Flood]
iZsh has joined #ocaml
cthuluh has quit [Ping timeout: 248 seconds]
<mrvn>
.oO(from future import racetrack.results)
Arsenik has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
emmanuelux has joined #ocaml
nikki93 has quit [Remote host closed the connection]
chrisdotcode has joined #ocaml
dsheets has joined #ocaml
Snark has quit [Quit: leaving]
nikki93 has joined #ocaml
cthuluh has joined #ocaml
zpe has joined #ocaml
yezariaely has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
<adrien>
pippijn: I do
<pippijn>
nice
<adrien>
nicoo: always bruxelles, always the first weekend of february
<pippijn>
I hope to be living there, soon
happy4crazy has quit [Remote host closed the connection]
ggole has quit []
paolooo has quit [Quit: Page closed]
nikki93 has quit [Remote host closed the connection]
<nicoo>
adrien: Yeah, was confusing with RMLL :)
MoHaX has joined #ocaml
nikki93 has joined #ocaml
<adrien>
pippijn: let me know when you get your answer ;-)
<adrien>
nicoo: well, I'm not attending them as I still haven't understood how they run
_andre has quit [Quit: leaving]
Neros has quit [Ping timeout: 245 seconds]
<pippijn>
java's type-unsafety is really annoying
<pippijn>
.equals gets an Object, Map<K, V>.get also gets an Object (rather than a K)
<nicoo>
pippijn: Srsly ? What do they even have generics for, then ?
<pippijn>
changing the type of an enumeration from "class with many constant strings" to "actual enum" fails at runtime
<pippijn>
nicoo: so they can say "we're cool, too"
<pippijn>
other than that, they do help in many cases
<pippijn>
but it's incomplete
<pippijn>
Map<K, V>.put(K, V) is good
<pippijn>
but .get(Object) doesn't make much sense (it might, but not enough)
rand000 has joined #ocaml
<pippijn>
so recently I've started using my own static functions MapStatic.get<K, V>(Map<K,V>, K)
<pippijn>
and this has already saved a lot of time
<nicoo>
pippijn: It sounds like they stoped alfways through converting the API to generics.
Simn has quit [Read error: Connection reset by peer]
<pippijn>
yes, it feels like that
<nicoo>
halfways*
<pippijn>
I'd also like java to have tuples
<pippijn>
right now I'm writing a function that returns (name, desc)
<nicoo>
pippijn: IIRC, there is an Apache package with generic pairs ^^
<pippijn>
I need this type in exactly one place
<pippijn>
oh well
<nicoo>
Yeah, depending on a lib for tuples is silly.
<tane>
not if you follow a strict OO paradigm
<tane>
thinking about tuple values, it should be possible to validate the content from "within" meaning a method
darkf has joined #ocaml
Neros has joined #ocaml
<gour>
reading ocp-build manual and from the comparison with other build tools (ocamlbuild, make, omake, oasis) it looks as optimal system. now i wonder what are some of jenga's main selling points?
AltGr has left #ocaml []
rand000 has quit [Quit: leaving]
nikki93 has quit [Remote host closed the connection]
jayprich has joined #ocaml
BiDOrD has quit [Remote host closed the connection]
nikki93 has joined #ocaml
BiDOrD has joined #ocaml
yezariaely has quit [Quit: Leaving.]
djcoin_ has quit [Quit: WeeChat 0.4.1]
ollehar has quit [Ping timeout: 272 seconds]
jayprich has quit [Quit: jayprich]
gour has quit [Quit: WeeChat 0.4.1]
thomasga has quit [Quit: Leaving.]
gustav_ has quit [Ping timeout: 268 seconds]
MoHaX has quit [Ping timeout: 248 seconds]
Arsenik has quit [Remote host closed the connection]
steshaw has joined #ocaml
MoHaX has joined #ocaml
Kakadu has joined #ocaml
tani has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
tane has quit [Ping timeout: 256 seconds]
MoHaX has quit [Ping timeout: 260 seconds]
bnoordhuis has quit [Ping timeout: 272 seconds]
tani has quit [Quit: Verlassend]
ollehar has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
nisstyre has joined #ocaml
gasche has quit [Ping timeout: 245 seconds]
gasche has joined #ocaml
Neros_ has joined #ocaml
Neros has quit [Ping timeout: 268 seconds]
nikki93 has quit [Remote host closed the connection]
manud_ has joined #ocaml
manud has quit [Read error: Connection reset by peer]
manud_ is now known as manud
nikki93 has joined #ocaml
strobegen has quit [Quit: Leaving.]
bnoordhuis has joined #ocaml
nikki93 has quit [Remote host closed the connection]
bnoordhuis has quit [Ping timeout: 245 seconds]
emmanuelux has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
q66 has quit [Quit: Leaving]
nikki93 has quit [Remote host closed the connection]
wolfnn has quit [Ping timeout: 248 seconds]
Neros_ is now known as Neros
nisstyre has quit [Quit: Leaving]
nisstyre has joined #ocaml
bholst_ has joined #ocaml
bholst has quit [Ping timeout: 272 seconds]
dsheets has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]