প্রশ্ন ট্যাগ «type-theory»

আমি নির্ভরশীল-টাইপড প্রোগ্রামিংয়ে ডুবতে শুরু করেছি এবং দেখতে পেয়েছি যে আগদা এবং ইদ্রিস ভাষা হাস্কেলের নিকটতম, তাই আমি সেখানেই শুরু করেছি। আমার প্রশ্নটি: তাদের মধ্যে প্রধান পার্থক্যগুলি কোনটি? উভয় ক্ষেত্রেই কি টাইপ সিস্টেমগুলি সমানভাবে এক্সপ্রেসিভ হয়? সুবিধাগুলি সম্পর্কে একটি বিস্তৃত তুলনামূলক এবং আলোচনা করা দুর্দান্ত হবে। আমি কিছু স্পট করতে …

164 agda  type-theory  idris 

absurdফাংশন Data.Voidনিম্নলিখিত স্বাক্ষর, যেখানে রয়েছে Voidকথাটি জনবসতিহীন যে ধরনের প্যাকেজ দ্বারা রপ্তানি করা হয়: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a আমি যথেষ্ট যুক্তি জানি ডকুমেন্টেশন বক্তব্যের পেতে কি যে এই অনুরূপ, প্রস্তাবের …

97 haskell  type-theory  curry-howard