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