News for hackers. Stuff that matters.

A comment on Functional programming jargon in plain English. Parent comment

Re:Functional programming jargon in plain English by jmgimeno on Monday July 04, 2022 @06:11AM (#31975431)
Yes, but you're relying on the undefined concept of context. How do you define context?
[ Parent | on HN ]
Re:Functional programming jargon in plain English by mjburgess on Monday July 04, 2022 @06:28AM (#31975528)
"The idea" practically, is whatever resolves the polymorphism. So context is a compiler function from syntax->semantics.

Eg., `+` is polymorphic, `1 + 1` and `"1" + "1"`... the context is whatever implicitly resolves `+` to `ADD` or to `CONCAT`.

The utility of these ideas is, in practice, just they provide a syntax for different kinds of polymorphism. Eg., for monads, we're basically just telling the compiler to change its implementation of `;`

[ Parent | on HN ]