flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.03.0 announced http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
snhmib has quit [Ping timeout: 250 seconds]
mehdib has quit [Ping timeout: 268 seconds]
mehdib has joined #ocaml
sh0t has quit [Ping timeout: 268 seconds]
Sorella has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
Reshi has joined #ocaml
Intensity has quit [Ping timeout: 240 seconds]
cross has quit [Ping timeout: 250 seconds]
mistermetaphor has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
Intensity has joined #ocaml
cross has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
Anarchos has quit [Ping timeout: 250 seconds]
struk|desk has quit [Read error: Connection reset by peer]
Algebr has quit [Ping timeout: 244 seconds]
struk|desk has joined #ocaml
walter|r has joined #ocaml
rgrinberg has joined #ocaml
mistermetaphor has joined #ocaml
sh0t has joined #ocaml
lizzin has joined #ocaml
darkf has joined #ocaml
dsheets has joined #ocaml
lizzin is now known as Guest59831
ygrek has quit [Ping timeout: 276 seconds]
dsheets has quit [Ping timeout: 260 seconds]
rishi has joined #ocaml
Reshi has quit [Ping timeout: 240 seconds]
rishi is now known as Guest18979
mistermetaphor has quit [Remote host closed the connection]
hxegon_afk is now known as hxegon
rgrinberg has quit [Ping timeout: 244 seconds]
struk|desk is now known as struk|desk|away
struk|desk|away is now known as struk|desk
FreeBirdLjj has joined #ocaml
Guest59831 has quit [Ping timeout: 252 seconds]
pierpa has quit [Read error: Connection reset by peer]
pierpa has joined #ocaml
infinity0 has quit [Remote host closed the connection]
struktured has joined #ocaml
infinity0 has joined #ocaml
jeffmo has quit [Quit: jeffmo]
walter|r has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
Guest18979 has quit [Ping timeout: 276 seconds]
<hxegon> Would anyone be interested in going through this: http://quant-econ.net/jl/linear_algebra.html with me? I'll be attempting to do the assignments in OCaml rather than julia, which is why I ask here.
rpip has quit [Ping timeout: 250 seconds]
badon has joined #ocaml
rpip has joined #ocaml
rpip has quit [Ping timeout: 268 seconds]
rpip has joined #ocaml
wolfcore has quit [Ping timeout: 250 seconds]
Guest18979 has joined #ocaml
pierpa has quit [Ping timeout: 240 seconds]
wolfcore has joined #ocaml
hxegon is now known as hxegon_afk
sh0t has quit [Remote host closed the connection]
johnelse has quit [Ping timeout: 276 seconds]
Guest18979 has quit [Quit: WeeChat 1.4]
johnelse has joined #ocaml
hxegon_afk is now known as hxegon
copy` has quit [Quit: Connection closed for inactivity]
shinnya has quit [Ping timeout: 268 seconds]
dsheets has joined #ocaml
mistermetaphor has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
rgrinberg has joined #ocaml
lokien_ has joined #ocaml
g4143 has joined #ocaml
dsheets has joined #ocaml
g4143 has quit [Client Quit]
dsheets has quit [Ping timeout: 250 seconds]
kyo9142 has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
hxegon is now known as hxegon_afk
mistermetaphor has joined #ocaml
njrt has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
A1977494 has joined #ocaml
MercurialAlchemi has joined #ocaml
badon has quit [Disconnected by services]
Sorella has quit [Quit: Connection closed for inactivity]
badon has joined #ocaml
toolslive has quit [Ping timeout: 240 seconds]
kushal has joined #ocaml
toolslive has joined #ocaml
lizzin has joined #ocaml
lizzin is now known as Guest75689
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
Guest75689 has quit [Changing host]
Guest75689 has joined #ocaml
Guest75689 is now known as lizzin
kyo9142 has quit [Ping timeout: 260 seconds]
cdidd has quit [Ping timeout: 260 seconds]
kyo9142 has joined #ocaml
cdidd has joined #ocaml
cdidd has quit [Ping timeout: 246 seconds]
sgronblo_ is now known as sgronblo
cdidd has joined #ocaml
Nahra` has quit [Ping timeout: 276 seconds]
Simn has joined #ocaml
badon has quit [Disconnected by services]
toolslive has quit [Remote host closed the connection]
badon has joined #ocaml
<solrize>
<solrize> OCaml 4.03.0 released (including flambda) (inria.fr)
<Leonidas> solrize: yes.
<solrize> some of the HN comments were interesting so i pasted the link here
<Leonidas> Khady: you got a moment to give the Slacko-branch a try?
<Leonidas> solrize: thanks :)
<Leonidas> HN seems to be really into OCaml
<solrize> i think ocaml has admirers there, dunno about actual users
<solrize> i'm in the "admirer but not user" category right now
<solrize> so i like to see these progress notes
kolko_ has joined #ocaml
kolko has quit [Ping timeout: 246 seconds]
aantron_ has joined #ocaml
<Leonidas> solrize: I think from the time I first touched OCaml (3.10 or so) to now, there has been quite some solid progress
<solrize> yeah, and 3.10 wasn't even that long ago
<solrize> GADTs were a big change
<companion_cube> indeed
aantron has quit [Ping timeout: 244 seconds]
<Leonidas> I noticed only after my student exchange that I was at the same university as Jacques Garrigue :)
<solrize> who?
<companion_cube> the grand master of OCaml's typechecker
<solrize> oh neat
<Leonidas> the person who implemented GADTs in OCaml
<solrize> ghc's gadts were done in some ad hoc messy way, and then a year or two ago the typechecker got redone and there was a paper about it
<solrize> a more unified way to deal with gadts
<solrize> idk whether that was before or after ocaml got gadts
<solrize> if the paper was around it probably would have been useful
kyo9142 has quit [Ping timeout: 260 seconds]
<companion_cube> I think it's a paper based on coercions, where data constructors can also carry type equalities
kyo9142 has joined #ocaml
kyo9142 has quit [Ping timeout: 276 seconds]
<solrize> rbocquet, yeah i think that's it
<solrize> i heard ocaml is also getting something like bounded polymorphism (haskell type classes)
<solrize> actually from that hn thread
<companion_cube> maybe, it's not ready yet
amnn has joined #ocaml
<solrize> anyone here look at purescript? it has haskell-like syntax and types, but strict evaluation. current main implementation compiles to javascript.
jwatzman|work has joined #ocaml
pierpa has joined #ocaml
<chelfi> I've heard that ocaml compilation to javascript has a strong support
<chelfi> I would expect it to be the first choice for ocaml users in need of a statically, strongly typed, strictly evaluated functional programming language in the browser
Nahra has joined #ocaml
<solrize> i didn't know ocaml had a js backend but it doesn't surprise me
<solrize> anyway gnite
<Khady> Leonidas: it requires a bit of work to adapt my code to the new api. I will have a look a it later today. Thanks for the branch
<Leonidas> solrize: I looked at it, but the docs spend a lot of time teaching haskell and little time to tell me how to integrate with JS libs
<Leonidas> Khady: it does? I would hope the API didn't change (except for that one variant I had to add) :-(
<Khady> `Success now contains a record rather than a json
<Khady> I don't think it comes from this branch, but I wasn't developping against master
larhat has joined #ocaml
martintrojer has joined #ocaml
<Leonidas> Khady: Ah. Right.
<Leonidas> just looked at the diff from the latest release to master, lot of changes.
njrt has quit [Ping timeout: 250 seconds]
silver has joined #ocaml
TheLemonMan has joined #ocaml
<aggelos__> hmm, so basically I'm going a DSL and using sexplib to avoid doing any parsing... at which point would it be simpler to embed e.g. a scheme interpreter and are people doing that?
jwatzman|work has quit [Quit: jwatzman|work]
lokien_ has quit [Quit: Connection closed for inactivity]
snhmib has joined #ocaml
jwatzman|work has joined #ocaml
jinj has joined #ocaml
kamog has joined #ocaml
<Simn> Trying to use opam on Windows again: http://paste2.org/6Z3YvH67
walter|r has joined #ocaml
walter|r has quit [Remote host closed the connection]
<adrien> Simn: why are you trying?
<adrien> I mean, it's officially in the TODO list
walter|r has joined #ocaml
<adrien> meaning it's expected to not currently work
<Simn> From http://protz.github.io/ocaml-installer/ I got the impression that it should at least work through cygwin.
kakadu has joined #ocaml
BitPuffin has joined #ocaml
ggole has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
BitPuffin has joined #ocaml
walter|r has quit [Remote host closed the connection]
<companion_cube> gasche: is there a function in ocamlbuild's API to start the build process explicitely? that is, is ocamlbuild designed to be entirely run as a library?
sz0 has joined #ocaml
axiles has quit [Ping timeout: 250 seconds]
rbocquet has quit [Ping timeout: 260 seconds]
jun__ has quit [Ping timeout: 250 seconds]
hcarty has joined #ocaml
rbocquet has joined #ocaml
BitPuffin has quit [Ping timeout: 268 seconds]
noethics has joined #ocaml
jimt_ has joined #ocaml
jimt has quit [Ping timeout: 250 seconds]
jun__ has joined #ocaml
hcarty has quit [Ping timeout: 252 seconds]
jimt_ is now known as jimt
copy` has joined #ocaml
jeffmo has joined #ocaml
rgrinberg has joined #ocaml
dsheets has joined #ocaml
<gasche> companion_cube: see main.ml, you build with Solver.solve_target
dsheets has quit [Remote host closed the connection]
<gasche> I'm not sure about the answer to your second question (I did not design ocamlbuild); I think it wasn't really designed to run as a library, but the plugin model makes it so that it essentially works as such (plugins get compiled into whole-programs that run the build, they are not dynlinked into some opaque executable)
kushal has quit [Quit: Leaving]
fraggle_ has quit [Read error: Connection reset by peer]
FreeBird_ has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
FreeBirdLjj has joined #ocaml
dsheets has joined #ocaml
oskarth has quit [Quit: Connection closed for inactivity]
bba has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
jinj has quit [Quit: Page closed]
<companion_cube> ok, thanks
sepp2k has joined #ocaml
sh0t has joined #ocaml
sepp2k has quit [Quit: Leaving.]
FreeBirdLjj has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
dsheets has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
dsheets has joined #ocaml
lokien_ has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
jeffmo has quit [Quit: jeffmo]
bba has quit [Remote host closed the connection]
mettekou has joined #ocaml
MercurialAlchemi has joined #ocaml
struktured has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
hcarty has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
walter|r has joined #ocaml
slash^ has joined #ocaml
jeffmo has joined #ocaml
walter|r has quit [Remote host closed the connection]
Sorella has joined #ocaml
<cojy> why is there a 4.03.0+flambda package in opam? is flambda not enabled by default?
<hannes> cojy: exactly.
jwatzman|work has joined #ocaml
<_y> ah? i thought so
<hcarty> Enabling or disabling flambda is currently a choice that has to be made when the OCaml compiler is compiled. Compilation with flambda enabled is slower than without, so that's at least part of the reason it is not the default option.
<hcarty> What is the proper name for '->' in OCaml type definitions and signatures?
<zozozo> hcarty: lambda abstraction ? function type ?
<hcarty> zozozo: Specifically the arrow... I haven't been able to find a good name for it
<hcarty> 'type separating arrow thing' doesn't read well
<zozozo> arrow is fine I guess
<cojy> hcarty: it's usually called arrow
kushal has joined #ocaml
thibm has joined #ocaml
hcarty1 has joined #ocaml
scarygelatin has joined #ocaml
hcarty has quit [Ping timeout: 244 seconds]
shinnya has joined #ocaml
A19774941 has joined #ocaml
hxegon_afk is now known as hxegon
A1977494 has quit [Ping timeout: 250 seconds]
mistermetaphor has joined #ocaml
ygrek has joined #ocaml
pierpa` has joined #ocaml
pierpa has quit [Ping timeout: 250 seconds]
amnn_ has joined #ocaml
amnn has quit [Ping timeout: 276 seconds]
sepp2k has joined #ocaml
mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
darkf has quit [Quit: Leaving]
jwatzman|work has quit [Quit: jwatzman|work]
noethics has quit [Ping timeout: 240 seconds]
leyyin has joined #ocaml
axiles has joined #ocaml
<hxegon> How would I do Png output with this: http://ogu.bitbucket.org/gnuplot-ocaml/api/Gnuplot.Output.html?
<hxegon> I'm really not sure how to read the docs for OCaml yet, and I'm trying to get a trivial graph plotting example to work.
<hxegon> The output option would be added to the example on this page: https://bitbucket.org/ogu/gnuplot-ocaml
larhat has quit [Quit: Leaving.]
amnn_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mettekou has joined #ocaml
<theblatte> is there a way to retain the polymorphism of an argument while making it optional? let foo ?(a : 'a = ()) () : 'a = a;; gets type val foo : ?a:unit -> unit -> unit
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
_berke_ has joined #ocaml
<_berke_> hello
FreeBirdLjj has quit [Ping timeout: 250 seconds]
mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<hcarty1> Thanks cojy and zozozo
<hcarty1> theblatte: I don't think that's possible
<kakadu> hxegon: val plot : ?output:Gnuplot.Output.t -> ...
<kakadu> I think that is what you need
<kakadu> theblatte: Short answer -- no. Long answer depends what you need
<hxegon> kakadu: I'm trying to figure out how to contruct the type. Gp.plot_many ~output:(Output.create ????) ...
mettekou has joined #ocaml
<kakadu> intuion says
<kakadu> Output.create (`Png "a.png")
<kakadu> intuition*
<hxegon> kakadu: That was it, thanks so much!
malc_ has joined #ocaml
<theblatte> hcarty1, kakadu: interesting :)
lokien_ has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 250 seconds]
dsheets has quit [Remote host closed the connection]
hcarty1 is now known as hcarty
ggole has quit []
Sorella has quit [Quit: Connection closed for inactivity]
pierpa` is now known as pierpa
mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
badon has quit [Ping timeout: 240 seconds]
mettekou has joined #ocaml
tobiasBo1 has quit [Ping timeout: 252 seconds]
_y has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
rgrinberg has joined #ocaml
tobiasBo1 has joined #ocaml
_y has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
djellemah_ has joined #ocaml
djellemah_ has quit [Max SendQ exceeded]
djellemah_ has joined #ocaml
djellemah__ has joined #ocaml
djellemah has quit [Ping timeout: 250 seconds]
djellemah_ has quit [Ping timeout: 244 seconds]
_berke_ has quit [Remote host closed the connection]
kakadu has quit [Quit: Page closed]
shinnya has quit [Ping timeout: 276 seconds]
mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mettekou has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
copy` has quit [Quit: Connection closed for inactivity]
dsheets has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
djellemah_ has joined #ocaml
lizzin has quit [Ping timeout: 260 seconds]
lizzin has joined #ocaml
djellemah__ has quit [Ping timeout: 276 seconds]
lizzin is now known as Guest37300
pierpa has quit [Ping timeout: 260 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
doecnt has joined #ocaml
hcarty has quit [Ping timeout: 276 seconds]
kakadu has joined #ocaml
copy` has joined #ocaml
Anarchos has joined #ocaml
Guest37300 has quit [Ping timeout: 246 seconds]
lizzin_ has joined #ocaml
dsheets has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
leyyin has quit [Quit: So Long, and Thanks for All the Fish]
amnn has joined #ocaml
dsheets has joined #ocaml
doecnt has quit [Ping timeout: 250 seconds]
dsheets has quit [Ping timeout: 250 seconds]
thibm has quit [Quit: WeeChat 1.4]
sh0t has quit [Ping timeout: 276 seconds]
Anarchos has quit [Quit: Page closed]
sh0t has joined #ocaml
bba has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
Rome has quit [Changing host]
Rome has joined #ocaml
octachron has joined #ocaml
sh0t has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
doecnt has joined #ocaml
amnn has quit [Ping timeout: 276 seconds]
amnn has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
mistermetaphor has joined #ocaml
kakadu has quit [Remote host closed the connection]
mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
solrize has quit [Ping timeout: 276 seconds]
ooo has quit [Ping timeout: 244 seconds]
ooo has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
lizzin_ has quit [Ping timeout: 240 seconds]
noethics has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
octachron has quit [Quit: Leaving]
martintrojer has quit [Ping timeout: 246 seconds]
theblatte has quit [Ping timeout: 246 seconds]
theblatte has joined #ocaml
martintrojer has joined #ocaml
christoph_debian has quit [Ping timeout: 244 seconds]
badon has joined #ocaml
Simn has quit [Quit: Leaving]
christoph_debian has joined #ocaml
<noethics> there it says "as soon as you know n at runtime"
<noethics> what does it mean by that?
mistermetaphor has quit [Remote host closed the connection]
mistermetaphor has joined #ocaml
mistermetaphor has quit [Ping timeout: 260 seconds]
<noethics> ie. is it going to make one of those optimized functions for every call to power?
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
A19774941 has quit [Remote host closed the connection]
<please_help> Why has the url for opam changed to 2.0~dev? Shouldn't 1.3 (or whatever the current version should be) be continued until 2.0~dev becomes 2.0?
bba has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
doecnt has quit [Ping timeout: 246 seconds]
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]