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
<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>
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.
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)]