Functions and closures

একটা function declare হয় fn দিয়ে:

fn add(a: int, b: int) -> int {
    return a + b
}

pub fn log_line(msg: string) {      // no -> means no return value
    io.println(msg)
}

-> দিয়ে return type বলা হয়। -> না থাকলে function কিছু return করে না। parameter-গুলো নিজেদের type বলে দেয়, ঠিক অন্য প্রতিটা binding-এর মতো।

প্রতিটা path-কে return করতেই হবে

কোনো implicit tail return নেই। শেষের একটা expression অন্য যেকোনো statement-এর মতোই একটা statement; তার value বাদ পড়ে যায়, return হয় না। যে function-এ -> আছে, তাকে প্রতিটা path-এ return করতে হবে:

fn wrong() -> int {
    var sum: int = 0
    if flag() { sum = 1 }
    sum                             // error: 'wrong' must return int
}

যে body return না করেই শেষ হয়ে যেতে পারে, checker সেটা reject করে। একটা path তখনই returning ধরা হয় যখন সেটা শেষ হয় return-এ, এমন একটা if/else-এ যার দুই দিকই return করে, এমন একটা statement match-এ যার সব arm return করে, বা break ছাড়া একটা for { }-এ (যেটা কখনও শেষই হয় না)।

Parameter mode

parameter default-এ borrow করে। ownership নিতে move যোগ করা হয়, নয়তো caller-এর একটা mutable local alias করতে inout। নিয়মগুলো দেখুন Variables and constants-এ।

fn enqueue(move jobs: List<Job>) { /* ... */ }
fn bump(inout n: int) { n += 1 }

Anonymous function (closure)

নাম ছাড়া fn হলো একটা closure। এটা তার চারপাশের variable-গুলো capture করে। fn(int) -> int আবার একটা function value-এর type-ও।

let double: fn(int) -> int = fn(x: int) -> int { return x * 2 }
xs.map(fn(x: int) -> int { return x * 2 })

closure তার চারপাশের variable-গুলো একটা shared cell-এর reference দিয়ে capture করে, তাই mutation আর escaping — দুটোই কাজ করে। একটা closure inout parameter capture করতে পারে না, আর move বা inout parameter-ওয়ালা কোনো function-কে closure value হিসেবে store করা যায় না (function value এখনও ownership mode বয়ে নেয় না)।

Method আর static

class-এর ভেতরে define করা function হলো method; static fn একটা class static declare করে। এগুলো নিয়ে আছে Classes-এ। module-level function সেই কাজের জন্য যেটা কোনো object বানায় না, যেমন io.println, os.args, আর fmt.pad_left। যা কিছু একটা object বানায়, সেটা ওই object-এর class-এ থাকে — new হিসেবে বা একটা named static হিসেবে।

একটা পুরো উদাহরণ

import std.io

fn add(a: int, b: int) -> int {
    return a + b
}

fn apply(f: fn(int) -> int, x: int) -> int {
    return f(x)
}

fn main() {
    let sum: int = add(2, 3)
    let square: fn(int) -> int = fn(n: int) -> int { return n * n }
    io.println("{sum} {apply(square, sum)}")
}