مفهوم 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);