python (65.2k questions)

javascript (44.3k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (13k questions)

Questions - catamorphism

How to implement fixed points of functors in Java

I recently discovered how to simulate higher order types in Java in a somewhat roundabout way like so interface H<F, T> { } Here H encodes a higher order type that takes a type parameter F whi...
test-img

michid

java

functor

higher-kinded-types

catamorphism

fixed-point-iteration

Votes: 0

Answers: 1

Latest Answer

Indeed this can be done by carefully translating the corresponding Haskell counterparts. Although this introduces a lot of line noise, the implementation is quite close to the original: // Encoding o...
test-img

michid

Posts

Questions

Blogs

Jobs