4 ms·

> Whack currently lacks a comprehensively designed type system. To me, this statement means: currently whack is not a properly designed programming language.

> 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.

chrisseaton 8y ago
Lots of properly designed and practically useful languages have no comprehensive type system.
- deleted 8y ago
  [deleted]
- majewsky 8y ago
  Which ones? And don't say JavaScript or Ruby now. ;)
- nerdponx 8y ago
  What constitutes a type system? Do Python or Scheme have type systems?
kd0amg 8y ago
It is entirely possible to write proofs about untyped code.