What are the safety benefits of a type system?

Posted by vandros526 on Programmers See other posts from Programmers or by vandros526
Published on 2013-10-24T17:31:12Z Indexed on 2013/10/24 22:07 UTC
Read the original article Hit count: 320

Filed under:

type-systems

|

type-safety

In Javascript: The Good Parts by Douglas Crockford, he mentions in his inheritance chapter,

"The other benefit of classical inheritance is that it includes the specification of a system of types. This mostly frees the programmer from having to write explicit casting operations, which is a very good thing because when casting, the safety benefits of a type system are lost."

So first of all, what actually is safety? protection against data corruption, or hackers, or system malfunctions, etc?

What are the safety benefits of a type system? What makes a type system different that allows it to provide these safety benefits?

© Programmers or respective owner

Related posts about type-systems

What can Haskell's type system do that Java's can't?

as seen on Programmers - Search for 'Programmers'
I was talking to a friend about the differences between the type systems of Haskell and Java. He asked me what Haskell's could do that Java's couldn't, and I realized that I didn't know. After thinking for a while, I came up with a very short list of minor differences. Not being heavy into type… >>> More
What can Haskell's type system do that Java's can't and vice versa?

as seen on Programmers - Search for 'Programmers'
I was talking to a friend about the differences between the type systems of Haskell and Java. He asked me what Haskell's could do that Java's couldn't, and I realized that I didn't know. After thinking for a while, I came up with a very short list of minor differences. Not being heavy into type… >>> More
Have SSIS' differing type systems ever caused you problems?

as seen on SQL Blog - Search for 'SQL Blog'
One thing that has always infuriated me about SSIS is the fact that every package has three different type systems; to give you an idea of what I am talking about consider the following: The SSIS dataflow's type system is made up of types called DT_* (e.g. DT_STR, DT_I4) The SSIS variable… >>> More
What are the differences and similarities of Scala and Haskell type systems?

as seen on Stack Overflow - Search for 'Stack Overflow'
How to explain Scala's type system to a Haskell expert? What examples show Scala's advantages? How to explain Haskell's type system to an advanced Scala practitioner? What can be done in Haskell that can't be done in Scala? >>> More
When is type testing OK?

as seen on Programmers - Search for 'Programmers'
Assuming a language with some inherent type safety (e.g., not JavaScript): Given a method that accepts a SuperType, we know that in most cases wherein we might be tempted to perform type testing to pick an action: public void DoSomethingTo(SuperType o) { if (o isa SubTypeA) { o.doSomethingA() … >>> More

Related posts about type-safety

Java Generics Type Safety warning with recursive Hashmap

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I'm using a recursive tree of hashmaps, specifically Hashmap map where Object is a reference to another Hashmap and so on. This will be passed around a recursive algorithm: foo(String filename, Hashmap<String, Object> map) { //some stuff here for (Entry<String, Object> entry… >>> More
Better type safety in Java collections

as seen on Stack Overflow - Search for 'Stack Overflow'
In my java coding, I often end up with several Map<String,Map<String,foo>> or Map<String,List<String>> and then I have trouble remembering which String is which key. I comment the declaration with //Map<capabiltyId,Map<groupId,foo>> or //Map<groupId,List<capabilityId>… >>> More
what's Static type safety ?

as seen on Stack Overflow - Search for 'Stack Overflow'
Static type safety – an integral property of languages of the family to which C++ belongs and valuable both for guaranteeing properties of a design and for providing runtime and space efficiency. Can someone illustrate by a demo? Thanks >>> More
Is type safety worth the trade-offs?

as seen on Programmers - Search for 'Programmers'
I began coding in in Python primarily where there is no type safety, then moved to C# and Java where there is. I found that I could work a bit more quickly and with less headaches in Python, but then again, my C# and Java apps are at much higher level of complexity so I have never given Python a true… >>> More
[Java] Type safety: Unchecked cast from Object

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I try to cast an object to my Action class, but it results in a warning: Type safety: Unchecked cast from Object to Action<ClientInterface> Action<ClientInterface> action = null; try { Object o = c.newInstance(); if (o instanceof Action<?>) { action = (Action<ClientInterface>)… >>> More