কি লিস্পকে বিশেষ করে তুলেছে

«সর্বকালের সর্বশ্রেষ্ঠ প্রোগ্রামিং ভাষা তৈরি«
- অ্যালান কে, "অন লিস্প"

1950-এর দশকের শেষদিকে যখন ম্যাকার্থি লিস্প তৈরি করেছিলেন, তখন এটি বিদ্যমান ভাষাগুলির থেকে আমূল আলাদা ছিল, যার মধ্যে সবচেয়ে গুরুত্বপূর্ণ ছিল ফরট্রান.

লিস্প নয়টি নতুন ধারণা চালু করেছে:

1. শর্তাবলী. শর্তসাপেক্ষ বিবৃতি হল if-then-else নির্মাণ। এখন আমরা তাদের গ্রহণ করি। তারা ছিল উদ্ভাবিত লিস্পের বিকাশের সময় ম্যাকার্থি। (সেই সময়ে ফোরট্রানের কাছে শুধুমাত্র গোটো বিবৃতি ছিল, যা অন্তর্নিহিত হার্ডওয়্যারের শাখা নির্দেশের সাথে ঘনিষ্ঠভাবে সংযুক্ত ছিল।) ম্যাকার্থি, অ্যালগোল কমিটিতে থাকাকালীন, অ্যালগোলকে শর্তসাপেক্ষে অবদান রেখেছিলেন, যেখান থেকে তারা অন্যান্য ভাষায় ছড়িয়ে পড়ে।

2. একটি ফাংশন টাইপ. লিস্পে, ফাংশনগুলি হল প্রথম শ্রেণীর বস্তু - এগুলি একটি ডেটা টাইপ, যেমন সংখ্যা, স্ট্রিং ইত্যাদি, এবং একটি আক্ষরিক উপস্থাপনা আছে, ভেরিয়েবলগুলিতে সংরক্ষণ করা যেতে পারে, আর্গুমেন্ট হিসাবে পাস করা যেতে পারে ইত্যাদি।

3. পুনরাবৃত্তি. Recursion, অবশ্যই, Lisp এর আগে একটি গাণিতিক ধারণা হিসাবে বিদ্যমান ছিল, কিন্তু Lisp এটি সমর্থনকারী প্রথম প্রোগ্রামিং ভাষা ছিল। (এটি সম্ভবত প্রথম শ্রেণীর বস্তু হিসাবে ফাংশন তৈরিতে নিহিত।)

4. ভেরিয়েবলের একটি নতুন ধারণা. লিস্পে, সমস্ত ভেরিয়েবল কার্যকর পয়েন্টার। মান হল কোন প্রকারের আছে, ভেরিয়েবল নয়, এবং ভেরিয়েবল বরাদ্দ করা বা বাঁধাই করার অর্থ হল পয়েন্টার কপি করা, তারা যা নির্দেশ করে তা নয়।

5. আবর্জনা সংগ্রহ.

6. অভিব্যক্তির সমন্বয়ে গঠিত প্রোগ্রাম. লিস্প প্রোগ্রামগুলি এক্সপ্রেশনের গাছ, যার প্রতিটি একটি মান প্রদান করে। (কিছু লিস্প এক্সপ্রেশন একাধিক মান ফেরত দিতে পারে।) এটি ফোরট্রান এবং অন্যান্য অনেক সফল ভাষার সাথে বৈপরীত্য যা "অভিব্যক্তি" এবং "বিবৃতি" এর মধ্যে পার্থক্য করে।

ফোর্টরানে এই পার্থক্য থাকা স্বাভাবিক ছিল কারণ ভাষাটি লাইন-ভিত্তিক ছিল (যে ভাষার ইনপুট ফর্ম্যাট একটি পাঞ্চড কার্ড ছিল তার জন্য আশ্চর্যজনক নয়)। আপনি নেস্টেড বিবৃতি থাকতে পারে না. এবং যতক্ষণ আপনার কাজ করার জন্য গাণিতিক অভিব্যক্তির প্রয়োজন ছিল, অন্য কিছুর একটি মান ফেরত দেওয়ার কোনও অর্থ ছিল না কারণ ফেরত দেওয়ার অপেক্ষায় কিছু নাও থাকতে পারে।

ব্লক-গঠিত ভাষার আবির্ভাবের সাথে বিধিনিষেধগুলি তুলে নেওয়া হয়েছিল, কিন্তু ততক্ষণে অনেক দেরি হয়ে গেছে। অভিব্যক্তি এবং বক্তব্যের মধ্যে পার্থক্য ইতিমধ্যেই প্রতিষ্ঠিত হয়েছে। এটি ফোরট্রান থেকে আলগোলে এবং তারপর তাদের বংশধরদের কাছে চলে গেছে।

যখন একটি ভাষা সম্পূর্ণরূপে অভিব্যক্তি দিয়ে তৈরি হয়, তখন আপনি যেভাবে চান অভিব্যক্তি রচনা করতে পারেন। আপনি হয় লিখতে পারেন (সিনট্যাক্স ব্যবহার করে চাপ)

(if foo (= x 1) (= x 2))

অথবা

(= x (if foo 1 2))

7. একটি প্রতীক প্রকার. অক্ষর স্ট্রিং থেকে ভিন্ন, এই ক্ষেত্রে আপনি পয়েন্টার তুলনা করে সমতা পরীক্ষা করতে পারেন।

8. কোডের জন্য একটি স্বরলিপি প্রতীক গাছ ব্যবহার করে।

9. সম্পূর্ণ ভাষা সর্বদা উপলব্ধ. পড়ার সময়, কম্পাইল সময় এবং রান সময়ের মধ্যে কোন সুস্পষ্ট পার্থক্য নেই। আপনি পড়ার সময় কোড কম্পাইল বা চালাতে পারেন, বা কম্পাইল করার সময় কোড পড়তে বা চালাতে পারেন, বা কোড চলার সময় পড়তে বা কম্পাইল করতে পারেন।

পড়ার সময় চলমান কোড ব্যবহারকারীদের লিস্পের সিনট্যাক্স পুনরায় প্রোগ্রাম করতে দেয়; কম্পাইল সময়ে চলমান কোড ম্যাক্রোর জন্য ভিত্তি; রানটাইম সংকলন হল Emacs-এর মতো প্রোগ্রামে এক্সটেনশন ভাষা হিসেবে Lisp ব্যবহার করার ভিত্তি; এবং অবশেষে, রানটাইম রিডিং প্রোগ্রামগুলিকে s-এক্সপ্রেশন ব্যবহার করে যোগাযোগ করতে দেয়, একটি ধারণা সম্প্রতি XML-এ পুনর্নবীকরণ করা হয়েছে।

উপসংহার

যখন লিস্প প্রথম উদ্ভাবিত হয়েছিল, এই ধারণাগুলি 1950 এর দশকের শেষের দিকে উপলব্ধ হার্ডওয়্যার দ্বারা নির্ধারিত প্রচলিত প্রোগ্রামিং অনুশীলন থেকে অনেক দূরে ছিল।

সময়ের সাথে সাথে, ডিফল্ট ভাষা, জনপ্রিয় ভাষার সাফল্যের দ্বারা মূর্ত, ধীরে ধীরে লিস্পের দিকে বিকশিত হয়। পয়েন্ট 1-5 এখন ব্যাপকভাবে স্বীকৃত। পয়েন্ট 6 মূলধারায় উপস্থিত হতে শুরু করেছে। পাইথনে, কিছু আকারে একটি 7 ধারা রয়েছে, যদিও কোন উপযুক্ত বাক্য গঠন নেই। আইটেম 8, যা (আইটেম 9 সহ) লিস্পে ম্যাক্রোগুলিকে সম্ভব করে তোলে, এখনও কেবল লিস্পে রয়েছে, সম্ভবত কারণ (ক) এর জন্য সেই বন্ধনী বা সমানভাবে খারাপ কিছু প্রয়োজন এবং (খ) আপনি যদি শক্তিতে এই সর্বশেষ বৃদ্ধি যোগ করেন তবে আপনি করতে পারেন একটি নতুন ভাষা উদ্ভাবন করার দাবি আর নেই, তবে শুধুমাত্র লিস্পের একটি নতুন উপভাষা তৈরি করেছেন; -)

যদিও এটি আধুনিক প্রোগ্রামারদের জন্য উপযোগী, তবে অন্যান্য ভাষায় গৃহীত এলোমেলো কৌশলগুলির থেকে লিস্পের পার্থক্যের পরিপ্রেক্ষিতে এটি বর্ণনা করা অদ্ভুত। ম্যাকার্থি যা ভাবছিলেন তা নাও হতে পারে। Lisp Fortran এর ত্রুটি সংশোধন করার জন্য ডিজাইন করা হয়নি; এটি চেষ্টা করার উপজাত হিসাবে আরও উপস্থিত হয়েছিল স্বতঃসিদ্ধ গণনা.

উত্স: www.habr.com