সমসাময়িক এবং / অথবা বিতরণ প্রোগ্রামিং মধ্যে ফর্মালিজম?

Question

আমার পটভূমিটি মূলত সি, সি ++ এবং পাইথন থেকে আবশ্যকীয় ভাষা থেকে এসেছে। আমি কয়েক বছর পরে স্কালা, এরলং এবং কিছুটা হাসকলকে বেছে নিয়েছি এবং এর পর থেকে কার্যকরী প্রোগ্রামিং এবং এর পিছনে আনুষ্ঠানিকতায় খুব আগ্রহী হয়েছি।

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

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

Answer 1

সর্বাধিক ব্যবহৃত আনুষ্ঠানিকতা হ'ল মিলনার, পেরো এবং ওয়াকার দ্বারা নির্মিত ক্যালকুলাস । এটি সিসিএসের একটি সম্প্রসারণ, এবং বিভিন্ন রূপে আসে, যার মধ্যে কয়েকটি ( অ্যাসিনক্রোনাস i ক্যালকুলাস) অভিনেতা মডেলের আনুষ্ঠানিককরণ হওয়ার চেষ্টা করে। ক্যালকুলির জন্য এখন টাইপিংয়ের অনেকগুলি শাখা রয়েছে যার মধ্যে সবচেয়ে সহজ সম্ভবত হন্ডার সেশন প্রকার types এই জাতীয় ধরণগুলি গবেষণা কাগজ থেকে গবেষণা বাস্তবায়ন পর্যন্ত ধীরে ধীরে পৃথক হয়ে চলেছে।$\pi$$\pi$$\pi$

Comments

আহ খুব আকর্ষণীয়, ধন্যবাদ! এই জাতীয় ক্ষেত্রটি মোকাবেলার আগে আপনি কোন ধরণের গাণিতিক পটভূমির পরামর্শ দিচ্ছেন, বা এটি কম-বেশি স্বনির্ভর?

— adelbertc

এটি কমবেশি স্ব-সংযুক্ত। অন্তত বেসিক। মিলনারের যোগাযোগ এবং মোবাইল সিস্টেমগুলি একটি বন্ধুত্বপূর্ণ ভূমিকা। আপনি সম্পাতবিন্দু জন্য ধরনের মধ্যে পেতে চান, আমি untyped বুঝতে হবে সেটির পরামর্শ -calculus প্রথম, এবং হয়ত এছাড়াও টাইপ সঙ্গে পরিচিত হতে -calculi। $\pi$$\lambda$

— মার্টিন বার্গার