[aikah]

Well, what the author wants is called Haskell(or Scala to some extent) where the logic "is in the type itself", he doesn't know it yet or he wouldn't have written this article.

[mikermcneil]

Frankly I just want to do it in JavaScript-- not because it's good, but because it's "good enough". Know what I mean?

[aikah]

Try Haskell, you'll understand why JS isn't "good enough".