এটি কিছুটা অস্পষ্ট, তবে ক্যালকুলাস বীজগণিতের ডেটা ধরণে পরিণত হয়। যে কোনও প্রদত্ত প্রকারের জন্য, এর এক-ছিদ্র প্রসঙ্গের প্রকারটি সেই ধরণের ডেরাইভেটিভ। পুরো বিষয়টিকে পর্যালোচনা করার জন্য এই দুর্দান্ত আলোচনাটি দেখুন । এটি খুব প্রযুক্তিগত পরিভাষা, সুতরাং আসুন ব্যাখ্যা করি।
বীজগণিত তথ্য প্রকার
আপনি হয়ত টিউপলকে পণ্য ধরণের হিসাবে উল্লেখ করা হয়ে থাকতে পারেন (যদি তা না হয় তবে এটি দুটি ধরণের কার্টেসিয়ান পণ্য )। আমরা এটি আক্ষরিকভাবে নেব এবং স্বরলিপিটি ব্যবহার করব:
a∗b
ab
a+b
aNabNba+bNa+Nb
এই ধরণেরগুলি দেখতে সাধারণ বীজগণিতীয় এক্সপ্রেশনগুলির মতো দেখায় এবং আমরা আসলে এগুলি (বিন্দুতে) এগুলি পরিচালনা করতে পারি।
একটি উদাহরণ
কার্যকরী ভাষায় একটি তালিকার একটি সাধারণ সংজ্ঞা (এখানে হাস্কেলের মধ্যে দেওয়া) হ'ল:
data List a = Empty
| Cons a List
এটি বলে যে একটি তালিকা খালি হয় বা একটি মান এবং অন্য তালিকার দ্বিগুণ। এটিকে বীজগণিত স্বীকৃতিতে রূপান্তরিত করা, আমরা পাই:
L(a)=1+a∗L(a)
1L(a)
L(a)=1+a∗L(a)
L(a)=1+a∗(1+a∗L(a))
L(a)=1+a+a2∗(1+a∗L(a))
L(a)=1+a+a2+a3∗(1+a∗L(a))
L(a)=1+a+a2+a3+a4+a5...
xn
এই সংজ্ঞা তারপর বলছেন যে একটি তালিকা পারেন ইউনিট, অথবা এক আইটেম এর একটি tuple, অথবা দুই আইটেম tuple, অথবা তিন ইত্যাদি, যার মধ্যে রয়েছে একটি তালিকা সংজ্ঞা!
ওয়ান-হোল প্রসঙ্গ
এখন এক-ছিদ্র প্রসঙ্গে: আপনি যখন কোনও পণ্যের ধরণের 'মূল্য নির্ধারণ করেন' তখন এক-ছিদ্র প্রসঙ্গটি আপনি কী পান। আসুন একটি উদাহরণ দিন:
a2aa+a2a
3-টিউপলের মধ্যে একটি মান নেওয়া 2-টিউপল দেয় তবে তিনটি ভিন্ন রূপ রয়েছে:
(a,a,_)
(a,_,a)
(_,a,a)
3a2a3
আমাদের চূড়ান্ত উদাহরণের জন্য, আসুন একটি তালিকা ব্যবহার করুন:
যদি আমরা আমাদের মূল প্রকাশটি তালিকার জন্য নিই:
L(a)=1+a∗L(a)
আমরা পেতে পুনর্বিন্যাস করতে পারেন:
L(a)=11−a
(উপরিভাগে এটি নির্বোধের মতো মনে হতে পারে তবে আপনি যদি এই ফলাফলটির টেলর সিরিজটি গ্রহণ করেন তবে আমরা আমাদের পূর্ববর্তী সংজ্ঞাটি পেয়েছি))
এখন যদি আমরা এটির পার্থক্য করি তবে আমরা একটি আকর্ষণীয় ফলাফল পেয়েছি:
∂L(a)∂a=(L(a))2
এইভাবে একটি তালিকা তালিকার জুটি হয়ে গেছে। এটি প্রকৃত অর্থেই বোঝায়: উত্পাদিত দুটি তালিকাগুলি মূল তালিকার গর্তের ওপরে এবং নীচে থাকা উপাদানের সাথে মিল রাখে!