On adding type information to a dynamically typed language

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

• Subject: On adding type information to a dynamically typed language
• From: Jorge <xxopxe@...>
• Date: 2017年9月19日 23:10:55 -0300

---

"To type or not to type: quantifying detectable bugs in JavaScript"
https://blog.acolyer.org/2017/09/19/to-type-or-not-to-type-quantifying-detectable-bugs-in-javascript/
Haven't read it very deeply, but seems of interest.

As a curiosity, the first example of bug wouldn't be possible in Lua, because it's better designed.

Jorge

---

• Follow-Ups:
  • Re: On adding type information to a dynamically typed language, Dirk Laurie

• Prev by Date: Re: debug hook callback is not called from __gc metamethod
• Next by Date: Re: On adding type information to a dynamically typed language
• Previous by thread: Re: Funny
• Next by thread: Re: On adding type information to a dynamically typed language
• Index(es):
  • Date
  • Thread