معادل UML برای زبانهای فانکشنال : Category theory


#1

مقدمه:

  • مشاهده کارکرد کلی (Big picture) یک نرم افزار به شخصه برای من بسیار کمک کننده بوده، قبل از این تجربه کار کردن با UML رو داشتم و واقعا میتونم بگم یکی از ابزارهای فوق العاده برای طراحی یک سیستم هست.
  • ابتدا کمی تحقیق کردم تا بفهمم چطور میشه از UML در زبان های فانکشنال استفاده کرد اما همون ابتدا متوجه شدم که بخش هایی از UML مثل Class Diagram که به تعریف خصوصیات کلاس ها مربوط میشه در زبان های فانکشنال غیر قابل استفاده هستن.
  • تحقیق رو ادامه دادم و به این نتیجه رسیدم که معادل UML در زبان های فانکشنال Category theory هست.

سوال:

  • دوستان کسی تجربه ای با Category theory داره؟

کتاب:

لینک های مفید:

https://modeling-languages.com/uml-functional-programs-anybody/


#2

بله کتاب category theory که ویدیو هاش هم موجوده


به عقیده من اول شما یک کتاب functional programming در زبان ستاتیک بخون مثل هسکل یا سکالا بعد برو سراغ category theory

اگر سوالی داشتی اینجا خوشحال میشم پاسخ بدم


#3

برخی از این مطالب را من به صورت مقدماتی توضیح دادم