প্রশ্ন ট্যাগ «typing»

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

64 programming-languages  education  typing  research 

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

20 typing 

আমি জানতে চাই যে সর্বজনীন- প্রকার : a একটি উপ-প্রকার, বা বিশেষ ক্ষেত্রে, একই স্বাক্ষর সহ অস্তিত্বযুক্ত-পরিমাণযুক্ত :TaTaT_aTa=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\}TeTeT_eTe=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} আমি "হ্যাঁ" বলব: যদি কিছু "সমস্ত এক্স" এর জন্য সত্য হয় ( ), তবে এটি অবশ্যই …

20 logic  type-theory  typing 

আমাদের প্রফেসর আমাদের ওসিএএমএলে এমন কোনও ফাংশন সম্পর্কে চিন্তা করতে বলেছিলেন যা টাইপটি রয়েছে 'a -> 'b অর্থাত্ একটি যুক্তি একটি ফাংশন যা কিছু হতে পারে, এবং এটি ভিন্ন কিছু ফিরে আসতে পারে। আমি raiseএমন কোনও ফাংশন ব্যবহার করার কথা ভেবেছিলাম যা এর যুক্তি উপেক্ষা করে: let f x = …

19 programming-languages  typing  functional-programming 

আমি ইমপ্লিমেন্ট লেখার সময় হিন্দি-মিলনার টাইপিং অ্যালগরিদম সম্পর্কে পড়ছি এবং দেখুন যে যতক্ষণ প্রতিটি পরিবর্তনশীল সীমাবদ্ধ থাকে আপনি সর্বদা পারমাণবিক প্রকার বা প্রকারগুলি পাবেন যেখানে আর্গুমেন্টগুলি চূড়ান্ত প্রকার নির্ধারণ করবে, যেমন t1 -> t1বা (t1 -> t2) -> (t1 -> t2)যেখানে t1এবং t2টাইপ ভেরিয়েবল হয়। আপনি এমন কিছু t1 -> …

14 lambda-calculus  type-theory  typing  type-inference 

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

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing