ความแตกต่างระหว่างฟังก์ชั่นการโปรแกรมมิงและการโปรแกรมเชิงโพรซีเดอร์คืออะไร?


ตอบ 1:

คณิตศาสตร์

อรรถศาสตร์

ความหมายในการปฏิบัติการ

ความหมายเชิง Denotational

ปรัชญา

ตรรกะเชิงสร้างสรรค์

ตรรกะคลาสสิก

ความโปร่งใสอ้างอิง

การต่อสู้

วิกิพีเดีย

การเลือกคำจำกัดความทางคณิตศาสตร์นั้นไร้ประโยชน์

programmers.SE

... วลี [ฟังก์ชั่นการเขียนโปรแกรม] เป็นเพียงสโลแกนลวงสำหรับการแข่งขันของพวกเขาว่าแลมบ์ดา abstractions เป็นคอมพิวเตอร์โบราณไม่เพียง แต่เป็นสากลในความหมายทางการ (ในความสามารถในการเข้ารหัสโปรแกรมใด ๆ ในแบบแฟชั่น แต่กระอักกระอ่วน) แต่เป็นสากลในแง่ที่ว่าสิ่งก่อสร้างทุกอย่างในภาษาอื่น ๆ แม้กระทั่งสิ่งที่ถูกอบขึ้นมาจากพื้นดินก็สามารถนำมาปรับใช้ในภาษาแลมบ์ดาได้ในลักษณะที่มีประสิทธิภาพและเป็นธรรมชาติ

มากเกินไป

น้อยเกินไป

การตัดสินทางสังคม

ฉันรู้เมื่อฉันเห็นมัน