Re: [Haskell-cafe] singToList

I have to say that a question about types from singletons package. I am sorry that didn't say it before. 31 дек. 2017 г. 4:05 PM пользователь "Ramin Honary" написал:

I think the closest thing I can think of that describes a "thingToList" kind of thing you are talking about would be the "Foldable" and "Traversable" class:

https://hackage.haskell.org/package/base-4.10.1.0/docs/Data-Foldable.html https://hackage.haskell.org/package/base-4.10.1.0/docs/ Data-Traversable.html

However it is not exactly as you described, there is no direct conversion of a "Thing" data structure to an actual list data structure.

The problem with converting data structures like Trees into lists structures is that this can be inefficient. Instead, think of the reason you want to have a list object: because you want to perform scan through the list to find an element, or you want to perform a fold, yes?

So instead of converting to a list and then applying a fold or map function, it is much better to pass a mapping function to a higher-order function like "mapM," or "sequence," or pass a folding function a higher-order function like "foldM", and allow these higher-order functions scan through the data structure without converting it to a list first.

On Sun, Dec 31, 2017 at 4:08 AM, Dmitry Olshansky wrote:

...

Hello cafe,

Does a function like `singToList` exist somewhere:

singToList :: Sing (xs :: [k]) -> [SomeSing k] singToList = \case SNil -> [] SCons x xs -> SomeSing x : singToList xs

?

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.