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

পূর্ববর্তী প্রশ্নের উত্তরে , নির্দিষ্ট কিছু নির্মাণের জন্য সঠিক পরিভাষা সম্পর্কে একটি ছোট বিতর্ক শুরু হয়েছিল। যেহেতু আমি এই প্রশ্নটি পরিষ্কারভাবে সমাধান করার জন্য (এটি বা এটি ছাড়া অন্যটি যা সঠিকভাবে ঠিক নয়) খুঁজে পাইনি, আমি এই নতুনটি তৈরি করছি। সন্দেহজনক শর্তাবলী এবং তাদের সম্পর্কের আছেন: টাইপ, টাইপ কন্সট্রাকটর, টাইপ …

14 type-systems  data-types  type-theory 

আমি জাভাস্ক্রিপ্ট / রুবি ওয়ার্ল্ডস থেকে আসার পরে হাস্কেল শিখতে শুরু করছি। আমি https://github.com/HoTT এবং হোমোটোপি টাইপ থিওরি বইটি এসেছি, যা আমি পড়তে আগ্রহী। যাইহোক, আমি যেতে যেতে গণিত এবং টাইপ তত্ত্বের ধারণাগুলি শিখছি, সুতরাং মনে হচ্ছে যে অনুশীলনকারী প্রোগ্রামারটির জন্য হোমোপি টাইপ তত্ত্বটি কী বোঝায় তা বোঝার আগে এটি …

11 type-theory