Haskell中的存在类型和其他语言中的泛型

Question

data ShowBox = forall s. Show s => SB s
 
heteroList :: [ShowBox]
heteroList = [SB (), SB 5, SB True]

instance Show ShowBox where
  show (SB s) = show s
 
f :: [ShowBox] -> IO ()
f xs = mapM_ print xs

main = f heteroList

interface Vocal {

    void voice();
}

class Cat implements Vocal {

    public void voice() {
        System.out.println("meow");
    }
}

class Dog implements Vocal {

    public void voice() {
        System.out.println("bark");
    }
}

var animals = Arrays.asList(new Cat(), new Dog());
animals.forEach(Vocal::voice);

或者我只是混淆了概念，存在类型和泛型意味着完全不同的东西。请帮我弄明白。

Answer 1

是的，存在主义类型和泛型意味着不同的东西。存在类型可以类似于面向对象语言中的接口使用。当然，您可以在列表中放置一个，但是使用接口不需要列表或任何其他泛型类型。只要有一个vocal类型的变量来演示它的用法就足够了。

它在Haskell中没有被广泛使用，因为大多数时候并不真正需要它。

nonHeteroList :: [IO ()]
nonHeteroList = [print (), print 5, print True]

在没有任何语言扩展的情况下做同样的事情。

interface Shape {
   void Draw();
   double Area();
}

例如，可以用Haskell将其表示为，

type Shape = (IO (), Double)

然后说

circle center radius = (drawCicrle center radius, pi * radius * radius)
rectangle topLeft bottomRight = (drawRectangle topLeft bottomRight, 
           abs $ (topLeft.x-bottomRight.x) * (topLeft.y-bottomRight.y))

shapes = [circe (P 2.0 3.5) 4.2, rectangle (P 3.3 7.2) (P -2.0 3.1)]

尽管您可以用类型、类、实例和存在表示完全相同的内容

class Shape a where
  draw :: a -> IO ()
  area :: a -> Double

data ShapeBox = forall s. Shape s => SB s
instance Shape ShapeBox where
  draw (SB a) = draw a
  area (SB a) = area a

data Circle = Circle Point Double
instance Shape Circle where
  draw (Circle c r) = drawCircle c r
  area (Circle _ r) = pi * r * r

data Rectangle = Rectangle Point Point
instance Shape Rectangle where
  draw (Rectangle tl br) = drawRectangle tl br
  area (Rectangle tl br) = abs $ (tl.x - br.x) * (tl.y - br.y)

shapes = [Circle (P 2.0 3.5) 4.2, Rectangle (P 3.3 7.2) (P -2.0 3.1)]