คำถามติดแท็ก function

มีภาษาการเขียนโปรแกรม (การทำงานหรือไม่) ที่ฟังก์ชั่นทั้งหมดมีรูปแบบที่ยอมรับได้หรือไม่? นั่นคือฟังก์ชั่นใด ๆ สองฟังก์ชันที่ส่งกลับค่าเดียวกันสำหรับชุดอินพุตทั้งหมดแสดงด้วยวิธีเดียวกันเช่นถ้า f (x) ส่งกลับ x + 1 และ g (x) ส่งคืน x + 2 จากนั้น f (f (x (x) )) และ g (x) จะสร้างไฟล์เรียกทำงานที่ไม่สามารถแยกได้เมื่อรวบรวมโปรแกรม บางทีที่สำคัญกว่านั้นฉันจะหาข้อมูลเพิ่มเติมเกี่ยวกับการแสดงที่เป็นที่ยอมรับของโปรแกรมได้ที่ไหน ดูเหมือนว่าเป็นคำถามธรรมชาติที่จะถามและฉันกลัวว่าฉันไม่ทราบคำที่เหมาะสมสำหรับสิ่งที่ฉันกำลังมองหา ฉันอยากรู้ว่าเป็นไปได้ไหมที่ภาษาทัวริงจะสมบูรณ์และถ้าไม่คุณสามารถใช้ภาษาการเขียนโปรแกรมได้อย่างไรในขณะที่ยังคงรักษาคุณสมบัติดังกล่าวอยู่ พื้นหลังของฉันค่อนข้าง จำกัด ดังนั้นฉันจึงต้องการแหล่งที่มากับสิ่งที่จำเป็นต้องมีน้อยกว่า แต่การอ้างอิงถึงแหล่งข้อมูลขั้นสูงอาจจะเท่เช่นกันเพราะฉันรู้ว่าฉันต้องการทำงานต่อ

29 computability  pl.programming-languages  functional-programming  function 

AFAIK หลักฐานแรกของการใช้ฟังก์ชั่นการสั่งซื้อที่สูงขึ้นกลับไปที่หน้ากระดาษของSchönfinkelในปี 1924: "ในหน่วยการสร้างของคณิตศาสตร์ตรรกะ" - ซึ่งเขาอนุญาตให้หนึ่งผ่านหน้าที่เป็นข้อโต้แย้งไปยังฟังก์ชั่นอื่น ๆ ดูเหมือนว่าน่าสนใจ อย่างไรก็ตามทุกอย่างที่ฉันได้อ่านเกี่ยวกับงานของเขา (และส่วนขยายของ Curry) ดูเหมือนจะพูดถึงสิ่งหนึ่งในบางรูปแบบหรืออย่างอื่น: [ฟังก์ชั่นการสั่งซื้อที่สูงกว่า] ... สิ่งนี้ไม่จำเป็นต้องมีตัวแปรผูกพัน ... สิ่งที่ฉันไม่สามารถคาดศีรษะได้คือเรื่องใหญ่อะไร ทำไมนักตรรกวิทยาและนักคณิตศาสตร์ในสมัยนั้นถึงสนใจเรื่องนี้ และในฐานะนักทฤษฎีเราสนใจวันนี้ไหม? เหตุใดจึง "แหวกแนว" เพื่อกำจัดตัวแปรที่ถูกผูกไว้และสิ่งที่มีผลกระทบ (หรือไม่) ที่มีต่อการคำนวณ (ตามหลักวิชา) ที่เรารู้ PS: ฉันรู้วิธีการทำงานของเขาปูทางสำหรับแคลคูลัสและผลกระทบของ "มัน" บนคอมพิวเตอร์และการเขียนโปรแกรมการทำงานโดยทั่วไป คำถามของฉันมักจะถูกนำไปสู่เวลา "ก่อนหน้า" ในการสร้างλ -calculus และ "หลังจาก" กระดาษของSchönfinkel ความจริงที่ว่าแกงกะหรี่หยิบขึ้นมาเป็นแนวของการทำงานซึ่งต่อมาเป็นที่รู้จักกันในชื่อλλ\lambdaλλ\lambda

15 lo.logic  soft-question  ho.history-overview  intuition  function 

มันเป็นที่รู้จักกันผ่านทฤษฎีการประมาณสากลว่าเครือข่ายประสาทที่มีชั้นเดียวที่ซ่อนอยู่และฟังก์ชั่นการเปิดใช้งานโดยพลสามารถประมาณฟังก์ชั่นใด ๆ อย่างต่อเนื่อง รุ่นอื่น ๆ ที่มีตัวประมาณฟังก์ชั่นสากล

15 machine-learning  function  approximation