প্রশ্ন ট্যাগ «category-theory»

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

118 programming-languages  functional-programming  category-theory 

মূলত আমি গণিতের তিনটি ভিত্তি সম্পর্কে সচেতন সেটতত্ত্ব প্রকার তত্ত্ব বিভাগ তত্ত্ব সুতরাং কীভাবে প্রোগ্রামিং ভাষা এবং গণিতের ভিত্তি সম্পর্কিত? সম্পাদনা মূল প্রশ্নটি ছিল "গণিতের ভিত্তিতে প্রোগ্রামিং ভাষা" যুক্ত প্যারাগার্ফ সঙ্গে এবং তত্ত্বের বাস্তবায়ন ১. কোক- তে থিওরি টাইপ করুন SE . এসইটিএল-তে তত্ত্ব সেট করুন Has . হাস্কেলের মধ্যে …

30 programming-languages  history  type-theory  category-theory 

এই উত্তরে আন্ড্রেজ বাউয়ারের এই বিবৃতি হিসাবে একই চিন্তাভাবনা বরাবর হাস্কেল সম্প্রদায় বিভাগের তত্ত্ব দ্বারা অনুপ্রাণিত হয়ে অনেকগুলি কৌশল তৈরি করেছে, যার মধ্যে মনাদ সর্বাধিক পরিচিত তবে মনদেসে বিভ্রান্ত হওয়া উচিত নয় । মধ্যে সম্পর্ক কি functors SML এবং functors শ্রেণী তত্ত্ব? যেহেতু আমি অন্যান্য ভাষা যেমন হাস্কেল বা ওসিএএমএল …

24 programming-languages  functional-programming  category-theory 

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

22 functional-programming  category-theory 

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

21 functional-programming  category-theory 

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

18 applied-theory  category-theory 

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

13 reference-request  programming-languages  type-theory  category-theory 

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

12 relational-algebra  category-theory  curry-howard 

এই প্রশ্নে, আমি জিজ্ঞাসা করেছি সেট এবং টাইপের মধ্যে পার্থক্য কী । এই উত্তরগুলি সত্যই স্পষ্ট করে দিয়েছে (উদাঃ @ আন্দ্রেজবাউর), তাই জ্ঞানের তৃষ্ণায় আমি বিভাগগুলি সম্পর্কে একই জিজ্ঞাসা করার প্রলোভনের কাছে জমা দিচ্ছি: প্রতিটি সময় আমি প্রায় বিভাগ তত্ত্ব (যা বোঝা যাচ্ছে যে নেতারা বরং অনানুষ্ঠানিক হয়) পড়া, আমি …

11 sets  category-theory