News for hackers. Stuff that matters.

A comment on Exotic Programming Ideas, Part 3: Effect Systems. Parent comment

Re:Exotic Programming Ideas, Part 3: Effect Systems by skybrian on Sunday November 22, 2020 @05:09PM (#25181589)
Okay, so type inference is the vital feature here.

It can help in a closed code base. In an open code base, you could inadvertently change a public API, breaking callers that are unknown to you, if the type signature of something public is inferred.

[ Parent | on HN ]
Re:Exotic Programming Ideas, Part 3: Effect Systems by shthrow on Tuesday November 24, 2020 @01:34PM (#25201425)
Correct, but that is the same for any kind public API though. However that is slowly starting to change with statically typed APIs like GraphQL and Protocol Buffers. You can imagine a public API that is introspected and can tell the client about deprecation and all that.
[ Parent | on HN ]