2
현대 GHC 버전에는 어떤 종류의 증거 삭제 기능이 있습니까?
예를 들어이 작은 프로그램에서와 같이 유형 시스템의 이점을 위해 존재하는 매개 변수가 있다고 가정합니다. {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) -> MyPoly listOfPolys :: [MyPoly] listOfPolys = …