সুতরাং আমি বর্তমানে কিছু লোকের সাথে যদিও এইচটিটি বইটি যাচ্ছি। আমি দাবি করেছিলাম যে আমরা দেখি যে বেশিরভাগ প্ররোচনামূলক প্রকারগুলি আমরা কেবল নির্ভরশীল ফাংশন এবং মহাবিশ্ব সমেত প্রকারের জন্য অনুপ্রেরণা হিসাবে পুনরাবৃত্তির প্রকারটি গ্রহণ করে তা হ্রাস করা যেতে পারে। আমি কীভাবে ভাবলাম এটি কীভাবে কাজ করবে তা আমি স্কেচ করা শুরু করেছিলাম এবং কিছু হোঁচট খাওয়ার পরে আমি যা ভেবেছিলাম তার উত্তর এসে গেল।
( ⋅ , ⋅ ) ≡ λ এ : এ । λ বি : খ । λ সি : ইউ । λ ছ : একজন → বি → সি । g ( a ) ( খ ) i n d
এটি সঠিক সংজ্ঞায়িত সমীকরণ দেয় ( এবং বাদ দেওয়া সমীকরণের সংজ্ঞা দেয় ) তবে এর অর্থ type এর ভুল ধরণ থাকবে। পি আর 2 আই এন ডি এ × বি
এবং এটির জন্য একটি সহজ ফিক্স বলে মনে হয় না। আমি নিম্নলিখিত সংজ্ঞাটি সম্পর্কে ভেবেছিলাম।
তবে এটি কেবল টাইপচেক করে না।
আমার আর একটি ধারণা ছিল যে কে তে রূপান্তর করতে use ব্যবহার করা হবে তবে কীভাবে এটি তৈরি করা যায় তা পরিষ্কার নয়। প্রথমে আমাকে কীভাবে পরিচয় ধরণের নির্ভরশীল ফাংশন প্রকারগুলি হ্রাস করতে হবে তা প্রদর্শন করতে হবে যা পণ্যের তুলনায় আমার স্ক্রিবলিংগুলিতে আরও শক্ত প্রমাণিত হয়। অতিরিক্তভাবে অনুপস্থিতির যথাযথ রূপ ব্যতীত যথাযথ বলে মনে হয় না তাই আমি যদি বইটিতে উপস্থাপনের মতো পরিচয় প্রকারের অনুমতি দিই তবে আমি of সংজ্ঞা রাখার আরও কাছাকাছি থাকি না
সুতরাং মনে হচ্ছে আমরা এখানে পুনরাবৃত্তির সংজ্ঞা দিতে পারি তবে সূচককে নয়। আমরা এমন কিছু সংজ্ঞা দিতে পারি যা ইন্ডাক্টরের মতো দেখতে বেশ কাছাকাছি তবে এটি একেবারেই তৈরি করে না। পুনরাবৃত্তি আমাদের এই ধরণের লজিকাল সংমিশ্রণের অর্থ হতে পারে তা যুক্তি সম্পাদন করতে দেয় তবে এটি এমন পণ্যগুলির বিষয়ে প্রমাণ করতে দেয় না যার অভাব বলে মনে হয়।
আমি দাবি করি যে ধরণের হ্রাস আমি দাবি করেছি তা কি তৈরি করা যায়? অর্থাত্, আমরা কি নির্ভর করতে পারি কেবল নির্ভরশীল ফাংশন ধরণের এবং মহাবিশ্বগুলিকে ব্যবহার করে কোনও সংযোজন ফাংশন এবং একই সংজ্ঞাযুক্ত সমীকরণ এবং পণ্যগুলির মতো প্রকারের সাথে জুড়ি ফাংশন এবং সূচক? এটি আমার ক্রমবর্ধমান সন্দেহ যে আমি একটি মিথ্যা দাবি করেছি। দেখে মনে হচ্ছে আমরা হতাশ হয়ে এত কাছাকাছি পৌঁছাতে পেরেছি তবে তা একেবারেই তৈরি করতে পারছি না। আমরা যদি এটি সংজ্ঞায়িত করতে না পারি তবে কী ধরণের যুক্তি ব্যাখ্যা করতে পারে যে আমরা কেন পারি না? এইচটিটি বইতে উপস্থাপিত পণ্যগুলি কি সিস্টেমের শক্তি বাড়ায়?