আমি টাইপ থিওরিটি বুঝতে চাই তবে আমি কীভাবে এটি প্রয়োগ করতে পারি তা আগে জানতে হবে। প্রোগ্রামিংয়ে টাইপ সিস্টেমগুলি বাদ দিয়ে টাইপ থিওরির আরও অ-সুস্পষ্ট অ্যাপ্লিকেশন থাকতে পারে? অন্যান্য অ্যাপ্লিকেশন থাকতে পারে, আসুন ব্যক্তিত্বের প্রোফাইলিং এবং পছন্দগুলি বলুন?
2
কেন কিছু আবিষ্কার করা হয়েছে তার বাইরে অ্যাপ্লিকেশন থাকতে হবে?
—
রাফেল
গণিতের ভিত্তি? সিন্থেটিক ডোমেন থিওরি, টপোলজি ইত্যাদি বিষয়গুলিকে আনুষ্ঠানিককরণের জন্য লোকেরা টাইপ থিওরিও ব্যবহার করেছে। গল্পের বিবরণী মডেল করার জন্য টাইপ তাত্ত্বিক সরঞ্জামগুলি ব্যবহারের জন্য ক্রিস মার্টেনসের কাজও রয়েছে। গবেষণামূলক লিঙ্ক
—
ড্যানিয়েল গ্রেটজার
আপনি কি কোনও অ্যাপ্লিকেশন হিসাবে গণনা পরিষ্কার করতে পারবেন?
—
জেক 8
আমি আপনার ভিত্তিতে বিশ্বাসী না মনে করুন যে কেউ বলেছিলেন, "আমি মোটরগাড়ি ইঞ্জিনিয়ারিং বুঝতে চাই তবে আমি কী জন্য গাড়ী ব্যবহার করতে পারি তা আগে জানতে হবে। পরিবহন বাদে গাড়িগুলির আরও অ-স্পষ্টত অ্যাপ্লিকেশন থাকতে পারে কি?" তারা উত্তর পেয়ে বলে যে কিছু লোক তাদের গাড়ীতে ঘুমায়, এবং আনসেল অ্যাডামস তার কাছ থেকে ছবি তোলার জন্য প্ল্যাটফর্ম হিসাবে ব্যবহার করেছিলেন । ওয়েল এটি দুর্দান্ত তবে এটি ইঞ্জিনিয়ারিং বুঝতে কাউকে সহায়তা করে না এবং সম্ভবত আমাদের হাইপোথিটিকাল ছাত্রকে সুপার-পুনরায় বসার আসন এবং খুব কঠোর স্থগিতাদেশের সাথে গাড়িগুলি ডিজাইন করতে নেতৃত্ব দেবে।
—
ডেভিড রিচার্বি 28:58
আসল বিষয়টি হ'ল গাণিতিকভাবে সুন্দর হলেও তাত্ত্বিক কম্পিউটার বিজ্ঞান (আমি যে জিনিসগুলিতে কাজ করি সেগুলি সহ) ব্যবহারিকভাবে অকেজো। দুর্ভাগ্যক্রমে আপনি পক্ষ বাছাই করতে হবে।
—
যুবাল ফিল্মাস 21