Functors in Functional Programming

The cluster focuses on explanations, definitions, and examples of functors, including their type signatures, instances like functions, and relations to composition, point-free style, and Haskell implementations.

πŸ“‰ Falling 0.5x Programming Languages
3,944
Comments
20
Years Active
5
Top Authors
#8370
Topic ID

Activity Over Time

2007
2
2008
10
2009
27
2010
86
2011
90
2012
130
2013
211
2014
366
2015
347
2016
234
2017
317
2018
221
2019
229
2020
398
2021
306
2022
273
2023
240
2024
226
2025
213
2026
18

Keywords

foo.bar GHC Prelude.read JSON Types.Char Combinator.html BTW GHC.Num SelectMany MyType function haskell map partial lenses functions composition foo compose notation

Sample Comments

pmoriarty β€’ Nov 3, 2020 β€’ View on HN

Can someone explain to me like I'm 5 what the big deal about functors is?

6nf β€’ Sep 10, 2021 β€’ View on HN

What makes a type constructor a functor, what's the difference

deadfoxygrandpa β€’ Jul 8, 2025 β€’ View on HN

you're just not familiar with it. like when you ask what "a " means, well this code is literally defining what it means. it means whatever comes after the equals signin fact the example you picked is trivially simple even if you dont really know the syntax. all you need to do is not rage out and stop thinking. it's literally saying that "as f" is equal to "f as". so you dont even need to know what is, its e

smabie β€’ Sep 2, 2020 β€’ View on HN

You've definitely used Functors or Semigroups as well, you just didn't realize it.

mesarvagya β€’ Apr 4, 2019 β€’ View on HN

The first definition is says it takes a normal function and returns a function in category f. But second definition says it takes a value fa and a function and return fb. Does the order of defining arguments matters or its just a taste of matter? Thanks.

danharaj β€’ Sep 3, 2019 β€’ View on HN

Why does Mappable mean "something that you can apply functions to" and not "something that you can apply as if it were a function"?

dllthomas β€’ Jul 15, 2015 β€’ View on HN

"Compose" being Kleisli composition?

lectrick β€’ Jan 1, 2016 β€’ View on HN

Wouldn't it be "fun (a |> b) = b a"? (call b on result of argument a)?

thanatropism β€’ Aug 21, 2018 β€’ View on HN

He of functional programming with bananas etc.?

catgary β€’ Sep 10, 2021 β€’ View on HN

It’s a type constructor that extends to functions. It’s a functor.