Hacker News Reader

Comment by fire_lake | Hacker News Reader

I always think of unit as one - it has exactly one possible value.

Void doesn’t exist in ML

Void definitely exists in ML.

  —- Haskell
  data Void

  (* Standard ML *)
  datatype void = Void of void

log 1 = 0, so it has exactly zero bits of information.