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