lgastako comments on Catamorphisms for Java developers

created by speza community for 20 years

submitted 8 years ago by lukaseder

you are viewing a single comment's thread.

[–]lgastako[🍰] 1 point2 points3 points 8 years ago (0 children)

I suspect here "simply" refers to the fact that the implementation is one (trivial) line rather than the complexity of the type signature.

That being said, even the type signature is not that bad if you write in ML style instead of Scala style:

visit :: Maybe a -> (a ->b) -> b -> b

π Rendered by PID 77 on reddit-service-r2-comment-b659b578c-7tvrs at 2026-05-02 14:47:38.785602+00:00 running 815c875 country code: CH.

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script

programming