मैंने इंटरनेट के चारों ओर खोज की है, और मुझे सीएचआई की कोई स्पष्टीकरण नहीं मिल रही है जो तर्क सिद्धांत पर एक व्याख्यान में तेजी से खराब नहीं होती है जो मेरे सिर पर काफी हद तक खराब है। (ये लोग बात करते
के साथ काम करने के लिए नहीं मिल सकता है इसलिए मुझे कुछ और उन्नत हास्केल/जीएचसी सुविधाओं और अवधारणाओं को समझने में मदद करने के लिए, मैंने एक जीएडीटी-आधारित कार्यान्वयन करने का निर्णय लिया गतिशील रूप से
तो, करने के लिए अपने चल रहे प्रयास में छोटे हास्केल व्यायाम के माध्यम से आधे को समझने करी-हावर्ड, मैं इस बिंदु पर अटक मिल गया है: {-# LANGUAGE GADTs #-}
import Data.Void
type Not a = a -> Void
-