variables don't need explicit statements about their type unlike in java. haskell can automatically tell that 1 is of type int.
allows the compiler to deduce the proper type for you automatically, instead of you having to say it.
researcher does a trial run with a small number of participants; will reveal whether participants understand the instructions, whether any confusing questions are being asked, etc.