Haskell·Haskell essentials

Types and values

Haskell has a strong static type system with type inference.

Advanced 10 min read Lesson 2 of 150 Challenge included
What you will be able to do
  • Annotate top-level functions.
  • Use Int, Double, String, Bool.
  • Use :t in GHCi to inspect.

In plain English

Haskell has a strong static type system with type inference.

  • Annotate top-level functions.
  • Use Int, Double, String, Bool.
  • Use :t in GHCi to inspect.
Types.hsHASKELL
name :: String
name = "Ada"

score :: Int
score = 91
Your turn

Explain it back

Easy

Answer from memory: Which command shows a value’s type in GHCi?

TEXT · starter
Your answer…
Check your understanding before moving on.
Knowledge checkQuestion 1

Which command shows a value’s type in GHCi?

Select an answer to continue
Study tools

Make it yours.

Keep a private note for this lesson, then turn the key ideas into flashcards you can revisit.

Sign in to save notes and flashcards.Both are private to your account and stay with your progress.
Sign in
Finished reading?

Lock in what you just learned.

Mark this lesson complete to save your place and move one step closer to the certificate.

Next: Pattern matching
Lesson 2 of 150 · 0% of course