۱۵ اردیبهشت ۱۴۰۱

مفهوم point-free و Equational Reasoning چیست؟

روش point-free

point-free روشی مرسوم بین توسعه‌دهندگان فانکشنال است که توابع را با استفاده از ترکیبی از توابع دیگر بسازند و هرگز اشاره‌ای به ورودی‌های آن توابع نکنند.

Equational Reasoning روشی است که با آن می‌توان استدلال کرد که دو عبارت معادل یکدیگر و قابل تعویض هستند که از این طریق هم می‌توان مانند زیر یک قطعه کد را به سبک point-free تبدیل کرد.

تابع زیر point-free نمی‌باشد زیرا به آرگمان person اشاره می‌کند.

getPerson(function onPerson(person){
	return renderPerson(person);
});

با استدلال اینکه قطعه کد زیر معادل با قطعه کد بالاست یا Equational Reasoning است و حذف شدن person، تابع زیر به حالت point-free تبدیل شده‌است.

getPerson(renderPerson);

فهرست مطالب `Functional Programming`

نظرات خوانندگان این نوشته

تا به حال نظری ثبت نشد!

نظری در این مورد دارید؟ خوشحال می‌شم اون رو برام ارسال کنید.

captcha