2
আধুনিক জিএইচসি সংস্করণগুলিতে কি কোনও ধরণের প্রুফ মুছা আছে?
ধরুন আমার কাছে একটি প্যারামিটার রয়েছে যা কেবলমাত্র টাইপ সিস্টেমের সুবিধার জন্যই বিদ্যমান, উদাহরণস্বরূপ এই ছোট প্রোগ্রামের মতো: {-# 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 …