[Haskell-cafe] Incredibly slow type-level Nub
olshanskydr at gmail.com
Sun Feb 7 21:21:18 UTC 2016
I suppose that a problem is with "non-lazy type-level If".
This was discussed here
And there is <https://ghc.haskell.org/trac/ghc/ticket/11113#ticket> a
ticket with workaround.
2016-02-07 16:37 GMT+03:00 Nickolay Kudasov <nickolay.kudasov at gmail.com>:
> Dear Cafe,
> I have faced a type-level performance problem (with GHC 7.10.3).
> I am trying to implement type-level Nub which removes duplicates from a
> type-level list.
> My implementation  with an example of a list of length 20 takes forever
> to compile. If you reduce the size of the example list (e.g. to 15 items),
> it will compile faster. Also, if you remove the Nub application from
> exampleVals, it compiles instantly (this is how I know the problem is in
> My question is how can I speed up type-level Nub?
> And less importantly why exactly is it this slow?
> The practical application for this is building automatic tests  for
> servant-swagger. There I am interested in generating exactly one test for
> each distinct type.
> Kind regards,
>  https://gist.github.com/fizruk/06458fe8b62a1e562af1
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe