@janriemer I articulate usefulness of Rust's type system in passing "mental model" from creator to reader/user-developer. And compiler precisely enforces model, expressed in types.Switching into "use of GenAI" tools, should have the same criteria: if explicit mental model is articulated in types, human/readers can fully grasp it, and compiler produces code that works, then, why should I tell anyone what tool to use?The reality, of course, is that despite M in LLM there is no explicit model.
