روال‌های بی‌نام

روال بی‌نام

شکل کوتاه (ورودی‌ها) => عبارت یک روال بی‌نام می‌سازد که نتیجه‌ی عبارت را برمی‌گرداند. برای بدنه‌ی چندخطی، پس از پرانتز دونقطه بگذارید و بلوک را با پایان ببندید.

روال به‌کاربردن(ر: روال (صحیح) صحیح، مقدار: صحیح): صحیح:
    برگشت ر(مقدار)
پایان

روال ریشه:
    دوبرابر := (ع: صحیح) => ع * ۲
    سرچاپ دوبرابر(۵)
    سرچاپ به‌کاربردن((ع: صحیح) => ع * ع، ۷)
    رده := (نمره: صحیح):
        قبول := نمره >= ۱۰
        برگشت قبول ? "قبول" : "مردود"
    پایان
    سرچاپ رده(۱۴)، رده(۸)
پایان

گونه‌ی روال

گونه‌ی یک روال به شکل روال (گونه‌ی ورودی‌ها) گونه‌ی خروجی نوشته می‌شود؛ مثلاً روال (صحیح) صحیح روالی است که یک صحیح می‌گیرد و یک صحیح برمی‌گرداند. با این گونه، روالی مثل به‌کاربردن می‌تواند هر روال سازگاری را بگیرد.