Skip to main content
Software Engineering

Return to Question

Tweeted twitter.com/#!/StackProgrammer/status/472145980545302528
added 139 characters in body; edited tags
Source Link
Jimmy Hoffa
Jimmy Hoffa
  • 16.2k
  • 3
  • 71
  • 81

Scheme is said to be just an extension of the Untyped Lambda Calculus (correct me if I am wrong). If that is the case, how can it have Lists and Numbers? Those, to me, look like 2 base types. So I'd say Racket is actually an extension of the Simply Typed Lambda Calculus. No?

What is actually the typing system used by Racket and what are its base types?

Question:

  • Is Scheme's type system actually based or more similar to Simply Typed or Untyped Lambda Calculus?

  • In what ways does it differ from Untyped and or Simply Typed Lambda Calculus?

(The same question is valid for "untyped" languages such as Python and JavaScript - all of which look like they have base types to me.)

Scheme is said to be just an extension of the Untyped Lambda Calculus (correct me if I am wrong). If that is the case, how can it have Lists and Numbers? Those, to me, look like 2 base types. So I'd say Racket is actually an extension of the Simply Typed Lambda Calculus. No?

What is actually the typing system used by Racket and what are its base types?

(The same question is valid for "untyped" languages such as Python and JavaScript - all of which look like they have base types to me.)

Scheme is said to be just an extension of the Untyped Lambda Calculus (correct me if I am wrong). If that is the case, how can it have Lists and Numbers? Those, to me, look like 2 base types. So I'd say Racket is actually an extension of the Simply Typed Lambda Calculus. No?

Question:

  • Is Scheme's type system actually based or more similar to Simply Typed or Untyped Lambda Calculus?

  • In what ways does it differ from Untyped and or Simply Typed Lambda Calculus?

(The same question is valid for "untyped" languages such as Python and JavaScript - all of which look like they have base types to me.)

Post Migrated Here from stackoverflow.com (revisions)
Source Link
MaiaVictor
MaiaVictor
  • 5.9k
  • 8
  • 29
  • 45

If Scheme is untyped, how can it have numbers and lists?

Scheme is said to be just an extension of the Untyped Lambda Calculus (correct me if I am wrong). If that is the case, how can it have Lists and Numbers? Those, to me, look like 2 base types. So I'd say Racket is actually an extension of the Simply Typed Lambda Calculus. No?

What is actually the typing system used by Racket and what are its base types?

(The same question is valid for "untyped" languages such as Python and JavaScript - all of which look like they have base types to me.)