বিদেশী ফাংশন ইন্টারফেস (এফএফআই) এবং একাধিক ভাষার বাইন্ডিং বর্ণনা করে এমন কোনও প্রোগ্রামিং ভাষার তত্ত্ব রয়েছে?


16

বিদেশী ফাংশন ইন্টারফেস (এফএফআই) এবং একাধিক ভাষার বাইন্ডিং বর্ণনা করে এমন কোনও প্রোগ্রামিং ভাষার তত্ত্ব রয়েছে?

আমি স্ট্যাকওভারফ্লোতে কিছু বাস্তবায়ন সমস্যা জিজ্ঞাসা করেছি , যা এখানে উপযুক্ত নয়। তবে আমি এই সাইটের ভিউ থেকে জিজ্ঞাসা করতে এবং সম্ভবত আমি এখান থেকে কী পেতে পারি তা দেখতে চাই।

সত্যিই আপনার উত্তর প্রশংসা!

ডেভ ক্লার্কের জন্য ধন্যবাদ মেটা সম্পর্কে তার জবাবের

উত্তর:


17

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

কাগজটি জেএনআই লাইট: গ্যাং ট্যানের কোর জেএনআইয়ের জন্য একটি অপারেশনাল মডেল বিদ্যমান জেএনআই কীভাবে কাজ করে তার একটি আনুষ্ঠানিক শব্দার্থ উপস্থাপন করে। পূর্ববর্তী কাগজের বিপরীতে, এটি ভিত্তিক দৃষ্টিকোণ থেকে বিষয়গুলি অন্বেষণ করার চেষ্টা না করে, যা চলছে তার নিম্ন স্তরের বিশদকে অনেকগুলি আনুষ্ঠানিক করে।

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

এই কাগজপত্রগুলিতে রেফারেন্সগুলি অনুসন্ধান করা এবং গুগল পণ্ডিতের সাহায্যে কোথা থেকে সেগুলি উদ্ধৃত করা হয়েছে তা সন্ধান করা আপনাকে অঞ্চলে কী করা হয়েছে তার আরও গভীর চিত্র আবিষ্কার করতে সহায়তা করবে।


10

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

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


1
"ওয়েল টাইপড প্রোগ্রামস" পত্রিকাটি প্রকৃতপক্ষে সঠিক উদ্ধৃতি সরবরাহ করে এবং "ধরণের ধারণা (চুক্তি থেকে) কোনও ধরণের সিস্টেমে দোষের ধারণা প্রবর্তন করে চুক্তি, ধীরে ধীরে এবং সংকর ধরণের সাম্প্রতিক কাজের একটি অভিন্ন দৃষ্টিভঙ্গি সরবরাহ করে বলে এর নির্দিষ্ট অবদানের দাবি করে" ক্যাস্ট (ধীরে ধীরে এবং সংকর ধরণের জন্য অন্তর্বর্তী ভাষার অনুরূপ) সহ, এমন একটি সিস্টেম পাওয়া যায় যা আমরা বিবর্তনমূলক প্রকারকে বলে থাকি। "
sclv

2
"দোষ" এর উত্সের জন্য যাদের ভাগ ছিল তাদের সকলকে সম্পূর্ণ কৃতিত্ব দিতে ব্যর্থ হওয়ার জন্য আমার ক্ষমা চাই Sam এটি কেবলমাত্র সেই কাগজপত্রগুলির মধ্যে ঘটেছিল যা ওয়েডলার সহ-রচনা করেছিলেন যা আমাকে ধারণার সাথে পরিচয় করিয়ে দেয় এবং আমি খুব সহজেই এর সাথে পরিচিত।
মার্ক হামান

9

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

সংক্ষেপে, দোষ আপনাকে শক্তিশালী গ্যারান্টিগুলির সমস্ত সুবিধাগুলি হারানো ছাড়াই শক্তিশালী ধরণের গ্যারান্টিযুক্ত ভাষার সাথে দুর্বল প্রকারের গ্যারান্টিগুলির সাথে একসাথে মিশে যায় allows ধারণাটি হ'ল দুর্বল গ্যারান্টি সহ সিস্টেমের অংশগুলি "দোষ" পাবে যদি নির্দিষ্ট কিছু ভুল হয়ে যায়, রানটাইম টাইপের ত্রুটিগুলি স্থানীয় করে তোলে।

আশা করি আপনি কীভাবে এফএফআই এবং বাইন্ডিংগুলির জন্য কার্যকর হতে পারেন যা বিভিন্ন ধরণের সিস্টেমের সাথে ভাষার ক্ষেত্রে প্রযোজ্য।

সম্পাদনা: "দোষ" ধারণাটির পূর্ণ বৌদ্ধিক ইতিহাসের জন্য স্যাম টিএইচ এর উত্তর দেখুন।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.