[swift-evolution] Proposal: Introduce User-defined "Dynamic Member Lookup" Types

Chris Lattner clattner at nondot.org
Thu Dec 7 14:26:16 CST 2017


> On Dec 7, 2017, at 11:22 AM, Letanyan Arumugam <letanyan.a at gmail.com> wrote:
> 
>>>> fatalError shouldn’t be used excessively. API surface areas for these types are going to be massive (infinite technically). I assume many people are going to be writing a lot of code would these types and calling many methods and properties which would all essentially have a fatalError. Would you consider it good code if the majority of all your types had methods defined with fatalError calls.
>>>> 
>>>> What is the basis for this claim? Probably the majority of standard library methods check preconditions and trap on failure. That is how I write my code as well.
>>>> 
>>> 
>>> I’m talking specifically about fatalError not precondition. fatalError is something that goes out with production code while precondition is used for debugging. I think you would agree a shipped program that has many states of being unrecoverable is not a good design?
>> 
>> You are aware that Int traps on overflow and arrays trap on out of bounds, right?
>> 
> 
> Were each of them not decided upon separately based on certain tradeoffs? Arrays for speed and Int overflow because having the addition operator return an optional would be too cumbersome? If these reasons were not so influential would they still be designed to trap?

Yes, each of these decisions was carefully made.  

My point is that pretty much all code can fail at runtime, including "something that goes out with production code”, because integers and arrays are pervasive. I do not understand your claim that Swift APIs do not generally fail at runtime.

-Chris

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20171207/ecdcdb19/attachment.html>


More information about the swift-evolution mailing list