প্রশ্ন ট্যাগ «curry-howard»

আমি আমার প্রোগ্রামিং জীবনে তুলনামূলকভাবে দেরী করে কারি-হাওয়ার্ড আইসোমর্ফিবাদ নিয়ে এসেছি এবং সম্ভবত এটি আমার এতে মুগ্ধ হওয়ার ক্ষেত্রে অবদান রাখে। এটি বোঝায় যে প্রতিটি প্রোগ্রামিং ধারণার জন্য ফর্মাল লজিকের একটি সুনির্দিষ্ট এনালগ থাকে এবং বিপরীতে। এই জাতীয় উপমাগুলির একটি "বেসিক" তালিকাটি এখানে আমার মাথার উপরের অংশে রয়েছে: program/definition | …

98 functional-programming  formal-methods  curry-howard 

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