প্রশ্ন ট্যাগ «agda»

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

164 agda  type-theory  idris 

আমি সম্প্রতি একটি বিশ্ববিদ্যালয় কোর্স সম্পন্ন করেছি যা হাস্কেল এবং আগদা (একটি নির্ভরশীল টাইপড ফাংশনাল প্রোগ্রামিং ল্যাঙ্গুয়েজ) বৈশিষ্ট্যযুক্ত ছিল এবং আমি ভাবছিলাম যে এইগুলিতে ল্যাম্বডা ক্যালকুলাসকে সংযুক্তি যুক্তি দিয়ে প্রতিস্থাপন করা সম্ভব কিনা। হাস্কেলের সাথে এটি এস এবং কে সংযুক্তকারীগুলি ব্যবহার করা সম্ভব বলে মনে হচ্ছে, এটি এটি বিন্দু মুক্ত …

87 haskell  types  functional-programming  logic  agda