Message from JavaScript discussions

May 2019

— 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.

— That's not possible with only combinators

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

— But you did it in js

— So essentially a higher-order function whose body is a call expression

— I introduced primitives

— Nice, that’s a combinator. It’s very used concept in functional programming isn’t it?

— It's a paradigm by itself

— It existed before lambda calculus

— More like the grandfather of functional programming

— At least the untyped branches