প্রশ্ন ট্যাগ «programming-languages»

তাত্ত্বিকভাবে এমন কোনও প্রোগ্রামিং ভাষা নির্দিষ্ট করা সম্ভব যার জন্য কোনও প্রয়োগের অস্তিত্ব থাকতে পারে? একটি প্রোগ্রামিং ল্যাঙ্গুয়েজ ফাংশন সংজ্ঞায়নের একটি উপায়। একটি প্রয়োগের অর্থ সেই ইনপুটটিতে প্রোগ্রামের সাথে সম্পর্কিত ফাংশনের আউটপুটটিতে প্রদত্ত ইনপুটটিতে সেই ভাষাতে একটি প্রদত্ত প্রোগ্রাম কার্যকর করতে একটি পদ্ধতি। এই জাতীয় ভাষার ন্যূনতম প্রয়োজনীয়তাগুলি কী কী?

11 formal-languages  computability  programming-languages 

একটি সি ++ পটভূমি থেকে আসা আমি বুঝতে পারি না কেন প্রথম শ্রেণির নাগরিক হিসাবে একজনের ধরণের / ধরণের অভিব্যক্তি প্রয়োজন? আমি কেবল জানি যে ভাষাটি এই বৈশিষ্ট্যটিকে সমর্থন করে সেটি হ'ল অল্ডর। প্রথম শ্রেণির নাগরিক হিসাবে প্রকার সম্পর্কে কারওর কিছু সাহিত্য আছে বা এর কার্যকর কারণ সম্পর্কে কিছু জানেন?

10 programming-languages  language-design  types 

ফাংশন বা গণনার জন্য আমাদের কাছে এমন শর্ত রয়েছে: নির্ণায়ক - নির্ণয় খাঁটি - বিশুদ্ধতা পার্শ্ব-প্রভাব- মুক্তের জন্য সঠিক সম্পর্কিত বিশেষ্যটি কী? "পার্শ্ব-প্রভাব নির্লজ্জতা"? "পার্শ্ব প্রতিক্রিয়া স্বাধীনতা"? "অ-পার্শ্ব-কার্যকর"?

10 terminology  programming-languages 

আমি পরের শরতে একটি স্নাতক কম্পিউটার বিজ্ঞান কোর্স শুরু করছি, তবে কার্যকরী প্রোগ্রামিংয়ের প্রসঙ্গে আমি সত্যিই λ-ক্যালকুলাস বুঝতে পারি না। আমি এটির পুরোপুরি ভুল ব্যাখ্যা করতে পারি, তবে দর্শনশাস্ত্রের স্ট্যানফোর্ড এনসাইক্লোপিডিয়া থেকে এই সংজ্ঞাটির ভিত্তিতে এটি কার্যকারণের জন্য এটি অন্য একটি স্বীকৃতি। যদি এটি ঠিক তেমন হয় তবে অ্যালগরিদম রান …

10 programming-languages  lambda-calculus 

বেনাম (ল্যাম্বদা) ফাংশনগুলি কী কী? একটি কার্যনির্বাহী প্রোগ্রামিং ভাষাতে বেনামে ফাংশনের আনুষ্ঠানিক সংজ্ঞা কী? আমার সহজ কথায়, যখন আমি স্কিম / লিস্পে প্রোগ্রামিং করছি আমি বলব একটি বেনাম (ল্যাম্বডা) ফাংশন এমন একটি ফাংশন যা সনাক্তকারীকে আবদ্ধ নয়। লাম্বদা ফাংশন সম্পর্কে আপনি আনুষ্ঠানিকভাবে যা বলতে পারেন তা কি? আমি মনে করি …

10 logic  programming-languages  lambda-calculus  functional-programming 

এমন কি প্রোগ্রামিং ভাষা আছে (বা যুক্তি) যা একটি ফাংশন কার্যকর করতে পারে (বা প্রকাশ করতে পারে) যদি এবং কেবল যদি একটি কম্পিউটেবল বাইজেক্টিক ফাংশন হয়? fচ: এন → এনf:N→Nf:\mathbb{N}\to \mathbb{N}চff

10 reference-request  programming-languages  logic  reversible-computing 

আমি কৌতুহলী. আমি ওসিএএমএলে এই ডেটাটাইপটিতে কাজ করছি : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree যা স্পষ্টত টাইপিত পুনরাবৃত্তীয় ক্রিয়াকলাপগুলি (একটি বৈশিষ্ট্য যা বেশ সম্প্রতি যুক্ত করা হয়েছে) ব্যবহার করে কারসাজি করা …

10 logic  programming-languages  coq  inductive-datatypes 

OO এবং ফাংশনাল প্রোগ্রামিংয়ের মধ্যে পার্থক্যের রূপরেখার নিবন্ধটি পড়ে ফাংশন পয়েন্টারগুলি জুড়ে এসেছি। আমি আমার কম্পিউটার বিজ্ঞান ডিগ্রি (2003) শেষ করার পরে কিছুক্ষণ হয়ে গেছে এবং তাই আমি আমার স্মৃতি সতেজ করার জন্য পয়েন্টার সন্ধান করেছি। পয়েন্টারগুলি হল ভেরিয়েবল যা মেমোরি ঠিকানার রেফারেন্স ধারণ করে। এ জাতীয় ডেটা উপস্থিত থাকলে …

10 terminology  programming-languages 

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

10 programming-languages  compilers 

সাধারণত আমি দেখতে পাই যে লুপের জন্য স্ট্রাকচারাল অপারেশনাল সিনটিকের উপস্থাপনায় প্রোগ্রামের স্থিতি পরিবর্তন হয় না: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(Wজআমিঠইবিঘণএস,σ)→(আমিচবিটিজইএনএস;(Wজআমিঠইবিঘণএস)ইঠগুলিইএসকেআমিপি,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) আমার জন্য, এটি স্বজ্ঞাত নয়, যদি রাষ্ট্র পরিবর্তন না হয় …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

আমি প্রোগ্রামিং ভাষাগুলির বাস্তবায়ন কৌশলগুলি সন্ধান করছি এবং সম্প্রতি স্প্যাগেটি স্ট্যাকগুলি জুড়ে এসেছি, যা ধারাবাহিকতা পাস করার স্টাইল মডেলটির (যেমন স্কিম এবং এসএমএল / এনজে তাদের ব্যবহারের ভিত্তিতে দেওয়া হয়েছে ) মনে করা ভাল fit সরলতার স্বার্থে, আসুন কেবল এই প্রশ্নের জন্য একটি একক থ্রেডেড প্রক্রিয়া বিবেচনা করুন। তবে আমি …

9 data-structures  programming-languages  continuations 

ইন প্রোগ্রামিং ভাষাতে ধারণা , জন মিচেল লিখেছেন যে স্ট্যাটিক টাইপ পরীক্ষণ অগত্যা স্থগিত সমস্যা হওয়ার কারণে রক্ষণশীল (মাত্রাতিরিক্ত কঠোর) হয়। তিনি একটি উদাহরণ হিসাবে দেন: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) কেউ কি এমন একটি অ-স্বাক্ষরিত উত্তর সরবরাহ করতে পারেন যা সত্যই ব্যবহারিক উদ্বেগ হতে পারে? আমি বুঝতে পারি …

9 programming-languages  compilers  type-checking 

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

9 terminology  programming-languages  semantics 

আমি মনে করি পারস্পরিক বর্জনের জন্য পিটারসনের অ্যালগরিদমে যদি সমালোচনামূলক বিভাগে প্রবেশের প্রক্রিয়াটি যদি প্রথমে মারা যায় বা বাতিল হয়ে যায় তবে অন্যান্য প্রক্রিয়া সমালোচনামূলক বিভাগে প্রবেশের অপেক্ষায় চিরতরে লুপ হয়ে যায়। ছবিতে, প্রক্রিয়া 1 বন্ধ করা হলে, প্রক্রিয়া 1 এর পিছনে থাকা সমস্ত প্রক্রিয়াগুলি 1 প্রক্রিয়াটি কোথায় থাকে তবে …

9 programming-languages  concurrency  mutual-exclusion