Message from JavaScript discussions

May 2019

— const id = x => x;


Now you mention it, it’s possible that’s a fixed point function, but don’t know what makes a function a “combinator”

— Combinator is a function that takes or returns functions afaik

— To me it's just adding evaluations

— It reminds me to c macro metaprograming

— You can do a PoC where you run out of Function passings

— Then the combinator returns typeerror

— It's like you reach the end of the turing machine

— Or more specifically:
A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.

Message permanent page

— That's not possible with only combinators

— You'd have to introduce primitives or other language gunk

— But you did it in js