Take the 2-minute tour ×
Programmers Stack Exchange is a question and answer site for professional programmers interested in conceptual questions about software development. It's 100% free, no registration required.

What are some techniques I might use to consistently refactor code removing the reliance on existential types? Typically these are used to disqualify undesired constructions of your type as well as to allow consumption with a minimal of knowledge about the given type (or so is my understanding).

Has anyone come up with a simple consistent way to remove reliance on these in code which still maintains some of the benefits? Or at least any ways of slipping in an abstraction that allows their removal without requiring significant code churn to cope with the alteration?

You can read more about existential types here ("if you dare..").

share|improve this question
3  
"First-Class Modules for Haskell" illustrates some key shortcomings of existential types, or at least the way Haskell currently implements them. In particular, an existentially-typed value always has to be accompanied by an ad-hoc wrapper, or GHC's brain will explode. Existential types are a little awkward in Haskell, but they're useful, and we don't have anything clearly better yet. –  Joey Adams Jan 27 '13 at 4:48
7  
@RobertHarvey I found the blog post that made me think about this question the first time: Haskell Antipattern: Existential Typeclass. Also, the paper Joey Adams mentions describes some poblems with existentials in Section 3.1. If you have contrary arguments, please share them. –  Petr Pudlák Jan 27 '13 at 8:10
4  
@PetrPudlák: Keep in mind that the antipattern there is not existential types in general, but a particular use of them when something simpler and easier (and better supported in Haskell) would do the same job. –  C. A. McCann Jan 28 '13 at 14:21
5  
If you want to know why the author of a particular blog post expressed an opinion then the person you should probably ask is the author. –  Eric Lippert Feb 25 '13 at 16:17
    
From the link — Page Discussion Existential type, There is currently no text in this page. You can search for this page title in other pages, or search the related logs, but you do not have permission to create this page. –  richard Nov 15 '13 at 9:54
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.