DEV Community

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

lepinekong profile image

=> (fat arrow ) means the math logic predicate "implies" 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 ;)

jsn1nj4 profile image
Elliot Derhay

Don't look now, but PHP...

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.