DEV Community

Discussion on: What common programming concept has the wrong name?

Collapse
lepinekong profile image
lepinekong

=> (fat arrow ) means the math logic predicate "implies" rapidtables.com/math/symbols/Basic... it has nothing to do with function, what did the javascript commitee drink on that day or there was one guy using coffeescript who made that silly choice ;)

Collapse
jsn1nj4 profile image
Elliot Derhay

Don't look now, but PHP...

Collapse
hugueschabot profile image
Hugues Chabot

By the Curry Howard correspondence, logical implication and function types are related. But I doubt that is the rational for the fat arrow.