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

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

161 haskell  type-systems  dependent-type 

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

109 scala  path-dependent-type  dependent-type  shapeless 

আমি সম্প্রতি জানতে পেরেছি যে প্রুফের সাথে প্যাটার্ন মিলের সাথে মিলিত ধরণের গর্তগুলি হাসকেলে একটি দুর্দান্ত সুন্দর আগদার মতো অভিজ্ঞতা সরবরাহ করে। উদাহরণ স্বরূপ: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * where Refl :: x == x sym :: a …

105 haskell  dependent-type