Let option.match return two different types about prelude-ts HOT 4 CLOSED

hi, thank you for the feedback! In this case I'm not sure the idea with two generics is actually a progress. One thing is that in that concrete case with the JSX, I think this would work:

const content = results.match({
  None: () => <Loader />,
  Some: movies => <>{movies.map(movie => <MoviesListItem key={movie.id} {...movie} />)}</>
})

the other thing is that I think you can achieve what you want already with the current API. In the end if you want to return an or type with both options, you can just force typescript to use the or type, and it'll work already today, which means this would work:

const content = results.match<JSX.Element|JSX.Element[]>({
  None: () => <Loader />,
  Some: movies => movies.map(movie => <MoviesListItem key={movie.id} {...movie} />)
})

But, granted, in that case you get no inference for free.

Still, for now I think the way prelude does it for now is probably the right way. The way match works follows a general principle in functional programming, it's a catamorphism, and that has proven useful in many contexts and libraries, for instance:

• the monet javascript library
• the either function in haskell
• the Either.fold function in scala

and maybe others for sure. If you check these links, they all use one generic only for the return type, so I think that's the better way. But I'm always interested if you have a concrete example or if the "workarounds" i gave are not good enough! By default though, because the concept of catamorphism is so accepted in functional programming, I probably wouldn't touch match, but we can add another function for some special use-case, and either rename the current match and have the new function named match. But currently I think the current setup found in prelude is OK.

Thank you again for the feedback, and let me know what you think!

from prelude-ts.

Oh yeah, I'm definitely fine with it staying like that.

I also found out you can use

results.match<React.ReactNode>({
  ...
})

from prelude-ts.

I'll make a pull request if that's ok

from prelude-ts.

great to hear you found a good way!

from prelude-ts.