প্রশ্ন ট্যাগ «type-systems»

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

35 programming-languages  dynamic-typing  static-typing  type-systems 

আমার এই দুটি ছোট প্রোগ্রাম রয়েছে: সি #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } জাভা class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } যা ত্রুটি বার্তার রিপোর্ট করে: …

33 java  c  type-systems 

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

33 functional-programming  haskell  language-features  type-systems 

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

30 design-patterns  python  type-systems  dynamic-typing 

জাভা 8-তে নতুন ল্যাম্বডে সংকেত (যেমন এই নিবন্ধটি দেখুন ) প্রবর্তনের জন্য কোনও প্রকারের অনুক্রমের প্রয়োজন হবে? যদি তা হয় তবে নতুন টাইপ সিস্টেমটি কীভাবে পুরো জাভা ভাষায় প্রভাব ফেলবে?

30 java  type-systems  lambda  java8 

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

29 java  haskell  scala  type-systems  rust 

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

29 type-systems  generics 

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

29 programming-languages  type-systems 

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

28 naming  type-systems  static-typing  hungarian 

যখন নকশা এবং একটি অবজেক্ট ওরিয়েন্টেড প্রোগ্রামিং ভাষা implenting, কিছু বিন্দু এক একটি (যেমন মৌলিক ধরনের বাস্তবায়ন পছন্দের করা আবশ্যক int, float, doubleবা সমতুল) শ্রেণীর বা অন্য কিছু হিসাবে। স্পষ্টতই, সি পরিবারের ভাষাগুলির শ্রেণি হিসাবে তাদের সংজ্ঞা না দেওয়ার প্রবণতা রয়েছে (জাভাতে রয়েছে বিশেষ আদিম প্রকার, সি # এগুলি পরিবর্তনযোগ্য …

27 object-oriented  language-design  compiler  type-systems 

নামমাত্র এবং কাঠামোগত ধরণের সিস্টেমের মধ্যে পার্থক্য সম্পর্কে আমি কিছুটা বিভ্রান্ত। কেউ দয়া করে তাদের পার্থক্য কীভাবে ব্যাখ্যা করতে পারেন? আমি যা বুঝতে পারি তা থেকে: নামমাত্র: প্রকারের সামঞ্জস্যতা টাইপের নামের উপর ভিত্তি করে। কাঠামোগত: প্রকারের সামঞ্জস্যতা প্রকার কাঠামোর উপর ভিত্তি করে, যেমন সিতে যদি 2 ভেরিয়েবলগুলি বিভিন্ন নামের সাথে …

24 type-systems 

দ্রষ্টব্য: আমি যখন শিরোনামে "জটিল" ব্যবহার করি, তখন আমি বোঝাতে চাই যে এক্সপ্রেশনটিতে অনেক অপারেটর এবং অপারেটস রয়েছে। এমন নয় যে প্রকাশটি নিজেই জটিল। আমি সম্প্রতি x86-64 সমাবেশে একটি সাধারণ সংকলক নিয়ে কাজ করছি। আমি সংকলকের মূল সম্মুখ প্রান্তটি শেষ করেছি - লেক্সার এবং পার্সার - এবং এখন আমি আমার …

23 language-agnostic  compiler  type-systems  type 

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

22 haskell  type-systems  go 

এর জন্য কি কিছু তাত্ত্বিক কারণ রয়েছে (যেমন টাইপ চেকিং বা টাইপ অনুক্রমটি অনস্বীকার্য হয়ে উঠবে), বা ব্যবহারিক কারণগুলি (সঠিকভাবে প্রয়োগ করা খুব কঠিন)? বর্তমানে, আমরা জিনিসগুলিকে newtypeপছন্দ মতো মোড়ানো করতে পারি newtype Pair a = Pair (a, a) এবং তারপর আছে Pair :: * -> * তবে আমরা এর …

22 haskell  abstraction  type-systems  lambda 

হাস্কেলের প্রসঙ্গে ওয়াই কম্বিনেটরটি ব্যাখ্যা করার সময়, এটি সাধারণত লক্ষ্য করা যায় যে সোজা-ফরোয়ার্ড প্রয়োগটি তার পুনরাবৃত্তির ধরণের কারণে হাস্কেলে টাইপ-চেক করবে না। উদাহরণস্বরূপ, রোসটাকোড থেকে : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> …

21 haskell  type-systems  static-typing  ocaml