আমি সম্প্রতি (কার্যকরী) প্রোগ্রামিং ভাষার দিকগুলি বোঝার এবং প্রমাণ করার জন্য অত্যন্ত আগ্রহী হয়ে উঠছি।
তবে আমি যত গভীরে ডুব দিয়েছি, ক্যালকুলাস, বিভাগের তত্ত্ব এবং ডোনোটেশনাল শব্দার্থবিজ্ঞানের মতো জিনিসগুলি যথাযথ ব্যাখ্যা ছাড়াই কোঁকড়ানো কিছুটা কঠিন।
আমি এসআইসিপি (বেশ একটি আলোকিত বই) পড়েছি তবে আমি কার্যকরী প্রোগ্রামিং তত্ত্বের আরও গভীর দিকে ডুবতে চাইছি। এমন কোনও বই / ব্লগ / সাইট / আপনি-নাম-আছে যা গ্রাউন্ড আপ থেকে ক্রিয়ামূলক প্রোগ্রামিং ভাষার তত্ত্বটি আলোচনা করবে?
Domains and Lambda-Calculiপাশাপাশি গিয়েছিলামDesign Concepts in Programming Languages(পুরু তবে এটি এখনও মূল্যবান)