স্থির ধরনের ভাষার তুলনায় গতিশীল প্রকারের ভাষার সুবিধা এবং সীমাবদ্ধতাগুলি কী? আরও দেখুন : গতিশীল ভাষার ভালবাসার সাথে কী রয়েছে (আরও অনেক বিতর্কিত থ্রেড ...)
আমি উইকিপিডিয়া নিবন্ধ অস্তিত্বের প্রকারের মাধ্যমে পড়ি । আমি একত্রিত হয়েছি যে অস্তিত্বহীন অপারেটরের (∃) কারণেই তাদের অস্তিত্বের ধরণ বলা হয়। যদিও এর মূল বক্তব্যটি আমি নিশ্চিত না। এর মধ্যে পার্থক্য কী T = ∃X { X a; int f(X); } এবং T = ∀x { X a; int f(X); …
আমি বেশ কয়েকটি উত্স দেখেছি যে মতামত প্রতিধ্বনিত হয়েছে যে "হাস্কেল ধীরে ধীরে নির্ভরশীল-টাইপিত ভাষায় পরিণত হচ্ছে"। এর অর্থ বোঝা যাচ্ছে যে আরও এবং আরও বেশি ভাষা এক্সটেনশনের সাথে, হাস্কেল সেই সাধারণ দিকটিতে প্রবাহিত হচ্ছে, তবে এখনও সেখানে নেই। মূলত দুটি জিনিস আমি জানতে চাই। প্রথমটি হ'ল, একেবারে সরলভাবে, "নির্ভরশীল-টাইপযুক্ত …
আমি এই ব্লগে এই কোডটি দেখছি: স্কালায় টাইপ-লেভেল প্রোগ্রামিং : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next = RecurseA // …
নির্ভরশীল পদ্ধতি ধরণের, যা আগে পরীক্ষামূলক বৈশিষ্ট্য হিসাবে ব্যবহৃত হত এখন ট্রাঙ্কে ডিফল্টরূপে সক্ষম হয়েছে এবং স্পষ্টতই এটি স্কেলা সম্প্রদায়ের মধ্যে কিছুটা উত্তেজনা তৈরি করেছে বলে মনে হয় । প্রথম নজরে, এটি কী জন্য কার্যকর হতে পারে তা অবিলম্বে সুস্পষ্ট নয়। হাইকো সিবার্গার নির্ভরশীল পদ্ধতির ধরণের একটি সাধারণ উদাহরণ এখানে …
প্রদত্ত : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo আমি Stringএকটি উদাহরণ তৈরি করতে চাই Fooable: instance Fooable String where toFoo = FooString জিএইচসি তারপরে অভিযোগ করেছেন: Illegal instance declaration for `Fooable String' (All …