Mirandaは強い型付けをする言語だが、構文上は明確な型の宣言を必要としない.
Miranda