functional-programming-jargon
functional-programming-jargon copied to clipboard
hemanth
Jargon from the functional programming world in simple terms!
Addressing some of the feed back in #220 I looked at "Lift" and while I can see that our definition is more general than "lambda lifting" I kinda prefer that...
After reading https://stackoverflow.com/questions/39179830/how-to-use-pointed-functor-properly I thought we should make the definition less wrong.
Even within FP there are multiple meanings of some terms, a good example is functor. You've covered one meaning and might not be aware of the other two meanings. 1....
The central idea behind a functor is that it is a map between categories; for every arrow in the source category, the functor designates an arrow in the target category,...
I like a lot all that I read here - but - I could not figure the logic of the order of the values in the index. I think it's...
The example category, Max, is a preorder. The resulting category is skeletal; there is at most one arrow between any two objects. This is not bad, but most categories will...
Since it peaked on HN[1] a few hours ago, there were some suggestions on things we could improve: From mjburgess: These definitions don't really give you the idea, rather often...
The goal of category theory is to define natural transformations; categories were originally an auxiliary concept. If categories and functors are covered, then natural transformations should be covered too.
For example, the algebraic laws for categories say that, for any arrow `f`. `f;id == id;f == f`. These laws are essential for functors and monads.
I miss an entry for the (polymorphic) identity function (`id`), which is the (left and right) unit of function composition. It is a pity that many languages claiming to have...
