Fixing Programmatic Tool Calling With Types blog.coldboot.org Mar 10, 2026 0 inbound links en OCamlType TheoryLarge Language ModelsProgramming Languages CC BY-SA 4.0