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

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

38 programming-languages  compilers 

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

35 computability  programming-languages  type-theory  dependent-types 

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

35 programming-languages 

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

35 programming-languages  education 

ডিজকસ્ત્ર, তাঁর প্রবন্ধে কম্পিউটিং বিজ্ঞানের সত্যিকারের শিক্ষার নিষ্ঠুরতার বিষয়ে , একটি প্রবর্তনমূলক প্রোগ্রামিং কোর্সের জন্য নিম্নলিখিত প্রস্তাবটি করেছেন: একদিকে, আমরা শিখি যে প্রাকটিক্যাল ক্যালকুলাসের মতো দেখতে, তবে আমরা এটি দার্শনিকদের থেকে খুব আলাদাভাবে করি। অবজ্ঞাতীত সূত্রগুলির কারসাজিতে নবীন প্রোগ্রামারকে প্রশিক্ষণ দেওয়ার জন্য, আমরা এটিকে বুলিয়ান বীজগণিত হিসাবে আরও বেশি শিখিয়েছি, …

33 reference-request  programming-languages  education  didactics 

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

32 regular-languages  programming-languages  turing-completeness 

মূলত আমি গণিতের তিনটি ভিত্তি সম্পর্কে সচেতন সেটতত্ত্ব প্রকার তত্ত্ব বিভাগ তত্ত্ব সুতরাং কীভাবে প্রোগ্রামিং ভাষা এবং গণিতের ভিত্তি সম্পর্কিত? সম্পাদনা মূল প্রশ্নটি ছিল "গণিতের ভিত্তিতে প্রোগ্রামিং ভাষা" যুক্ত প্যারাগার্ফ সঙ্গে এবং তত্ত্বের বাস্তবায়ন ১. কোক- তে থিওরি টাইপ করুন SE . এসইটিএল-তে তত্ত্ব সেট করুন Has . হাস্কেলের মধ্যে …

30 programming-languages  history  type-theory  category-theory 

(অব্যক্ত) ল্যাম্বদা ক্যালকুলাস ( ল্যাম্বদা) এ ফিক্সড পয়েন্ট কম্বিনেটর FIX (ওরফে ওয়াই কম্বিনেটর) হিসাবে সংজ্ঞায়িত করা হয়েছে:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) আমি এর উদ্দেশ্য বুঝতে পেরেছি এবং আমি এর …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

এমন কোনও প্রোগ্রাম রয়েছে যা কোনও দুটি ভাষার মধ্যে অনুবাদককে 'অনুবাদ' করতে পারে (অনুমান করে যে অনুবাদকের প্রয়োজনীয় লাইব্রেরিতে অ্যাক্সেস রয়েছে)? যদি সেখানে থাকে তবে তারা কীভাবে কাজ করবে (কৌশলগুলি ব্যবহৃত, জ্ঞান প্রয়োজনীয়, ইত্যাদি)? এগুলি কীভাবে সম্ভব নির্মিত হবে? যদি তা না হয় তবে তাদের উন্নয়নে বাধা কী? এটি কি …

28 computability  programming-languages  compilers 

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

27 programming-languages  natural-language-processing 

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

27 programming-languages  education  history 

আবর্জনা সংগৃহীত ভাষার নকশা সম্পর্কে সিদ্ধান্তের অন্তর্দৃষ্টি খুঁজছেন। কোনও ভাষা বিশেষজ্ঞ আমাকে আলোকিত করতে পারে? আমি একটি সি ++ পটভূমি থেকে এসেছি, তাই এই অঞ্চলটি আমার কাছে বিস্মিত। দেখে মনে হচ্ছে রুবি, জাভাস্ক্রিপ্ট / ইএস 6 / ইএস 7, অ্যাকশন স্ক্রিপ্ট, লুয়া ইত্যাদির মতো ওওপি অবজেক্ট সাপোর্ট সহ প্রায় সমস্ত …

27 programming-languages  memory-management  garbage-collection  language-design 

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

26 computability  programming-languages  turing-completeness 

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

25 programming-languages  language-design  syntax-trees 

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

25 formal-languages  programming-languages  regular-expressions