Lemmy is written in Typescript and Rust. Typescript is duck typed, Rust is static with a high degree of type inference.
You restrict the set of statements that are possible to express to ones that can be checked by the type system, and as a result you get additional compile time guarantees
This to me just sounds like you’re talking about the Command Pattern, which can be used regardless of type system.
What I’m talking about is the Enterprise tendency to select and enforce usage in other languages of types in such a way that every single piece of data, function input and output has a explicit type. Leading to a lot of code maintenance and difficulty that scales only with a tech strategy where you add bodies and maintain more code rather than intelligently composing your types and allowing the system to use type inference to lower maintenance overhead and code movement.
I’m not sure what you mean specifically.
Lemmy is written in Typescript and Rust. Typescript is duck typed, Rust is static with a high degree of type inference.
This to me just sounds like you’re talking about the Command Pattern, which can be used regardless of type system.
What I’m talking about is the Enterprise tendency to select and enforce usage in other languages of types in such a way that every single piece of data, function input and output has a explicit type. Leading to a lot of code maintenance and difficulty that scales only with a tech strategy where you add bodies and maintain more code rather than intelligently composing your types and allowing the system to use type inference to lower maintenance overhead and code movement.