ฟังก์ชันลำดับที่สูงกว่าจะใช้ฟังก์ชันอื่นเป็นพารามิเตอร์หรือส่งคืนฟังก์ชันหนึ่ง Type (Int) -> Boolean หมายถึงฟังก์ชันจาก Int ถึง Boolean ไลบรารีมาตรฐานใช้สิ่งนี้ทุกที่: ตัวกรอง แผนที่ พับ
ทำหน้าที่เป็นพารามิเตอร์
ฟังก์ชันลำดับที่สูงกว่าจะใช้ฟังก์ชันอื่นเป็นพารามิเตอร์หรือส่งคืนฟังก์ชันหนึ่ง Type (Int) -> Boolean หมายถึงฟังก์ชันจาก Int ถึง Boolean ไลบรารีมาตรฐานใช้สิ่งนี้ทุกที่: ตัวกรอง แผนที่ พับ