আমার কাছে সমস্ত উত্তর বিস্তারিতভাবে পড়ার সময় নেই ... তবে আমি আনন্দিত হয়েছিলাম।
ষাটের দশক এবং সত্তরের দশকের গোড়ার দিকেও একই রকম বিতর্ক ছিল (কম্পিউটার বিজ্ঞানের ইতিহাস প্রায়শই পুনরাবৃত্তি করে): মেশিন কোডের মতো দক্ষ কোড তৈরি করার জন্য উচ্চ স্তরের ভাষাগুলি সংকলন করা যেতে পারে, ঠিক আছে, অ্যাসেম্বলি কোডটি বলতে পারেন, একজন প্রোগ্রামার দ্বারা নিজে হাতে উত্পাদিত হয়েছিল। প্রত্যেকেই জানেন একজন প্রোগ্রামার যে কোনও প্রোগ্রামের চেয়ে অনেক বেশি স্মার্ট এবং খুব স্মার্ট অপ্টিমাইজেশান নিয়ে আসতে পারে (আসলে বেশিরভাগ ক্ষেত্রেই এখন পীফোল অপ্টিমাইজেশন বলা হয় যা ভেবে)। এটি অবশ্যই আমার পক্ষে ব্যঙ্গাত্মক।
কোড সম্প্রসারণের একটি ধারণা ছিল: একটি ভাল প্রোগ্রামার দ্বারা উত্পাদিত একই প্রোগ্রামের জন্য কোড সংস্থার দ্বারা উত্পাদিত কোডের আকারের অনুপাত (যেন এগুলির মধ্যে অনেকগুলি রয়েছে :-)। অবশ্যই ধারণাটি ছিল যে এই অনুপাতটি সর্বদা 1 এর চেয়ে বেশি ছিল the সময়ের ভাষাগুলি ছিল কোবল এবং ফোর্টরান 4, বা বুদ্ধিজীবীদের কাছে আলগল 60। আমার বিশ্বাস লিস্পকে বিবেচনা করা হয়নি।
ভাল কিছু গুজব ছিল যে কেউ এমন একটি সংকলক তৈরি করেছিলেন যা কখনও কখনও 1 এর সম্প্রসারণ অনুপাত পেতে পারে ... যতক্ষণ না এটি কেবল নিয়ম হয়ে যায় যে সংকলিত কোডটি হস্ত লিখিত কোডের চেয়ে অনেক ভাল ছিল (এবং আরও নির্ভরযোগ্যও)। লোকেরা সেই সময়গুলিতে কোড আকার সম্পর্কে চিন্তিত ছিল (ছোট স্মৃতি) তবে গতি বা শক্তি প্রয়োগের ক্ষেত্রে এটি একই রকম হয়। আমি কারনে যাব না।
অদ্ভুত বৈশিষ্ট্য, কোনও ভাষার গতিশীল বৈশিষ্ট্যগুলি কোনও বিষয় নয়। কীভাবে তা ব্যবহার করা হয় সেগুলি কী তা গুরুত্বপূর্ণ। পারফরম্যান্স, যে কোনও ইউনিটে (কোডের আকার, গতি, শক্তি, ...) প্রায়শই প্রোগ্রামের খুব ছোট অংশের উপর নির্ভরশীল। অতএব একটি দুর্দান্ত সম্ভাবনা রয়েছে যে ভাববাদী শক্তি দেয় এমন সুযোগগুলি সত্যিকার অর্থে পাবে না। ভাল প্রোগ্রামিং অনুশীলনের সাথে, উন্নত সুবিধাগুলি কেবল নতুন শৃঙ্খলাবদ্ধভাবে কল্পনা করার জন্য, একটি সুশৃঙ্খল উপায়ে ব্যবহার করা হয় (এটি ছিল লিসপ পাঠ)।
কোনও ভাষার স্থির টাইপিং না থাকার বিষয়টি কখনই বোঝায় না যে সেই ভাষায় লেখা প্রোগ্রামগুলি স্থিরভাবে টাইপ করা হয় না। অন্যদিকে এটি হতে পারে যে কোনও টাইপ সিস্টেম একটি প্রোগ্রাম ব্যবহার করে তা বর্তমানে উপস্থিত টাইপ চেকারের পক্ষে পর্যাপ্ত আনুষ্ঠানিকভাবে না হয়ে যায়।
আলোচনায়, সবচেয়ে খারাপ ক্ষেত্রে বিশ্লেষণের ("থামানো সমস্যা", পিইআরএল পার্সিং) এর একাধিক উল্লেখ রয়েছে। তবে সবচেয়ে খারাপ ক্ষেত্রে বিশ্লেষণ বেশিরভাগ অপ্রাসঙ্গিক। বেশিরভাগ ক্ষেত্রে বা দরকারী ক্ষেত্রে যা ঘটে তা হ'ল ... তবে সংজ্ঞায়িত বা বোঝা বা অভিজ্ঞ। এখানে আরও একটি গল্প আসে, যা সরাসরি প্রোগ্রামের অপ্টিমাইজেশনের সাথে সম্পর্কিত। এটি বহুদিন আগে টেক্সাসের একটি বড় বিশ্ববিদ্যালয়ে পিএইচডি শিক্ষার্থী এবং তার উপদেষ্টার (যিনি পরবর্তীকালে জাতীয় একাডেমির একটিতে নির্বাচিত হয়েছিলেন) মধ্যবর্তী সময়ে হয়েছিল। আমার স্মরণ হিসাবে, শিক্ষার্থী কোনও বিশ্লেষণ / অপ্টিমাইজেশান সমস্যাটি অধ্যয়নকারীকে অকার্যকর হিসাবে দেখিয়েছিল তা অধ্যয়ন করার জন্য জোর ছিল। শীঘ্রই তারা আর কথা বলার পক্ষে ছিল না। তবে শিক্ষার্থীটি সঠিক ছিল: বেশিরভাগ ব্যবহারিক ক্ষেত্রে সমস্যাটি যথেষ্ট ট্র্যাকটেবল ছিল যাতে তার প্রবন্ধটি প্রবন্ধটি প্রবন্ধের কাজ হয়ে যায়।
এবং এই বক্তব্যটি সম্পর্কে আরও মন্তব্য করতে যে Perl parsing is not
computable, এই বাক্যটি যা বোঝায়, এমএল এর সাথেও একই সমস্যা রয়েছে, যা একটি উল্লেখযোগ্যভাবে সুনির্দিষ্টভাবে আনুষ্ঠানিক ভাষা। Type
checking complexity in ML is a double exponential in the lenght of the
program.সবচেয়ে খারাপ ক্ষেত্রে জটিলতার জন্য এটি একটি খুব সুনির্দিষ্ট এবং আনুষ্ঠানিক ফলাফল ... যা মোটেই গুরুত্বপূর্ণ নয়। আফাক, এমএল ব্যবহারকারীরা এখনও এমন একটি বাস্তব প্রোগ্রামের জন্য অপেক্ষা করছেন যা ধরণের পরীক্ষকটি বিস্ফোরিত হবে।
অনেক ক্ষেত্রে, আগের মতো, মানব সময় এবং দক্ষতা কম্পিউটিং পাওয়ার চেয়ে কম scar
ভবিষ্যতের আসল সমস্যাটি হ'ল যে সমস্ত লিগ্যাসি সফ্টওয়্যার এখনও ব্যবহৃত হয় তা পুনরায় লিখিত না করেই নতুন জ্ঞান, নতুন প্রোগ্রামিং ফর্মগুলিকে একীভূত করতে আমাদের ভাষাগুলি বিকশিত করা।
যদি আপনি গণিতের দিকে তাকান তবে এটি জ্ঞানের একটি খুব বড় দেহ। এটি প্রকাশ করতে ব্যবহৃত ভাষাগুলি, স্বীকৃতি ও ধারণাগুলি বহু শতাব্দী ধরে বিবর্তিত হয়েছে। নতুন ধারণার সাহায্যে পুরানো উপপাদ্যগুলি লেখা সহজ। আমরা মূল প্রমাণগুলি খাপ খাই, তবে প্রচুর ফলাফলের জন্য মাথা ঘামাই না।
প্রোগ্রামিংয়ের ক্ষেত্রে, আমাদের স্ক্র্যাচ থেকে সমস্ত প্রমাণ পুনরায় লিখতে হবে (প্রোগ্রামগুলি প্রমাণ হিসাবে রয়েছে)। এটি হতে পারে যা আমাদের সত্যই প্রয়োজন তা খুব উচ্চ স্তরের এবং বিকশিত প্রোগ্রামিং ভাষা। অপ্টিমাইজার ডিজাইনারগুলি অনুসরণ করে খুশি হবে।