Thiago SilvaHow safe is “type safe”?In the previous post, I’ve shown that a definition for type safety depends on the definition of type errors. I’ve also hint that a type…Dec 18, 2016Dec 18, 2016
Thiago SilvaWhat is type safety?Often, we hear that writing softwares using “statically typed languages” makes them type safe. Some even claim that “type safety means…Dec 9, 20161Dec 9, 20161
Thiago SilvaThe hypothetical strength of a typeIn a previous post, I alluded to the idea that “weakly typed” and “strongly typed” have no clear definitions and they aren’t useful…Dec 3, 2016Dec 3, 2016
Thiago SilvaOn Zed Shaw’s notion of String typing (and typing in general)(or: “On the fact that even famous authors of programming language books create confusions about types”).Nov 28, 2016Nov 28, 2016
Thiago SilvaReflections of a software engineerThe text below was extracted from an email I wrote to my then grad advisor, Silvio Meira, in 2009.Sep 30, 2016Sep 30, 2016
Thiago SilvaUnderstanding exceptions : part IIException Interfaces and ErrorsSep 29, 2016Sep 29, 2016
Thiago SilvaUnderstanding exceptions : part IHow exceptions work? How to reason about them ?What to do when catching them? When to raise and when to return a value?Sep 14, 20161Sep 14, 20161