Options and Results¶

// Option and Result types for safe value handling

// Option: Some wraps a value, None represents absence
let some_val = Some 42
let no_val = None

let get_or_default opt =
    match opt with
    | Some n -> n
    | None -> 0

print "Some 42 -> "; println (get_or_default some_val)
print "None -> "; println (get_or_default no_val)

// Result: Ok wraps success, Error wraps failure
let ok_val = Ok 100
let err_val = Error 404

let unwrap_result r =
    match r with
    | Ok n -> n
    | Error e -> e

print "Ok 100 -> "; println (unwrap_result ok_val)
print "Error 404 -> "; println (unwrap_result err_val)

// The ? operator propagates errors (unwraps Ok/Some, returns Error/None)
let unwrap opt = opt?
let r1 = unwrap (Some 42)
print "unwrap Some 42 = "; println r1

let unwrap_res res = res?
let r2 = unwrap_res (Ok 77)
print "unwrap Ok 77 = "; println r2

// try-with for error recovery
let getValue x = Ok x
let safe = try getValue 42 with | Error e -> 0
print "try Ok 42 = "; println safe

let getErr x = Error x
let handled = try getErr 99 with | Error e -> e
print "try Error 99 = "; println handled

// Multi-arm try-with for specific error codes
let r3 = try getErr 1 with
    | Error 1 -> 10
    | Error 2 -> 20
    | Error _ -> 0
print "Error 1 matched = "; println r3

let r4 = try getErr 2 with
    | Error 1 -> 10
    | Error 2 -> 20
    | Error _ -> 0
print "Error 2 matched = "; println r4

let r5 = try getErr 99 with
    | Error 1 -> 10
    | Error 2 -> 20
    | Error _ -> 0
print "Error 99 fallback = "; println r5

// Guards in try-with arms
let r6 = try getErr 5 with
    | Error e when e > 3 -> 100
    | Error _ -> 0
print "Error 5 (>3 guard) = "; println r6

// Option handling with try-with
let getOpt x = Some x
let r7 = try getOpt 42 with | None -> 0
print "try Some 42 = "; println r7

let getNone x = None
let r8 = try getNone 0 with | None -> 99
print "try None = "; println r8

// Check if a tool is available and get its path
match which "git" with
| Some path -> println $"git found at: {path}"
| None -> println "git is not installed"

// Provide a fallback with the ?| operator
let editor = which "nvim" ?| "/usr/bin/vi"
println editor