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

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

141 type-systems 

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

69 productivity  comparison  type-systems  dynamic-typing  static-typing 

আমি বুঝতে পারি যে কিছু জিনিস অন্য ভাষার তুলনায় এক ভাষাতে সহজ / শক্ত, তবে আমি কেবল টাইপ-সম্পর্কিত বৈশিষ্ট্যগুলিতে আগ্রহী যা অন্যটিতে অসম্ভব / অপ্রাসঙ্গিক possible এটিকে আরও সুনির্দিষ্ট করার জন্য, আসুন হ্যাস্কেল প্রকারের এক্সটেনশনগুলি উপেক্ষা করুন কারণ সেখানে প্রচুর পরিমাণে ক্রেজি / শীতল স্টাফ রয়েছে।

66 java  haskell  type-systems  static-typing 

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

57 data-structures  type-systems  data-types 

কেন এটি ঠিক আছে এবং বেশিরভাগই প্রত্যাশিত: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... যদিও এটি ঠিক নেই এবং কেউ অভিযোগ করেন না: concrete type Name : string { } concrete type Index : int …

53 type-systems  static-typing  strong-typing 

কিছু অন্তর্নিহিত ধরণের সুরক্ষা (যেমন, জাভাস্ক্রিপ্ট নয়) সহ একটি ভাষা ধরে নেওয়া: একটি গ্রহণ করে এমন একটি পদ্ধতি দেওয়া SuperType, আমরা জানি যে বেশিরভাগ ক্ষেত্রে আমাদের কোনও ক্রিয়া বাছাই করার জন্য টাইপ টেস্টিং করতে প্ররোচিত করা যেতে পারে: public void DoSomethingTo(SuperType o) { if (o isa SubTypeA) { o.doSomethingA() } …

53 type-systems 

এরিক লিপার্ট তার আলোচনায়nullMaybe<T> খুব আকর্ষণীয় বিষয় তুলে ধরেছিলেন যে কেন সি # টাইপের পরিবর্তে ব্যবহার করে : টাইপ সিস্টেমের ধারাবাহিকতা গুরুত্বপূর্ণ; আমরা কি সর্বদা জানতে পারি যে একটি অ-অযোগ্য রেফারেন্স কখনই অবৈধ হিসাবে পরিলক্ষিত হয় না? রেফারেন্স প্রকারের একটি অ-অযোগ্য ক্ষেত্রের সাথে কোনও অবজেক্টের কনস্ট্রাক্টর সম্পর্কে কী বলা যায়? …

53 type-systems  null 

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

50 programming-languages  language-design  inheritance  type-systems  virtual-machine 

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

49 programming-languages  type-systems 

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

47 type-systems  type-safety 

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

45 php  type-systems  weak-typing  type-casting 

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

44 java  programming-languages  type-systems  data-types 

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

43 functional-programming  haskell  type-systems 

এটি একটি বন্ধুর সাথে আলোচনায় উঠে এসেছিল এবং কোনও ভাল যুক্তি ভাবার জন্য নিজেকে কঠোর মনে হয়েছিল। দুর্বল টাইপিংয়ের সাথে কী কী সুবিধা পাওয়া যায়?

40 type-systems  type-safety  weak-typing 

আমি কোড লেখার চেয়ে প্রায়শই কোড পড়ি এবং আমি ধরে নিচ্ছি যে শিল্প সফটওয়্যারগুলিতে কাজ করা বেশিরভাগ প্রোগ্রামাররা এটি করে। টাইপ অনুমানের সুবিধাটি আমি ধরে নিয়েছি কম ভার্বোসিটি এবং কম লিখিত কোড। তবে অন্যদিকে আপনি যদি কোডটি প্রায়শই পড়েন তবে আপনি সম্ভবত পঠনযোগ্য কোড চাইবেন। সংকলক টাইপ অনুমান; এর জন্য …

37 programming-languages  type-systems