repeale / fp-go Goto Github PK

I was trying to improve the option implementation and realized that map has the following type signature:
func Map[T any](fn fp.LazyVal[T]) func(o Option[T]) Option[T] or map :: (a -> a) -> Option a -> Option a in a haskell-like syntax.

Is there a reason for it not being map :: (a -> b) -> Option a -> Option b

The same question applies to Match not being match :: ( () -> b ) -> ( a -> b ) -> Option a -> b

As for Pipe and Compose we could increase the number of arguments curried to Curry16.

Currently the max is Curry4.

https://github.com/repeale/fp-go/blob/main/curry.go

In daily development, the Map, Filter, and Reduce functions provided by FP are indeed very useful, but there may be identical elements in the arrays or slices used in business, so I have to deduplicate the arrays. Because FP does not provide deduplication functionality, I can only use the closure function to deduplicate when writing the Map myself, which is not very convenient. So I wrote functions for array and slice deduplication.