কোর হ'ল জিএইচসির মধ্যবর্তী ভাষা। কোর পড়া আপনার প্রোগ্রামের কর্মক্ষমতা আরও ভালভাবে বুঝতে সহায়তা করে। কেউ আমাকে কোর পড়ার জন্য ডকুমেন্টেশন বা টিউটোরিয়ালের জন্য জিজ্ঞাসা করেছিলেন, তবে আমি খুব বেশি খুঁজে পাইনি।
জিএইচসি কোর পড়ার জন্য কোন ডকুমেন্টেশন উপলব্ধ?
আমি এখন পর্যন্ত যা পেয়েছি তা এখানে:
উত্তর:
জিএইচসি কোর হ'ল সিস্টেম এফসি ভাষা যার মধ্যে সমস্ত হাস্কেল অনুবাদিত। কোর জন্য (আনুমানিক) ব্যাকরণ দেওয়া হয়েছে:
কোরটি সহজ এবং সুপরিচিত সিস্টেম এফ এর সাথে নিবিড়ভাবে সম্পর্কিত । জিএইচসি মূল স্তরে যাবতীয় রূপান্তরগুলি হ'ল এই কোর প্রতিনিধিত্বের টাইপ-সংরক্ষণের রিফ্যাক্টোরিংগুলি, কর্মক্ষমতা উন্নত করতে। এবং, এতটা সুপরিচিত নয়, আপনি সরাসরি জিএইচসি প্রোগ্রামে কোরতে লিখতে পারেন।
জিএইচসি কোর সংকলক পাইপলাইনে ফিট করে (যেমন এটি ২০০২ সালে ছিল, স্যানস-এলএলভিএম এবং সিএমএম):
জিএইচসি কোর সম্পর্কে জানার প্রাথমিক নথিগুলি হ'ল:
সম্পর্কিত উপাদান যা বুঝতে সহায়তা করতে পারে:
ঘুরে ঘুরে মূলটি এসটিজি কোডে অনুবাদ করা হয়েছে, যা দেখতে এমন কিছু দেখাচ্ছে:
কোরের মজার নামগুলি "জেড-এনকোডিং" এ এনকোড করা হয়েছে:
জিএইচসি কোর এর ধরণ এবং প্রকারগুলি (টোলমাচের কাগজ থেকে):
অবশেষে, জিএইচসি-র প্রিমোপগুলি জিএইচসি কোর আউটপুটগুলিতে নিয়মিত উপস্থিত হয়, যখন আপনি আপনার হাস্কেলকে বেসিক নির্দেশাবলীর সাথে নিখুঁতভাবে নিখুঁত করেছেন যখন জিএইচসি জানে। প্রিমপ সেটটি প্রাক-প্রক্রিয়াজাত ফাইলে কোর ফাংশনগুলির একটি সেট হিসাবে দেওয়া হয় ।
একটি টিপ: আপনি যদি টাইপ টিকাশান এবং জবরদস্তির বিকল্পগুলির -ddump-simplসাথে একসাথে ব্যবহারের বিষয়ে যত্নশীল না হন -dsuppress-all। কোর আউটপুট অনেক বেশি পঠনযোগ্য হওয়া উচিত।
-dsuppress-allসত্যিই দরকারী। আপনি -dsuppress-coercionsকেবল কাস্ট থেকে মুক্তি পেতে চাইলে আপনিও ব্যবহার করতে পারেন (যখন প্রচুর নতুন টাইপ থাকে তখন দরকারী)।
যদিও ঠিক জিএইচসি কোর ভাষা নয়, যেমন ডন উল্লেখ করেছেন যে এসটিজি ভাষাটি বেশ অনুরূপ। আমি সম্প্রতি এসটিজি ভাষা + মেশিনের ধরণের সুরক্ষার প্রমাণ দেওয়ার মহড়াটি দিয়েছিলাম এবং এরপরে আমি পেয়েছি যে আমি কোর সহজেই বুঝতে পারি।
এসটিজি শেখার জন্য আমি যে পাঠ্যটি ব্যবহার করেছি তা যথেষ্ট অ্যাক্সেসযোগ্য: স্টক হার্ডওয়্যারে অলস কার্যকরী ভাষাগুলি বাস্তবায়ন করা: সাইমন পিটন-জোন্স রচিত স্পাইনলেস ট্যাগলেস জি-মেশিন । বেশিরভাগ কাগজ বাস্তবায়নের বিশদ নিয়ে উদ্বিগ্ন, তবে আমি বিশেষত এসটিজি ভাষার শীর্ষ-থেকে-নীচে ব্যাখ্যা হিসাবে ধারা 4 এর প্রস্তাব দিচ্ছি যা কাউন্টার-স্বজ্ঞাত ডিজাইনের কিছু সিদ্ধান্তের জন্য অনুপ্রেরণা দেয় এবং এর মতো পরিচিত উদাহরণগুলির অনুবাদ সরবরাহ করে map।
"জিএইচসি কোর ভাষার জন্য একটি বাহ্যিক প্রতিনিধিত্ব" হ'ল ডকুমেন্ট যা ghc ( share/doc/ghc/core.pdf) এর ইনস্টলেশন বা ইন্টারনেটে পাওয়া যায় ।