flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
nikki93 has quit [Remote host closed the connection]
travisbrady has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
nikki93 has joined #ocaml
mcclurmc has joined #ocaml
darklajid has quit [Ping timeout: 260 seconds]
mcclurmc has quit [Ping timeout: 252 seconds]
malvarez has quit [Remote host closed the connection]
Don_Pellegrino has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
<Don_Pellegrino> Hey #ocaml. I might be starting a project soon in OCaml and before I dive in I'd like to have a rough idea of the state of multicore support in the language..
watermind has joined #ocaml
<Don_Pellegrino> I realize this is a heavy topic.. but is oc4mc usable? what about jane street's Parallel?
nisstyre has joined #ocaml
watermind has quit [Read error: Connection reset by peer]
robink_ has joined #ocaml
<Don_Pellegrino> I'd just like a rough idea.. lots of online resources are outdated
watermind has joined #ocaml
<Drup> I don't think oc4mc is still maintained, for several reasons
<Drup> about async parallel, never used it, there is a recent blog post about it : https://ocaml.janestreet.com/?q=node/122
robink has quit [Ping timeout: 245 seconds]
<Don_Pellegrino> Yeah, I read that post. It's just really hard to find up to date information. Does anyone actually use the language for parallel stuff? It seems to me like it should be a top priority to attract more users and enterprise money
<Drup> you also have parmap, if you problem fit the paradigm, it might worth it
<Drup> you can perfectly do parallel stuff in a heavy weight fashion by using multiple process and message passing
<Don_Pellegrino> interesting!
<Don_Pellegrino> yeah
<Drup> that's not very sexy, but it works
<Drup> what you can't do is lightweight threading
<Drup> some people are actually working on it, I think you read the thread on reddit
<Don_Pellegrino> I did!
<Don_Pellegrino> I'm used to the multiprocess-message-passing style in nodejs, I was hoping that ocaml had implemented posix threads since the last time I checked out the language
<Drup> we have threads
<Drup> but not parallelism :)
<Don_Pellegrino> yeah :)
<Don_Pellegrino> I have an upcoming project that would be a perfect match for ocaml and a great opportunity to learn it
<Drup> the thing about parallelism is that .. you don't need it all that much in general and make it work with the GC is quite hard
<Don_Pellegrino> It's only useful for heavy number crunching, usually, yeah
<Drup> oh, I almost forget to mention
<Drup> there is SPOC, which is interesting for specific applications
zxqdms has joined #ocaml
<Drup> it's cuda/openCL for ocaml
<Drup> it's still young, though
<Don_Pellegrino> interesting
<Don_Pellegrino> About the people working on it that you mentioned, is it going to be part of the official implementation?
<Drup> if it's successful, very probably yes
<Don_Pellegrino> That would be very good for the language
<Drup> https://sympa.inria.fr/sympa/arc/caml-list/2014-01/msg00020.html you may be interesting by this thread
<Drup> and since the archive browser is shitty, move around to find all the stuff, there is a gound amount of information there
<Don_Pellegrino> Yeah, I found that post on google today, but didn't look around. There's some interesting discussion there
<Drup> note that, as much as there is some discussion about parallel programming in ocaml, support for concurrency is very good :)
<Don_Pellegrino> through JS's Async, right?
<Drup> or Lwt
travisbrady has quit [Quit: travisbrady]
milosn has joined #ocaml
<Don_Pellegrino> Thanks a lot Drup
<Drup> no problem
<Drup> Don_Pellegrino: by curiosity
<Drup> what is your project ?
<Don_Pellegrino> It's really interesting, I gotta switch computers, I'll tell you in a minute. It's right up #ocaml's alley :)
Don_Pellegrino has quit [Quit: .]
manizzle has quit [Ping timeout: 265 seconds]
talzeus has joined #ocaml
travisbrady has joined #ocaml
Don_Pellegrino has joined #ocaml
mcclurmc has joined #ocaml
Don_Pellegrino has quit [Ping timeout: 260 seconds]
Don_Pellegrino has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
<Don_Pellegrino> Drup
<Don_Pellegrino> It's an experimental programming language that generates VHDL code
<Drup> from what ?
<Don_Pellegrino> It takes the experimental language's code and turns it into VHDL
<Drup> is the source a circuit description or a program ? or both ? :p
<Don_Pellegrino> A program and it makes a circuit description. The language's syntax is really restrictive because it allows a graph/FSA representation
<Drup> during my 1st year of master, I had this project where we designed a custom language for hardware description and we were generating the ordonancement of some C code on this hardware and then generate the vhdl with this hardware description and the ordonancement
<Don_Pellegrino> nice
<Don_Pellegrino> I'm just an undergrad, but I worked with this prof from another uni and he offered me to work on it since I was interested
<Drup> we never really completed the project, so we didn't manage to do the vhdl generation, but the rest was functionning :)
<Drup> with great pains, though, since it was in Java X_x
<Don_Pellegrino> He put a lot of work into defining the syntax in a way that makes it possible to optimize the finite state automaton and do lots of optimizations easily
<Don_Pellegrino> Right now there's a parser, those optimizations and an interpreter. My job is to make it compile to vhdl and auto-parallelize computation as much as possible
<Drup> so it seems quite similar to the project I did
<Drup> who is the researcher ?
<Don_Pellegrino> Wojciech Fraczak
<Don_Pellegrino> In the long term I'd also love to make it generate llvm bytecode
<Drup> not really the same job :p
<Don_Pellegrino> parallelized llvm bytecode
<Don_Pellegrino> anyway, it's a terrific opportunity for me
<Drup> I don't know him, but I'm not really in this field :p
zRecursive has joined #ocaml
<Drup> anyway
<Drup> you don't really need parallelisation for that :D
<Don_Pellegrino> I know!
<Don_Pellegrino> Not at all, actually
<Don_Pellegrino> but if I'm gonna put a ton of time into learning something I'd like to be able to use it for plenty of different things
<Drup> sure :)
<Don_Pellegrino> and I'm allowed to pick either ocaml, haskell or sml to write the compiler in
<Don_Pellegrino> leaning towards ocaml
<Drup> not sure what is the point of sml now there is ocaml
<Don_Pellegrino> Yeah, he put it there because "if I wanted to redo the interpreter I'd do it in the original sml instead of ocaml"
boogie has quit [Remote host closed the connection]
<Don_Pellegrino> Didn't ask him why, but I don't want to invest time into sml anyway
cesar_ has joined #ocaml
cesar_ is now known as Guest50375
Eyyub has quit [Read error: Operation timed out]
Eyyub has joined #ocaml
yacks has joined #ocaml
<Drup> Don_Pellegrino: weird, I'm wondering why
<Don_Pellegrino> I'll make sure to ask him
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
watermind has quit [Remote host closed the connection]
Xenasis has quit [Quit: WeeChat 0.4.2]
boogie has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
Guest50375 has quit [Remote host closed the connection]
manizzle has joined #ocaml
travisbrady has quit [Quit: travisbrady]
boogie has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
gustav has quit [Read error: Operation timed out]
gustav has joined #ocaml
tnguyen has quit [Quit: Leaving]
Don_Pellegrino has quit [Ping timeout: 260 seconds]
<rgrinberg> is there a library that escapes html in ocaml?
jao has quit [Remote host closed the connection]
<Drup> not sure what you want, but tyxml sort of do that
<Drup> among a lot of other things
<Drup> not sure if you can extract the function that just do the escaping, though
ygrek has joined #ocaml
thomasga has quit [Quit: Leaving.]
zRecursive has quit [Remote host closed the connection]
tnguyen has joined #ocaml
boogie has joined #ocaml
kyrylo has quit [Ping timeout: 240 seconds]
boogie has quit [Ping timeout: 245 seconds]
cesar_ has joined #ocaml
boogie has joined #ocaml
cesar_ is now known as Guest96455
x32 has joined #ocaml
Guest96455 has quit [Remote host closed the connection]
manizzle has quit [Remote host closed the connection]
<x32> hopefully this is not too basic. But I seem to be missing why the following errors with "... expression was expected of type 'b" "let append_lst lst = List.fold_right (fun f xs ys -> xs :: ys) lst [];;" thanks.
<x32> oops nevermind.
Yoric has joined #ocaml
shadynasty has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 265 seconds]
mcclurmc has quit [Remote host closed the connection]
Eyyub has quit [Ping timeout: 252 seconds]
bjorkintosh has joined #ocaml
axiles has joined #ocaml
Eyyub has joined #ocaml
mcclurmc has joined #ocaml
shinnya has joined #ocaml
talzeus_ has joined #ocaml
ggole has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
talzeus has quit [Read error: Connection reset by peer]
talzeus_ has quit [Remote host closed the connection]
talzeus has joined #ocaml
Yoric has quit [Ping timeout: 265 seconds]
Eyyub has quit [Ping timeout: 252 seconds]
boogie has quit [Remote host closed the connection]
ygrek has joined #ocaml
ollehar has joined #ocaml
boogie has joined #ocaml
<rgrinberg> Drup: yeah it seems silly to include tyxml for exactly 1 routine
boogie has quit [Ping timeout: 252 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 272 seconds]
Simn has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
fdagnat has joined #ocaml
fdagnat has quit [Client Quit]
mk270 has quit [Ping timeout: 260 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
mocrunsthecity has quit [Remote host closed the connection]
Yoric has joined #ocaml
mocrunsthecity has joined #ocaml
FreeArtMan has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
mcclurmc has joined #ocaml
bjorkintosh has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Ping timeout: 248 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 252 seconds]
ulfdoz has joined #ocaml
ggole has quit []
mocrunsthecity has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
pminten has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
Yoric has joined #ocaml
darklajid has joined #ocaml
boogie has joined #ocaml
ontologiae has joined #ocaml
boogie has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
kyrylo has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 245 seconds]
pminten has quit [Remote host closed the connection]
ollehar1 has joined #ocaml
ollehar has quit [Read error: No route to host]
ollehar1 has quit [Read error: Connection reset by peer]
ollehar has joined #ocaml
zpe has joined #ocaml
thomasga has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 260 seconds]
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
avsm has joined #ocaml
ggole has joined #ocaml
Hiino has joined #ocaml
thomasga has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 240 seconds]
nikki93 has joined #ocaml
milosn has quit [Ping timeout: 240 seconds]
milosn has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 272 seconds]
Hiino has quit [Ping timeout: 245 seconds]
darkf has quit [Quit: Leaving]
Hiino has joined #ocaml
rand000 has joined #ocaml
cedric_ze_French has left #ocaml []
mcclurmc has joined #ocaml
bjorkintosh has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
nikki93 has joined #ocaml
thomasga has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
ulfdoz has quit [Quit: kernel update]
lostcuaz has joined #ocaml
shield has joined #ocaml
lostcuaz has quit [Client Quit]
ulfdoz has joined #ocaml
mcclurmc has joined #ocaml
thomasga has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
thomasga has quit [Quit: Leaving.]
teiresias has quit [Quit: leaving]
nikki93 has joined #ocaml
nikki93 has quit [Read error: Operation timed out]
Arsenik has joined #ocaml
boogie has joined #ocaml
boogie has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
mcclurmc has joined #ocaml
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
mcclurmc has quit [Ping timeout: 265 seconds]
tane has joined #ocaml
boogie has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
Hiino has quit [Ping timeout: 265 seconds]
Don_Pellegrino has joined #ocaml
nikki93 has quit [Ping timeout: 253 seconds]
mcclurmc has joined #ocaml
Kakadu has joined #ocaml
malc_ has joined #ocaml
rand000 has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
Hiino has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
travisbrady has joined #ocaml
boogie has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
troydm has joined #ocaml
zpe has joined #ocaml
rand000 has joined #ocaml
Yoric has joined #ocaml
nikki93 has joined #ocaml
thomasga has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
nikki93 has quit [Ping timeout: 245 seconds]
dant3 has joined #ocaml
thomasga has quit [Quit: Leaving.]
ollehar1 has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
bjorkintosh has quit [Ping timeout: 264 seconds]
avsm has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
ben_zen has joined #ocaml
<rks`> gasche: "TODO CITE"? :)
ygrek has joined #ocaml
<rks`> there is a TODO URL too
ben_zen_ has joined #ocaml
<rks`> (the link to ghc pattern synonyms)
ben_zen has quit [Disconnected by services]
ben_zen_ is now known as ben_zen
teiresias has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
dant3 has quit [Remote host closed the connection]
zpe has joined #ocaml
ollehar1 has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
thomasga has joined #ocaml
Don_Pellegrino has quit [Quit: .]
zpe has quit [Ping timeout: 240 seconds]
ggole has quit []
nikki93 has quit [Ping timeout: 248 seconds]
travisbrady has quit [Quit: travisbrady]
fdagnat has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
yacks has quit [Quit: Leaving]
ontologiae has joined #ocaml
skchrko_ has quit [Quit: Leaving]
skchrko has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
ygrek has quit [Ping timeout: 272 seconds]
ontologiae has quit [Ping timeout: 252 seconds]
malc_ has quit [Quit: leaving]
fdagnat has quit [Quit: Leaving.]
covi has joined #ocaml
<covi> What's a good tutorial on Ocaml for someone already have some amount of FP experience with Haskell, Scala?
<covi> Just want to quickly grasp the key differences / gotchas / syntax.
<Drup> http://www.haskell.org/haskellwiki/OCaml there is this, but it's extremely short
<Drup> and not that helpful
kyrylo has quit [Quit: Hi, Rob!]
zpe has joined #ocaml
nikki93 has joined #ocaml
<covi> Drup: oh well, any good general audience tutorial then>
<Hiino> do you speak french?
<Drup> covi: http://ocaml.org/learn/tutorials/ see here :)
<nicoo> Hiino: Some here do, but #ocaml-fr might be more appropriate
<Hiino> i was talking to covi specifically
<nicoo> Hiino: Ah, ok.
<nicoo> Sorry ><'
<Hiino> but your advice will still be noted
nikki93 has quit [Read error: Operation timed out]
zpe has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
<covi> Hiino: nope
<covi> Drup: actually the haskellwiki link is pretty useful
rom1504_ is now known as rom1504
jonludlam has joined #ocaml
<Drup> covi: it's not really exhaustive and the most confusing differences are left out. I have done the journey the other way, and this page was useful for 5 minutes and not more :)
dant3 has joined #ocaml
<covi> ok ;)
<covi> To be honest at first glance I found OCaml had more quirks
<Drup> well
<adrien> "practical"
<Drup> we don't have 20 GHC extensions barely documented.
<adrien> (although that's not the word I was looking for)
<Drup> :D
mcclurmc has quit [Ping timeout: 272 seconds]
dant3 has quit [Ping timeout: 272 seconds]
jonludlam has quit [Read error: Operation timed out]
tani has joined #ocaml
tane has quit [Ping timeout: 272 seconds]
nisstyre has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
jonludlam has joined #ocaml
Eyyub has joined #ocaml
Yoric has joined #ocaml
zpe has joined #ocaml
nikki93 has joined #ocaml
tani has quit [Quit: Verlassend]
nikki93 has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
avsm has quit [Quit: Leaving.]
mcclurmc has quit [Ping timeout: 264 seconds]
Yoric has quit [Ping timeout: 245 seconds]
malvarez has joined #ocaml
shield has quit [Quit: Leaving]
kyrylo has joined #ocaml
travisbrady has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
x4i has joined #ocaml
FreeArtMan has quit [Quit: main.lv]
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
fdagnat has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
zpe has joined #ocaml
milanst has joined #ocaml
milanst has left #ocaml []
milanst has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
milanst has left #ocaml []
avsm has quit [Quit: Leaving.]
travisbrady has quit [Quit: travisbrady]
Yoric has joined #ocaml
avsm has joined #ocaml
axiles has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
Kakadu has quit []
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets_ has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
salc has quit [Quit: brb]
skchrko has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
Yoric has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
sagotch has joined #ocaml
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
<jpdeplaix> gasche: the first link of the latest gagallium blog post points to « TODO URL » :)
<adrien> ^ ^
S11001001 has joined #ocaml
<rks`> jpdeplaix: 18:50
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
<jpdeplaix> oh ! I didn't understand what it was about
<adrien> neither did I
<adrien> (but I hadn't checked the planet back thenà
<adrien> )
malvarez has quit [Ping timeout: 264 seconds]
fdagnat has quit [Quit: Leaving.]
mcclurmc has joined #ocaml
ben_zen has quit [Quit: leaving]
mcclurmc has quit [Ping timeout: 260 seconds]
malvarez has joined #ocaml
mocrunsthecity has joined #ocaml
<jpdeplaix> « My point is: complainers are gonna complain » <3
dfarm has joined #ocaml
malo has quit [Quit: Leaving]
zpe has joined #ocaml
Arsenik has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
bjorkintosh has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
darkf has joined #ocaml
Arach has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
sagotch has quit [Ping timeout: 245 seconds]
sagotch has joined #ocaml
travisbrady has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Simn has quit [Quit: Leaving]
travisbrady has quit [Quit: travisbrady]
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
zRecursive has joined #ocaml
dfarm has quit [Ping timeout: 240 seconds]
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]