Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

4
  • good one, @gnat. your duplicate is another duplicate and you've marked it yourself :-) Commented Jul 16, 2016 at 12:51
  • duplicates are not always transitive Commented Jul 16, 2016 at 12:53
  • 2
    Many of "all those programming languages" modeled their data types on what was natively supported in hardware. Commented Jul 16, 2016 at 13:19
  • 2
    None of those types are necessary; in fact, types are not necessary at all. We can compute any mathematical function that is computable in one of those programming languages without even using bits in the untyped lambda calculus. Why on earth would you use a programming language with all these unnecessary concepts like bits, numbers, true, false, and so on, when you can develop them all from scratch using Church numerals? Commented Jul 18, 2016 at 17:18