ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
Thooms has joined #ocaml
Simn has quit [Quit: Leaving]
ollehar1 has quit [Quit: ollehar1]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
badon has quit [Quit: Leaving]
travisbrady has quit [Quit: travisbrady]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
enitiz has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
jwatzman|work has joined #ocaml
reem_ has joined #ocaml
Haudegen has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
reem_ has quit [Remote host closed the connection]
reem has joined #ocaml
hilquias has quit [Remote host closed the connection]
yminsky has joined #ocaml
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
travisbrady has quit [Quit: travisbrady]
jwatzman|work has quit [Quit: jwatzman|work]
badon has joined #ocaml
reem has quit [Remote host closed the connection]
yminsky has quit [Quit: yminsky]
rgrinberg has quit [Quit: Leaving.]
reem has joined #ocaml
rgrinberg has joined #ocaml
reem has quit [Quit: Leaving...]
Thooms has quit [Ping timeout: 245 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
Algebr has quit [Ping timeout: 250 seconds]
ggherdov has quit [Ping timeout: 245 seconds]
IbnFirnas has quit [Ping timeout: 244 seconds]
swgillespie has joined #ocaml
strmpnk has quit [Ping timeout: 265 seconds]
AlexRussia has quit [Ping timeout: 245 seconds]
jpdeplaix1 is now known as jpdeplaix
skinkitten has quit [Quit: Leaving]
AlexRussia has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
reem has joined #ocaml
thomasga has joined #ocaml
travisbrady has joined #ocaml
darkf has joined #ocaml
thomasga1 has joined #ocaml
yminsky has joined #ocaml
yminsky has quit [Client Quit]
thomasga has quit [Ping timeout: 244 seconds]
yminsky has joined #ocaml
yminsky has quit [Client Quit]
AlexRussia has quit [Ping timeout: 255 seconds]
claudiuc has quit [Remote host closed the connection]
strmpnk has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
ebzzry has quit [Read error: Connection reset by peer]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ebzzry has joined #ocaml
AlexRussia has joined #ocaml
shinnya has joined #ocaml
IbnFirnas has joined #ocaml
Nijikokun has quit [Read error: No route to host]
thomasga1 has quit [Quit: Leaving.]
Algebr has joined #ocaml
yminsky has joined #ocaml
Algebr has quit [Ping timeout: 244 seconds]
AlexRussia has quit [Ping timeout: 264 seconds]
AlexRussia has joined #ocaml
ggherdov has joined #ocaml
AlexRussia has quit [Ping timeout: 245 seconds]
swgillespie has joined #ocaml
malc_ has quit [Quit: leaving]
Puffin has joined #ocaml
AlexRussia has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
q66 has quit [Quit: Leaving]
ygrek has joined #ocaml
enitiz has quit [Ping timeout: 264 seconds]
yminsky has quit [Quit: yminsky]
ygrek has quit [Ping timeout: 245 seconds]
bobfang has joined #ocaml
lostman_ has joined #ocaml
lostman_ is now known as lostman
bobfang has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
yminsky has joined #ocaml
AlexRussia has quit [Ping timeout: 245 seconds]
Puffin has quit [Ping timeout: 245 seconds]
sdegutis has joined #ocaml
<sdegutis> Is there a statically typed, type-safe language with similar concepts to OCaml besides Haskell?
<bitemyapp> sdegutis: purescript
<sdegutis> bitemyapp: I didn't expect to find you in #ocaml
<sdegutis> bitemyapp: how's it going?
<bitemyapp> I am legion
zwer has joined #ocaml
<sdegutis> Purescript looks super interesting.
<sdegutis> It's especially interesting considering I'm building a desktop app that uses ReactJS and I'm looking for a nicer language than JS for it.
zwer_i has quit [Ping timeout: 250 seconds]
<bitemyapp> sdegutis: purescript's your winner then
<sdegutis> Well that's not the only thing I do. But yeah it might work awesomely for that.
<sdegutis> bitemyapp: Thanks :)
ygrek has joined #ocaml
jao has quit [Remote host closed the connection]
MrScout has quit [Ping timeout: 245 seconds]
<dmbaturin> sdegutis: StandardML. ;)
<dmbaturin> Also, F#.
<dmbaturin> For something compiled to JS, there's also Elm.
<sdegutis> dmbaturin: lol, someone in #clojure said the exact same thing almost at the exact same time
<sdegutis> about F# I mean
<whitequark> you can use F# and compile CLR bytecode to JS using JSIL
<whitequark> though i am not sure why
<dmbaturin> Well, F# is pretty much an ocaml clone, it would be strange if no one mentioned it. :)
<sdegutis> :)
AlexRussia has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
yminsky has quit [Quit: yminsky]
travisbrady has quit [Quit: travisbrady]
iorivur has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
mal`` has joined #ocaml
<sdegutis> whitequark: what do you think of Haskell?
<whitequark> too many corner cases
<sdegutis> whitequark: like what?
<whitequark> they lure you in with purity, and then to do anything useful you need some {-# LANGUAGE that makes inference undecidable
<whitequark> or something
<sdegutis> ahh
<whitequark> the main reason i am not doing anything with haskell though is not that
<sdegutis> whitequark: fair enough :)
<whitequark> it's how painful it is to install
<whitequark> like
<whitequark> pandoc, right
<sdegutis> whitequark: I admit I haven't had a fun time with cabal, compared to Leiningen
<whitequark> to install pandoc you need to spend several hours and download and build, slowly, a few hundred mb of libraries
<sdegutis> whitequark: btw fwiw I did `brew install pandoc` but who knows what that did under the hood
<whitequark> apt-get but that had an old version or something
<whitequark> and naturally i was not persistent enough to actually build it
<sdegutis> whitequark: what do you think of Rust? have you looked into that?
<whitequark> yeah, i like it a lot
<whitequark> i'll be using it extensively
<whitequark> http://zinc.rs
<whitequark> that too
<sdegutis> whitequark: which do you prefer, Rust or OCaml?
<whitequark> practically zero intersection in domains
<whitequark> i prefer ml, those two are ml incarnates
<sdegutis> oh
<whitequark> don't think i ever seen a problem where i would choose between those two.
<whitequark> rust and c/c++, sure
<sdegutis> I think I gave up on OCaml and moved to Haskell when I started to learn about OCaml's module signatures.
<whitequark> ocaml and, say, ruby, sure
<sdegutis> And I was like "uhhhh, wth" whereas I didn't have that same thought when I looked at type classes.
<whitequark> huh?
<whitequark> a module is a structure and a bunch of existentials attached, that's it
<sdegutis> In other words, I didn't quite grasp OCaml's polymorphism based on modules, whereas I got Haskell's polymorphism based on type classes very easily.
<whitequark> well, it's not mutually exclusive, and first-class modules are hardly used for same purpose as typeclasses
<sdegutis> Oh.
<whitequark> they have some conceptual similarity, in fact implicits (which are a superset of typeclasses) in ocaml will be based on first-class modules
<bitemyapp> whitequark: superset is stretching it a little.
<bitemyapp> whitequark: if you drop the UX, canonicity, focus purely on instance selection - yeah.
<whitequark> stretching it a little, agreed
<whitequark> but I like the flexibility of implicits (such that you aren't restricted to just one instance) better
<whitequark> otherwise they seem fairly similar to me
<sdegutis> Then maybe OCaml is what I want.
<sdegutis> I don't much like the non-strict evaluation of Haskell.
<sdegutis> Although, I did kind of come to really prefer Haskell's syntax.
<bitemyapp> whitequark: the benefits of typeclasses can be subtle without some deep experience working on larger codebases.
<bitemyapp> whitequark: ML modules are a much easier marketing story.
<bitemyapp> "moar powa!"
<bitemyapp> cf. Scala
<whitequark> specifically over implicits?
<whitequark> what would be the benefits of typeclasses?
<sdegutis> bitemyapp: your use of confer reminds me of a Bible
<bitemyapp> The subtler reasons are the more important ones.
manizzle has quit [Ping timeout: 244 seconds]
<whitequark> I'm asking what are those
<bitemyapp> But one could consider why OCaml has +. and why Haskell doesn't need that. That's more of an operational thing, but still very relevant.
<whitequark> um.
<bitemyapp> You can write code that is (performant x polymorphic/abstracted)
<whitequark> +. will go away once implicits get merged
<bitemyapp> as long as it isn't hidden in an existential
<whitequark> (well, it will remain for compatibility, but you don't *need* it anymore)
<bitemyapp> if you stuff it in an existential...well you're back to modules :)
<bitemyapp> whitequark: tell you what. I'm pretty sure somebody much better at explaining these points (and with 500x more experience than I've got) has a talk that will be coming out on this very issue soon
<sdegutis> whitequark: to be fair, +. was a big red mark against OCaml in my book
<bitemyapp> whitequark: when it does, I will link it.
<whitequark> bitemyapp: like... this is just a test in implicit testsuite
<sdegutis> whitequark: when's that gonna happen?
<whitequark> sdegutis: when it is ready
kapil__ has joined #ocaml
bobfang has joined #ocaml
<sdegutis> oh.
<sdegutis> not encouraging.
<whitequark> that's the only answer that ever exists, especially in opensource :p
ygrek has joined #ocaml
bobfang has quit [Ping timeout: 245 seconds]
<sdegutis> whitequark: sometimes the answer is "now" and that's usually better
<whitequark> that just means it is finally ready
struktured has joined #ocaml
<sdegutis> ;)
<sdegutis> either way, I'm still on the fence for what my new favorite language is
<sdegutis> Ever since around 2013, it's been more of a question of "the lesser of N evils".
<sdegutis> And today it still looks that way.
<sdegutis> Even though there are other variables (lib support, community, language's future, supported platforms, etc), ultimately there are some features that are better than not having them.
<sdegutis> e.g., I really don't want to work with a language without polymorphism ever again.
psy_ has quit [Ping timeout: 240 seconds]
troydm has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
manizzle has joined #ocaml
rgrinberg has joined #ocaml
manizzle has quit [Max SendQ exceeded]
manizzle has joined #ocaml
sdegutis has quit [Quit: Leaving...]
manizzle has quit [Max SendQ exceeded]
manizzle has joined #ocaml
slash^ has joined #ocaml
psy_ has joined #ocaml
ggole has joined #ocaml
Intensity has quit [Ping timeout: 265 seconds]
axiles has joined #ocaml
AlexRussia has quit [Ping timeout: 245 seconds]
labichn has quit [Ping timeout: 246 seconds]
Nijikokun has joined #ocaml
AlexRussia has joined #ocaml
MercurialAlchemi has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
bobfang has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
bobfang has quit [Ping timeout: 245 seconds]
marynate has joined #ocaml
tane has joined #ocaml
bobfang has joined #ocaml
bobfang has quit [Ping timeout: 245 seconds]
reem has joined #ocaml
Simn has joined #ocaml
<adrien> morning
<adrien> anyone with a running windows?
<adrien> actually, nevermind
<adrien> ohhhhh
<adrien> ocaml already installs its Makefile.config \o/
<MercurialAlchemi> adrien: are you trying to do terrible things early in the morning?
<adrien> nah
<adrien> I started yesterday evening ;-)
<adrien> I'm splitting the build of ocamlbuild, ocamldoc, ocamldebug from the compiler
<MercurialAlchemi> on windows?
<adrien> the idea being that you can build the compiler, install it and _then_ build these
<adrien> no, all platforms
<MercurialAlchemi> right
<adrien> touching the compiler build system is _way_ too difficult
<adrien> too many things to do at once
<adrien> so it's time to divide and conquer :)
<MercurialAlchemi> well, to divide at least
reem has quit [Remote host closed the connection]
<MercurialAlchemi> :)
<adrien> I've done many patches for cross-compilation in the compiler and I've been rewarded with a fairly early access to the continuous-integration bot (well, mostly read-only)
<adrien> which typically means "you're breaking too many things: look and fix"
<adrien> so now I want to split things so it's more manageable :P
<MercurialAlchemi> sounds good
<adrien> (but I'm also introducing a few ugly things)
<MercurialAlchemi> I assume the build system is yeh ol' makefile?
<adrien> nah
<adrien> also yeh ol' shell scripts
<adrien> annoying part is that I need to take the current usage of compiler devs
<adrien> i.e. they don't want to install the compiler in order to use it
<MercurialAlchemi> ugh, shell scripts
<adrien> not too many hopefully
<adrien> and fewer and fewer
<adrien> although I'm adding some now but that's only temporary
<MercurialAlchemi> you mean they just want to do "make build" and not "make install"?
reem has joined #ocaml
reem has quit [Remote host closed the connection]
<adrien> installing takes time and they want to be able to test as much as possible without additional delays
<MercurialAlchemi> I understand the need for a short feedback loop
reem has joined #ocaml
<MercurialAlchemi> though I guess your work will shorten it, depending on how much additional times ocamldebug and friends take to compile
chinglish has joined #ocaml
<MercurialAlchemi> eg, if you tweak the lexer, you could do that without rebuilding ocamldebug
sivoais has quit [Ping timeout: 246 seconds]
<MercurialAlchemi> adrien: you know anything about tyxml?
sivoais has joined #ocaml
Submarine has quit [Remote host closed the connection]
AltGr has left #ocaml [#ocaml]
bobfang has joined #ocaml
antkong has joined #ocaml
bobfang has quit [Ping timeout: 240 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
oriba has joined #ocaml
testcocoon has joined #ocaml
bobfang has joined #ocaml
<adrien> ocamldebug is a very small compile
<adrien> ocamldoc and ocamlbuild are longer but not much
<adrien> and for tyxml, I only know one thing: I ask drup about it :D
<MercurialAlchemi> even so, just winning 5 seconds on something you do many times a day can be a nice win
lordkryss has joined #ocaml
<MercurialAlchemi> for tyxml, I figured :)
<adrien> :)
Nijikokun has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
leowzukw has joined #ocaml
<whitequark> on a modern-ish machine, a full ocaml build is 2-2.5 minutes
<whitequark> a laptop even
<adrien> yup, it's fairly fast, it'll only save a few seconds
<adrien> btw
<adrien> if someone wants to make things faster
<adrien> remove the recursive clean for the testsuite
<adrien> it's awfully slow
<adrien> recursive make* clean
<whitequark> pffff, who even runs test
<adrien> they're forcing me to! ='(
<adrien> actually I don't necessarily run them
<whitequark> real programmers don't run tests, they just wait for bugreports to get in
<adrien> but "make clean" cleans the testsuite too
Kakadu has joined #ocaml
<adrien> howeer this makes it easy to use .opt variants
<adrien> .opt: make 2.91s user 0.33s system 87% cpu 3.693 total
<adrien> bytecode: make 10.18s user 0.44s system 95% cpu 11.157 total
<adrien> for ocamlbuild
<adrien> for "make", now for "make allopt"
<adrien> bytecode: make allopt 17.58s user 1.00s system 96% cpu 19.193 total
<adrien> .opt: make allopt 5.74s user 0.79s system 91% cpu 7.115 total
antkong has quit [Ping timeout: 240 seconds]
<adrien> so three times faster :)
<adrien> but that really wasn't the goal
<adrien> anyway, the beautiful shell script: http://pastebin.notk.org/pastebin.php?show=m4a09a929
<adrien> and the only changes to ocamlbuild/Makefile are about removing the definitions of OCAMLC/OPT/..., compile and link flags (they're already inside $(OCAMLC) and friends)
<adrien> I'll probably send that next week and get a beautiful "no way" because of the triplication of the ugly shell script
AlexRussia has quit [Ping timeout: 245 seconds]
antkong has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
AlexRussia has joined #ocaml
Haudegen has joined #ocaml
dsheets has joined #ocaml
bobfang has quit [Remote host closed the connection]
antkong has quit [Ping timeout: 264 seconds]
goraci has joined #ocaml
<goraci> in ruby arr =[], arr << 1, arr << "stuff" -> arr ->[1,"stuff"] not in ocaml !! )) welcome to immutable world let arr = [], arr[0]=1 -> Error: This expression has type 'a list This is not a function; it cannot be applied.
<goraci> it thought programming is ruby )) but it appears that there is a immutable world out there )
<goraci> just an impression )
<ggole> That's a list: OCaml arrays are actually mutable
<goraci> i thought *
<ggole> (But not lists.)
<goraci> yea but array not much usable in ocaml i guess
<goraci> often usable
<ggole> I tend to use em a fair bit
<goraci> array something like [| |] lot of typing
<goraci> i mean it's mindblowing as you declare something and you cann't change it )
<goraci> want something new declare something new
<goraci> let new_list = 1::arr;;
<goraci> when you mutate something for years that of course wow )
<ggole> Yeah, it is quite a different approach
thomasga has joined #ocaml
jabesed has joined #ocaml
Nijikokun has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
larhat has joined #ocaml
tane has quit [Quit: Verlassend]
Nijikokun has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
psy_ has quit [Ping timeout: 264 seconds]
marynate has quit [Read error: Connection reset by peer]
marynate has joined #ocaml
bobfang has joined #ocaml
bobfang has quit [Read error: Connection reset by peer]
bobfang has joined #ocaml
goraci has quit [Quit: Leaving]
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
tane has joined #ocaml
Thooms has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
rand000 has joined #ocaml
zwer has quit [Remote host closed the connection]
bobfang has quit []
zwer has joined #ocaml
Thooms has quit [Ping timeout: 250 seconds]
oriba has quit [Quit: oriba]
skinkitten has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
Haudegen has joined #ocaml
jabesed has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
jabesed has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
enitiz has joined #ocaml
q66 has joined #ocaml
travisbrady has joined #ocaml
bugabinga has joined #ocaml
ontologiae has joined #ocaml
thomasga has quit [Quit: Leaving.]
travisbrady has quit [Quit: travisbrady]
cdidd has quit [Remote host closed the connection]
thomasga has joined #ocaml
travisbrady has joined #ocaml
yminsky has joined #ocaml
yminsky has quit [Client Quit]
cdidd has joined #ocaml
Thooms has joined #ocaml
Sorella has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
mistym has quit [Ping timeout: 245 seconds]
manizzle has quit [Ping timeout: 264 seconds]
mistym has joined #ocaml
travisbrady has quit [Quit: travisbrady]
Puffin has joined #ocaml
Puffin is now known as BitPuffin
travisbrady has joined #ocaml
thomasga has quit [Quit: Leaving.]
cdidd has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
PM has quit [Ping timeout: 272 seconds]
cdidd has joined #ocaml
bugabinga has quit [*.net *.split]
jabesed has quit [*.net *.split]
MercurialAlchemi has quit [*.net *.split]
struktured has quit [*.net *.split]
_2can has quit [*.net *.split]
pippijn_ has quit [*.net *.split]
voglerr2 has quit [*.net *.split]
pdewacht has quit [*.net *.split]
Ptival has quit [*.net *.split]
kandu has quit [*.net *.split]
englishm has quit [*.net *.split]
dbrumley has quit [*.net *.split]
hcarty has quit [*.net *.split]
cthuluh has quit [*.net *.split]
tokenrove has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
waneck has joined #ocaml
cthuluh has joined #ocaml
kandu has joined #ocaml
Ptival has joined #ocaml
MercurialAlchemi has joined #ocaml
_2can has joined #ocaml
pdewacht has joined #ocaml
pippijn has joined #ocaml
jabesed has joined #ocaml
struktured has joined #ocaml
dbrumley has joined #ocaml
voglerr2 has joined #ocaml
kandu is now known as Guest52955
hcarty has joined #ocaml
nickmeharry has joined #ocaml
bugabinga has joined #ocaml
tokenrove has joined #ocaml
englishm has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
Guest52955 is now known as kandu
thomasga has joined #ocaml
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
travisbrady has quit [Quit: travisbrady]
avsm has joined #ocaml
ygrek has joined #ocaml
badkins has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
badkins has quit [Client Quit]
badkins has joined #ocaml
mal`` has quit [Quit: Leaving]
<Drup> MercurialAlchemi: what about tyxml
<Drup> ? :p
AndroUser has joined #ocaml
AlexRussia has quit [Ping timeout: 244 seconds]
mal`` has joined #ocaml
ontologiae has quit [Ping timeout: 250 seconds]
AndroUser has quit [Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )]
<nicoo> adrien: Yes, OCaml installs its Makefile.config, and it contains a variable saying if/where the X11 libs are installed. Which is very stupid, since labltk got split (and it makes for unfun packaging issues)
lostman has quit [Quit: Connection closed for inactivity]
AlexRussia has joined #ocaml
AlexRussia has quit [Excess Flood]
AndroUser has joined #ocaml
AlexRussia has joined #ocaml
AndroUser has quit [Read error: Connection reset by peer]
AndroUser has joined #ocaml
darkf has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
enitiz has quit [Ping timeout: 245 seconds]
larhat has quit [Quit: Leaving.]
jgjl has joined #ocaml
mort___ has joined #ocaml
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
cdidd has quit [Remote host closed the connection]
Simn has quit [Ping timeout: 252 seconds]
travisbrady has joined #ocaml
cdidd has joined #ocaml
cdidd has quit [Remote host closed the connection]
Simn has joined #ocaml
tane has joined #ocaml
cdidd has joined #ocaml
marynate has quit [Quit: Leaving]
cdidd has quit [Remote host closed the connection]
jgjl has quit [Ping timeout: 252 seconds]
swgillespie has joined #ocaml
rgrinberg has joined #ocaml
cdidd has joined #ocaml
ggole has quit []
travisbrady has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 246 seconds]
destrius has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
struktured has quit [Ping timeout: 245 seconds]
arj has joined #ocaml
leowzukw has quit [Ping timeout: 246 seconds]
leowzukw has joined #ocaml
arj has quit [Quit: Leaving.]
arj has joined #ocaml
arj has quit [Client Quit]
Algebr has joined #ocaml
Algebr is now known as Guest47510
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
arj has joined #ocaml
MrScout has quit [Remote host closed the connection]
<Guest47510> Is there a quick and dirty way to do a simple http get request? Finding it needlessly complicated in ocaml
Hannibal_Smith has joined #ocaml
mort___ has quit [Quit: Leaving.]
enitiz has joined #ocaml
<rgrinberg> Guest47510: are you using lwt or async or you don't care?
<Guest47510> I was trying to use Ocsigen_http_ stuff, but now stumbling around with ocurl
<rgrinberg> ocurl should be easy enough
<rgrinberg> don't use ocsigen's http client
<rgrinberg> if you want async or lwt use cohttp
<mrvn> if you find anything that includes something to follow links hidden in java script let me know.
antegallya has joined #ocaml
<Guest47510> thanks!
Thooms has quit [Quit: WeeChat 1.0.1]
<Guest47510> Do expression that end with ; always need to return ()?
<rgrinberg> No, but you will get a warning otherwise
<mrvn> expression don't end in ; and there is no return
mimrock has joined #ocaml
struktured has joined #ocaml
<mimrock> Does OCaml 4 contains breaking changes? I mean if I have an old piece of software that requires "at least compiler 3.08.02 or newer" what are the chances that it will compile on an up-to-date environment?
reem has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Client Quit]
rgrinberg has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 245 seconds]
<tokenrove> mimrock: i resurrected some code i wrote in 2002 without more than warnings, but it wasn't terribly sophisticated.
Haudegen has joined #ocaml
<mimrock> tokenrove: that sounds promising. The code in my case is not _that_ old. Thank you
<dmbaturin> Guest47510: A sequence of expressions evaluates to the value of its last expression. "ignore 1; ignore 2; 3"
mcclurmc has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
Guest47510 has quit [Quit: Page closed]
Thooms has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
arj has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
pyx has joined #ocaml
pyx has quit [Changing host]
pyx has joined #ocaml
pyx has quit [Client Quit]
Nahra` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
leowzukw has quit [Ping timeout: 246 seconds]
leowzukw has joined #ocaml
thomasga has quit [Ping timeout: 265 seconds]
leowzukw has quit [Quit: Lost terminal]
antegallya has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
mort___ has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Buttons840 has joined #ocaml
Buttons840 has left #ocaml [#ocaml]
reem has joined #ocaml
antkong has joined #ocaml
lu324__ has quit [Quit: Leaving]
<mimrock> error 64 and error 2 :(. I'm sorry for the basic question, I'm sure the solution is somewhere in the manual, but is there a "How to use switch to install a legacy ocaml 3 beside your up-to-date environment for dummies" tutorial out there?
<Drup> mimrock: install opam
<Drup> follow the opam installation
<Drup> and then do "opam switch 3.11.2"
<Drup> that's as old as you can get, easily
<Drup> (it's a better idea to fix the code, it's probably easy)
<mimrock> Drup: That sounds easier than I expected... However, I get compile errors. I am using home-brew, and ocaml 4.02 is already working
<Drup> you installed opam succesfully ?
<mimrock> yup. OCaml is running on my machine flawlessy. I even managed to install core and batteries
<Drup> but 3.11 doesn't compile ? ok
<Drup> try 3.12
sivoais has quit [Remote host closed the connection]
sivoais has joined #ocaml
AlexRussia has quit [Ping timeout: 240 seconds]
AlexRussia_ has joined #ocaml
<mimrock> And it's working. Thank you Drup.
AlexRussia_ has quit [Ping timeout: 246 seconds]
<Drup> is your soft compiling on 3.12 ?
<mimrock> nope, same errors as with ocaml 4.02
<Drup> can you pastebin them ?
Kakadu has quit [Ping timeout: 252 seconds]
<mimrock> Now I'm not sure if these errors are related to the ocaml version.
<Drup> "cp: illegal option -- l" <- that's not ocaml :D
<dmbaturin> Looks like build script errors.
antkong has quit [Ping timeout: 264 seconds]
<dmbaturin> In GNU ls -l is "hardlink instead of actual copy".
<dmbaturin> * cp
<dmbaturin> Not sure if BSD cp has the same, but it should be safe to simply remove that option.
<mimrock> oh no, cp is not some ocaml tools, but cp, as copy... I feel dumb
jonludlam has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
reem has quit [Remote host closed the connection]
ontologiae has joined #ocaml
raphaelss has joined #ocaml
rgrinberg1 has joined #ocaml
Snark_ is now known as Snark
<MercurialAlchemi> I think Sys.rename actually does link + unlink
<MercurialAlchemi> which is daft, but nevermind
rgrinberg has quit [Ping timeout: 245 seconds]
<Drup> MercurialAlchemi: so, what about tyxml ? :p
<MercurialAlchemi> oh
<MercurialAlchemi> well, I was wondering if anybody was using the syntax extension
<Drup> not me.
<MercurialAlchemi> I imagine it's going to be sunsetted
<Drup> I ... don't advise using it.
<MercurialAlchemi> well
<MercurialAlchemi> I was a little surprised to find out that the default way to insert a string (with 'str:') doesn't escape anything
<flux> mercurialalchemi, sounded a bit incredulous that I tried it.. and it does use the rename system call
<MercurialAlchemi> then I figured out that I could live with combinators
<Drup> MercurialAlchemi: I find the combinators easier to work with and easier to read
<MercurialAlchemi> flux: but rename doesn't work across filesystem boundaries
<MercurialAlchemi> flux: I think
<flux> that is correct
<flux> link doesn't either..
<MercurialAlchemi> Drup: it all depends on how many external designers you need to work with :)
<MercurialAlchemi> flux: not unless you ln -s, indeed
<mimrock> I replaced cp to ln in the makefile, and now it's working... actually it's not, but the current issue is about some missing libs, so thank you Drup & dmbaturin
<flux> mercurialalchemi, well, using link -s for doing a rename would be unwise :)
<Drup> MercurialAlchemi: yes, right
<Drup> that's the only reason
<Drup> but the syntax extension doesn't help all that much with that
<MercurialAlchemi> flux: yes
* MercurialAlchemi peeks at CCIO
<Drup> MercurialAlchemi: I have a plan for that, but it's ... not ready
<MercurialAlchemi> hm, no move or copy either...
<Drup> mostly because I have absolutely no time to allocate to it.
<MercurialAlchemi> Drup: that's a good reason
<MercurialAlchemi> that said, I'm impatient to try out js_of_ocaml
<Drup> not having time ? meh
<MercurialAlchemi> especially since the scope is changing from "generate static website with ocaml" to "run a dynamic website"
tnguyen has quit [Quit: tnguyen]
<MercurialAlchemi> it's a very good reason, I have a long list of unread books and undone things precisely because of that
<Drup> it may be a good one, but it's not satisfying
<MercurialAlchemi> agreed
<Drup> (especially since we lack manpower so much in the ocsigen project)
<MercurialAlchemi> but software engineering is also about working with constraints
<MercurialAlchemi> sometimes it's better to allocate more time to a single thing and actually get it done
<Drup> well, currently, I can't allocate time to anything, but it's another story :)
<MercurialAlchemi> :)
<MercurialAlchemi> seen from the outside, ocsigen looks very impressive
<Drup> yep :)
<MercurialAlchemi> in a way, it's the polar opposite of node.js
<Drup> in which way ?
<Drup> (I would rather agree, but there are several ways to see it)
<rgrinberg1> polar opposite in number of users
<Drup> that too, unfortunatly
<rgrinberg1> cheap shot :P
<MercurialAlchemi> in the "let's move all the things to a fascist language" sense
<Drup> ah, ues
<Drup> yes*
<MercurialAlchemi> rgrinberg1: if popularity was correlated with quality and solidity, we would all be doing PHP
tane has quit [Quit: Verlassend]
enitiz has quit [Ping timeout: 245 seconds]
<Drup> well, node.js doesn't do the whole client/server integration at all, some people have done that on top of it (meteor.js) but it's still rather young
<Drup> and since it's all dynamic, it rather sucks
<MercurialAlchemi> yeah, "get the same problems you have on your frontend, but in a potentially much larger codebase"
<MercurialAlchemi> now, if layout was also amenable to strong typing...
<Drup> layout ?
<Drup> ah, yeah, screw layout
<Drup> javascript is crap, but at least you can compile something sane to it, and it will work
<Drup> you can't do *anything* sane on top of css
<MercurialAlchemi> extjs sort of works, but you're completely locked into it
<Drup> http://www.sencha.com/products/extjs/ why is the cover image a bunch of people smiling ? =')
<MercurialAlchemi> stock photo?
<Drup> MercurialAlchemi: it sounds pretty similar to bootstrap/fundation
<MercurialAlchemi> anyway, it's mostly for internal apps
<MercurialAlchemi> no, not really
<MercurialAlchemi> it's an entire framework
reem_ has joined #ocaml
<MercurialAlchemi> with a "Store" abstraction and all that
<Drup> ah, so even more annoying to use, right
<dmbaturin> Drup: Those people probably think ExtJS is funny or something.
<Drup> yeah, ok, it hardcode MVC into your application
<MercurialAlchemi> that said, the UI part works, you get widgets that you can resize, virtual lists, this kind of thing
<Drup> and all that because the power of abstraction is virtually none in javascript :(
<MercurialAlchemi> but you don't deal with CSS/HTML (well, almost)
reem_ has quit [Remote host closed the connection]
<MercurialAlchemi> the power of suckage of CSS is there, though
<Drup> and it doesn't solve the layout problem at all
<Drup> components are not the biggest issue
ollehar1 has joined #ocaml
<dmbaturin> Nothing solves the layout problem. We need a new world wide web for it.
<MercurialAlchemi> what would you say is the biggest issue?
<MercurialAlchemi> dmbaturin: one with a single screen size
<Drup> MercurialAlchemi: see my previous link
reem has joined #ocaml
reem has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 245 seconds]
AndroUser has quit [Ping timeout: 244 seconds]
<dmbaturin> MercurialAlchemi: No, we should switch to voice input/output as some scifi novels predicted.
* MercurialAlchemi reads
<MercurialAlchemi> dmbaturin: we already have screen readers
<dmbaturin> (On a serious note, it bothers me that the web became virtually inaccessible through alternative media such as screen readers and even printers)
<MercurialAlchemi> Drup: well, I don't know if that's the biggest issue
<MercurialAlchemi> I think I'd already be satisfied with a layout system similar to something commonly found in UI toolkits
<Drup> MercurialAlchemi: how do you center a div vertically ? :]
waneck has quit [Read error: Connection reset by peer]
<MercurialAlchemi> Drup: you move your head around?
<Drup> no, flexbox doesn't work if the content of your div is slightly funky
<dmbaturin> Drup: Constraint CSS is interesting.
<MercurialAlchemi> Drup: but yeah, I know
<MercurialAlchemi> fucking CSS
* MercurialAlchemi burns CSS and the box model
Nahra has joined #ocaml
ollehar1 has quit [Quit: ollehar1]
Simn has quit [Read error: Connection reset by peer]
ptc has joined #ocaml
ptc is now known as Guest77102
MercurialAlchemi has quit [Ping timeout: 264 seconds]
imslavko_ has joined #ocaml
lopex_ has joined #ocaml
imslavko has quit [Ping timeout: 245 seconds]
lopex has quit [Ping timeout: 245 seconds]
thegameg has quit [Ping timeout: 245 seconds]
Ptival has quit [Ping timeout: 245 seconds]
hsuh has quit [Ping timeout: 245 seconds]
chris2 has quit [Ping timeout: 245 seconds]
mimrock has quit [Ping timeout: 245 seconds]
jabesed has quit [Ping timeout: 245 seconds]
Ptival has joined #ocaml
lopex_ is now known as lopex
imslavko_ is now known as imslavko
hsuh has joined #ocaml
mimrock has joined #ocaml
thegameg has joined #ocaml
chris2 has joined #ocaml
<rgrinberg1> Drup: looks interesting, although I think I'd take an ocaml DSL over gss
<Drup> oh, sure, that barely changes anything
Guest77102 has quit [Ping timeout: 245 seconds]
ptc_ has joined #ocaml
reem has joined #ocaml
thomasga has joined #ocaml
<Drup> rgrinberg1: I mean, having something which expressivity is sane is already such a fabulous step forward. Typing would be cherry on the top, but it's not the main point :)
<rgrinberg1> my brain just can't handle more lexical conventions
<Drup> :p
<Drup> I know elm as some sort of combinator thingy for layout, but I never looked at it closely. I don't think it improves much from CSS, though.
Thooms has quit [Quit: WeeChat 1.0.1]
ygrek has joined #ocaml
yminsky has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
Alex1 has joined #ocaml
Alex1 has quit [Client Quit]
Alex1 has joined #ocaml
Alex1 has left #ocaml [#ocaml]
Axle has joined #ocaml
<Axle> is there an irc channel for opam?
<Drup> nope, ask here :
<Drup> :)
badkins has quit [Read error: Connection reset by peer]
<Axle> :) I'm on osx, having trouble installing dbm
<Axle> I've got /usr/lib/libdbm.dylib, and I've also installed gdbm via homebrew
<Axle> opam reports that ndbm can't be found
badkins has joined #ocaml
<Axle> was wondering if there's some way to specify the library's location, or, like homebrew, if there's some way to drop down into the "build" directory and tweak the build commands used
<whitequark> depends on the exact package if you can specify additional flags
<Drup> Axle: can you pastebin the output of opam with -v ?
yminsky has quit [Quit: yminsky]
yminsky has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]