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

আমি প্রোগ্রামিং ভাষা তত্ত্বে নতুন। আমি কিছু অনলাইন বক্তৃতাগুলি দেখছিলাম যেখানে প্রশিক্ষক দাবি করেছিলেন যে পলিমারফিক ধরণের একটি ফাংশনই forall t: Type, t->tপরিচয়, তবে কেন তা ব্যাখ্যা করলেন না। কেউ আমাকে বোঝাতে পারেন কেন? প্রথম নীতি থেকে দাবি প্রমাণ হতে পারে।

18 programming-languages  type-theory 

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

18 terminology  programming-languages  api-design 

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

18 programming-languages  semantics 

আমি "C ++ Demysified" বইটি অধ্যয়ন করেছি । এখন আমি রবার্ট ল্যাফোনের "টার্বো সি ++ প্রথম সংস্করণ (1 ম সংস্করণ)" অবজেক্ট-ওরিয়েন্টেড প্রোগ্রামিং পড়তে শুরু করেছি। আমার কাছে প্রোগ্রামিং সম্পর্কিত কোনও জ্ঞান নেই যা এই বইয়ের বাইরে। এই বইটি পুরানো হতে পারে কারণ এটি 20 বছরের পুরানো। আমার কাছে সর্বশেষতম সংস্করণ …

17 programming-languages  object-oriented  programming-paradigms 

আমি এই সম্পত্তি নিয়ে সত্যই লড়াই করছি: যাক হতে সঙ্গতি স্পেস এবং চ : সি ঠ ( এক্স ) → সি ঠ ( ওয়াই ) একটি একঘেয়েমি ফাংশন হবে। f অবিচ্ছিন্ন থাকে কেবল এবং যদি f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( …

16 terminology  programming-languages  semantics 

এই নিবন্ধ অনুসারে লিস্প কোডের নিম্নলিখিত লাইনটি স্ট্যান্ডার্ড আউটপুটে "হ্যালো ওয়ার্ল্ড" মুদ্রণ করে। (format t "hello, world") লিস্প, যা একটি সমজাতীয় ভাষা , কোডটিকে ডেটা হিসাবে এইভাবে আচরণ করতে পারে: এখন ভাবুন যে আমরা নিম্নলিখিত ম্যাক্রোটি লিখেছি: (defmacro backwards (expr) (reverse expr)) পিছনে ম্যাক্রোর নাম, যা একটি অভিব্যক্তি নেয় (তালিকা …

16 programming-languages  functional-programming 

এই পোস্টে উন্নতি করতে চান? এই প্রশ্নের বিশদ উত্তর প্রদান করুন, সহ उद्धरण এবং আপনার উত্তর কেন সঠিক তা ব্যাখ্যা সহ। পর্যাপ্ত বিবরণ ছাড়াই উত্তরগুলি সম্পাদনা বা মোছা হতে পারে। প্রায়শই প্রোগ্রামিং ভাষা রয়েছে যা নির্দিষ্ট কাজের জন্য বিশেষীকরণ করা হয়। কিছু প্রোগ্রামিং ভাষা অ্যারে পাটিগুলিতে দুর্দান্ত (যেমন ম্যাট্রিক এবং …

15 programming-languages 

আমি জানি যে এটি প্রলোগ হ'ল টুরিং-সম্পূর্ণটি এমন একটি প্রোগ্রাম তৈরি করে টুরিং-সম্পূর্ণ হয় যা এই জাতীয় ট্যুরিং মেশিনকে অনুকরণ করে: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), …

15 programming-languages  turing-completeness  logic-programming  prolog 

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

15 programming-languages  logic  compilers  type-theory  type-checking 

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

15 programming-languages  semantics 

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

14 programming-languages  type-theory 

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

14 reference-request  programming-languages  lambda-calculus  functional-programming 

আমি সি প্রোগ্রামিংয়ের একটি অদ্ভুত অভিজ্ঞতা পেয়েছি। এই কোডটি বিবেচনা করুন: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } আমি যখন এটি সংকলন এবং চালনা করি তখন আমি কোনও ত্রুটি বা সতর্কতা পাই …

14 programming-languages  arrays  c 

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

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

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

13 reference-request  programming-languages  type-theory  category-theory