Java shenanigans aside, strictly speaking List isn't a type, it is a type constructor. It requires another type to make it concrete, like List<Int>

ahh gotcha

that makes sense

Arrow (pre-1.0) works around Kotlin/Java limitations by using Kind<F, A> for higher-kinded types

The Haskell documentation for higher-kinded types (HKTs) makes much more sense because it was built for HKTs from the ground up

but there was a paper that described so-called "lightweight HKTs" for Java

which (I think) is the basis for Arrow

would you consider the haskell docs as a good intro for FP then?

thanks for the explanation btw

To be honest with you I have read through FP docs for Arrow, Scala/Cats, Haskell, and I've learned different things from each one

A lot of the roadblocks for me were terminology and how that terminology was explained. E.g. Haskell docs on Functor, Applicative, Monad, etc. all start with more category theory than examples explaining why those are patterns

To some extent I found it was better to just start writing software with the different typeclasses/datatypes to get a feel for it

make mistakes along the way, ask in the friendly help channels for advice

I still get some of it wrong because it's not my day job. Yet.

Ya that makes sense ... i started trying to dig into the documentation but I had nothing concrete to anchor off of ... so gave that up and started just playing with Either and Option and slowly adding in other bits as I go ... i'll be a bit more ready for intermediate stuff in a month or two!

@tim Can you share what your final code snippet looks like?

I'd suggest ListK and IO next

ListK shouldn't take long and IO is reasonably straightforward

after that things like Resource/Bracket/Async/Deferred/Ref

Nice good to have targets!

throw sequence/traverse in between ListK/IO and Resource/Bracket/etc.

I was surprised at how much useful code I could write with those concepts

haha the danger for me is i already enjoying refactoring a bit too much ... trying to refactor everything into FP concepts in the short term is going to seriously hind my wider productivity in the short term!

is going to seriously hind my wider productivity in the short term!

great, we’ve made another guy unemployable. Success 😄

Okay time to sign off for the evening. Thanks for all the help!

I'll sheepishly admit to being one of "those guys" that tries to see if there's a shorter way to express the computation I have in mind given the FP tools at hand

^^^^^^ This is a rewrite of IO/BIO to suspend functions. Same functionality, simplified.

it’s a Big Deal™️