found drama

get oblique

Tag Archives: dynamic languages

what we talk about when we talk about type-safety

by !undefined

Rambles around computer science:

Thought-provoking piece by Stephen Kell on type systems, type-safety, and what a lot of people mean when they talk about it. My main takeaway from Kell’s piece was that type systems, like everything else in programming/computer science, comes with trade-offs and though there are many advantages to using a language with good type-safety, it’s also not a panacea and to believe so is dangerous and naïve. Part of what’s interesting here, is that he claims that many people are simply semantically wrong when talking about “types” when what they are discussing is actually compile-time checking, use of predicates, or other abstractions.

Linkdump for May 13th

by Rob Friesel

Dynamic Languages Strike Back Steve Yegge: slides and transcript of a talk he gave at Stanford. (tagged: Steve Yegge dynamic languages ) *JS : Low-Level JavaScript *JS is a typed dialect of JavaScript that offers a C-like type system with manual memory management. It compiles to JavaScript and lets you write memory-efficient and GC pause-free […]