Hacker News Reader

> Whack currently lacks a comprehensively designed type system.

To me, this statement means: currently whack is not a properly designed programming language.

Proofs are an important part of programming! This is the most important part.

Lots of properly designed and practically useful languages have no comprehensive type system.

Which ones? And don't say JavaScript or Ruby now. ;)

What constitutes a type system? Do Python or Scheme have type systems?

It is entirely possible to write proofs about untyped code.