1
সম্পূর্ণরূপে নির্ভরশীল যুক্তি তৈরি করা
কনটেন্টেশন সম্পর্কে একটি দুর্দান্ত সত্য ঘটনাটি হ'ল যদি আমি সমীকরণের কোনও দুটি ভেরিয়েবল জানি: a ++ b = c তখন আমি তৃতীয়টি জানি। আমি এই ধারণাটি আমার নিজস্ব উপসংগে ক্যাপচার করতে চাই তাই আমি কার্যকরী নির্ভরতা ব্যবহার করি। {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} …