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

আমি ভাবছি যে এমন কোনও পরীক্ষা-নিরীক্ষা রয়েছে যা গতিশীল ভাষার ব্যবহারের মধ্যে (যেমন পাইথন, রুবি বা জাভা প্ল্যাটফর্ম যেমন গ্রোভি, ক্লোজার) চলমান ভাষাগুলির মধ্যে পারস্পরিক সম্পর্কের অস্তিত্ব বা অস্তিত্বকে দেখায়? স্থির ভাষা (যেমন সি / সি ++) এবং উত্পাদনশীলতার পার্থক্য।

25 programming-languages  empirical-research  software-engineering 

সাম্প্রতিক একটি সিএসিএম নিবন্ধে [1], লেখকরা মঞ্চযুক্ত ক্রিয়াকলাপের জন্য একটি বাস্তবায়ন উপস্থাপন করেছেন । তারা শব্দটি এমনভাবে ব্যবহার করেন যেন এটি সুপরিচিত ছিল এবং উল্লেখগুলির কোনওটিরই সুস্পষ্ট প্রবর্তনের মতো মনে হয় না। তারা একটি সংক্ষিপ্ত বিবরণ দেয় (জোর আমার এবং রেফারেন্স নম্বর পরিবর্তন করা হয়েছে; এটি আসল 22) প্রোগ্রাম জেনারেশনের …

24 terminology  programming-languages  meta-programming 

এই উত্তরে আন্ড্রেজ বাউয়ারের এই বিবৃতি হিসাবে একই চিন্তাভাবনা বরাবর হাস্কেল সম্প্রদায় বিভাগের তত্ত্ব দ্বারা অনুপ্রাণিত হয়ে অনেকগুলি কৌশল তৈরি করেছে, যার মধ্যে মনাদ সর্বাধিক পরিচিত তবে মনদেসে বিভ্রান্ত হওয়া উচিত নয় । মধ্যে সম্পর্ক কি functors SML এবং functors শ্রেণী তত্ত্ব? যেহেতু আমি অন্যান্য ভাষা যেমন হাস্কেল বা ওসিএএমএল …

24 programming-languages  functional-programming  category-theory 

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

23 programming-languages  mathematical-foundations  church-turing-thesis 

সুতরাং আমি কীভাবে আবর্জনা সংগ্রহকারীরা কাজ করে সে সম্পর্কে ভাবছিলাম এবং আমি একটি আকর্ষণীয় বিষয়টি ভেবেছিলাম। সম্ভবত আবর্জনা সংগ্রহকারীদের সমস্ত কাঠামো একইভাবে অতিক্রম করতে হবে। তারা আবহাওয়া সম্পর্কে জানতে পারে না যে তারা কোনও লিঙ্কযুক্ত তালিকা বা ভারসাম্য গাছ বা যে কোনও কিছুই সন্ধান করছে। তারা তাদের অনুসন্ধানে খুব বেশি …

23 programming-languages  memory-management  garbage-collection 

প্রতি সুপারিশ আমি স্ট্যাক ওভারফ্লো থেকে এটি পুনরায় পোস্ট করছি । সম্প্রতি আমি নিম্নলিখিত ইস্যু সম্পর্কে চিন্তা করা হয়েছে। স্ট্যান্ডার্ড "হ্যালো ওয়ার্ল্ড!" এর কোডটি বিবেচনা করুন কার্যক্রম: main() { printf("Hello World"); } এখন এই কোডের প্রায় কোনও পরিবর্তন এটিকে সম্পূর্ণ অকেজো করে তুলবে, বাস্তবে প্রায় প্রতিটি পরিবর্তন কোডটি সংকলন থেকে …

23 programming-languages  computation-models 

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

23 programming-languages  computer-architecture 

সংক্ষেপে: টাইপ সিস্টেমগুলি কীভাবে একাডেমিক প্রসঙ্গে শ্রেণিবদ্ধ করা হয়; বিশেষত, আমি যেখানে নামী উত্সগুলি পেতে পারি যা বিভিন্ন ধরণের সিস্টেমের মধ্যে পার্থক্য পরিষ্কার করে? এক অর্থে এই প্রশ্নের সাথে অসুবিধাটি এই নয় যে আমি কোনও উত্তর খুঁজে পাচ্ছি না, বরং আমি অনেকগুলি খুঁজে পেতে পারি এবং কেউই সঠিক হিসাবে দাঁড়ায় …

23 reference-request  programming-languages  type-theory 

আমি জানি যে, অপরিহার্য প্রোগ্রামিং ভাষায়, ভাষাটিকে টুরিং-সম্পূর্ণ করার জন্য নিয়ন্ত্রণ প্রবাহের কাঠামো হিসাবে কিছুক্ষণের জন্য একটি লুপই যথেষ্ট (নিয়ন্ত্রণ প্রবাহ যতদূর যায় - অবশ্যই আমাদেরও আনবাউন্ডেড মেমরি এবং কিছু নির্দিষ্ট অপারেটর প্রয়োজন ...) । আমার প্রশ্নের সংক্ষিপ্তসারটি হ'ল: একটি ডু-ওয়ে লুপের কি কিছুক্ষণের জন্য লুপের মতো একই গণনার শক্তি …

22 programming-languages  turing-completeness  loops  imperative-programming 

সম্ভবত এই বিষয় সম্পর্কে আমার সীমাবদ্ধ বোঝাপড়াটি ভুল, তবে এটি আমি এখনও অবধি বুঝতে পেরেছি: ফাংশনাল প্রোগ্রামিং ল্যাম্বডা ক্যালকুলাসের ভিত্তিতে তৈরি, এটি অ্যালোনজো চার্চ দ্বারা প্রণীত। অত্যাবশ্যক প্রোগ্রামিং চার্চের শিক্ষার্থী অ্যালান টুরিং দ্বারা তৈরি টুরিং মেশিন মডেলের ভিত্তিতে তৈরি। ল্যাম্বদা ক্যালকুলাস টিউরিং মেশিনের মতো শক্তিশালী এবং সক্ষম, যার অর্থ তারা …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

প্রোগ্রামিং ভাষা এবং একটি স্ক্রিপ্টিং ভাষার মধ্যে পার্থক্য কী? উদাহরণস্বরূপ, পার্স বনাম সি বিবেচনা করুন। একমাত্র পার্থক্য যে স্ক্রিপ্টিং ভাষার জন্য কেবলমাত্র দোভাষী প্রয়োজন এবং সংকলন এবং লিঙ্কিংয়ের প্রয়োজন নেই?

20 programming-languages 

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

20 programming-languages  operating-systems 

একটি প্রদত্ত লেবেল পরিবর্তনকে সিস্টেম , যেখানে রাজ্যের একটি সেট করা হয়, লেবেল একটি সেট, এবং একটি তিন সম্পর্ক নেই। স্বাভাবিক হিসাবে, লেখ জন্য । লেবেল করা রূপান্তরটি দ্বারা বোঝানো হয় যে রাজ্যের সিস্টেম রাজ্যের পরিবর্তন ট্যাগ , যার মানে হল কিছু পর্যবেক্ষণযোগ্য কর্ম যে রাষ্ট্র পরিবর্তন ঘটে।এস Λ → …

20 programming-languages  formal-methods  semantics  process-algebras 

আমাদের প্রফেসর আমাদের ওসিএএমএলে এমন কোনও ফাংশন সম্পর্কে চিন্তা করতে বলেছিলেন যা টাইপটি রয়েছে 'a -> 'b অর্থাত্ একটি যুক্তি একটি ফাংশন যা কিছু হতে পারে, এবং এটি ভিন্ন কিছু ফিরে আসতে পারে। আমি raiseএমন কোনও ফাংশন ব্যবহার করার কথা ভেবেছিলাম যা এর যুক্তি উপেক্ষা করে: let f x = …

19 programming-languages  typing  functional-programming 

আমি টাইপ-চেকিং অ্যালগরিদমগুলি সম্পর্কে একটি ব্যক্তিগত গ্রন্থপরিচয় গবেষণা শুরু করছি এবং কিছু টিপস চাই। সর্বাধিক ব্যবহৃত টাইপ-চেকিং অ্যালগরিদম, কৌশল এবং সাধারণ কৌশলগুলি কী কী? আমি বিশেষত জটিল টাইপ-চেকিং অ্যালগরিদমগুলিতে আগ্রহী যা ব্যাপকভাবে পরিচিত দৃ strongly় স্থিত টাইপযুক্ত ভাষায় যেমন উদাহরণস্বরূপ, সি ++, জাভা 5+, স্কালা বা অন্যান্যগুলিতে প্রয়োগ করা হয়েছিল। …

19 algorithms  programming-languages  reference-request  type-checking