Re: [Caml-list] ReasonML concrete syntax

[Hendrik Boom <hendrik@topoi.pooq.com>]

On Wed, Dec 13, 2017 at 09:22:05AM +0100, Sebastien Ferre wrote:
> 
> The Scala notation is an interesting alternative, IMO.
> 
> They have two notations, f(x,y) and f(x)(y), the latter being the
> curryfied version allowing partial application.
> 
> They also have a notation for partial application
> of the non-curryfied form,  f(x,_) and f(_,y), with
> the advantage that not only the last argument can missing.

I understand currying; I first encountered it in the 60's when 
studying combinatory logic. 

But I find it a nuisance in progrmming in OCaml, becuse it oftern 
happens by accident, and results in mysterious type errors, or none at 
all.

That's why I'd like to see currying only happen explicitly; most of 
the time Ocaml figures I'm currying it's a mistake.

-- hendrik