Suggestion: Infix operators/functions

kdex kdex at kdex.de
Fri Feb 2 12:06:36 UTC 2018


In ECMAScript's current state, infix operators would likely complicate future 
discussions of operator overloading. Before we tackle these problems, I think 
it's more convenient to have type annotations first.

On Friday, February 2, 2018 12:55:17 PM CET Thomas Grainger wrote:
> I'm porting this from the TypeScript issue tracker, original from:
> https://github.com/Microsoft/TypeScript/issues/2319#issue-60851953
> 
> Since it's very unlikely that the extension methods will ever be
> implemented [in a call-site-rewrite
> manner](https://github.com/Microsoft/TypeScript/issues/9#
> issuecomment-74302592),
> please consider adding infix operators to enable writing in functional
> style similarly to what can be done in Haskell:
> 
> Monoids
> 
> ```js
> 
>     function '+' (left, right) {
>        return left.concat(right);
>     }
> 
>     [1, 2, 3] '+' [4, 5]; // [1, 2, 3, 4, 5]
> 
> ```
> 
> Monads
> 
> ```js
>     function '>>=' (promise, bind) {
>        return promise.then(bind);
>     }
>     $.get('/get') '>>=' x => $.post('/save', x + 1)
> ```
> 
> Functors
> 
> ```js
>     function '.' (inner, outer) {
>        return function(value: a) : c {
>           return outer(inner(value))
>        }
>     }
> 
>     function f(x) { }
>     function g(y) { }
>     (f '.' g)(x); // z
> ```
> 
> 
> 
> Thomas Grainger
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180202/3ed1267a/attachment.sig>


More information about the es-discuss mailing list