编辑“︁Miranda语言”︁（章节）

===数据类型===
Miranda的基本[[数据类型]]是<code>char</code>、<code>num</code>和<code>bool</code>。字符串简单的就是<code>char</code>的列表，而<code>num</code>在两种底层形式之间静默转换：缺省的[[高精度计算|任意精度]]整数（又名bignum），和需要时的正规[[浮点数|浮点]]值。

[[元组]]是潜在混合类型的元素的序列，类似于类[[Pascal语言|Pascal]]语言的[[记录]]，用圆括号来界定：
<syntaxhighlight lang="haskell">
this_employee = ("Folland, Mary", 10560, False, 35)
</syntaxhighlight>

[[列表 (抽象数据类型)|列表]]是Miranda中最常用的数据结构。列表用方括号来界定并具有用逗号分隔的元素，它们都必须有着相同类型：

<syntaxhighlight lang="haskell">
week_days = ["Mon","Tue","Wed","Thur","Fri"]
</syntaxhighlight>
列表串接是<code>++</code>，删减是<code>--</code>，构造是<code>:</code>，大小是<code>#</code>而索引是<code>!</code>，比如：

<syntaxhighlight lang="haskell">
days = week_days ++ ["Sat","Sun"]
days = "Nil":days
days!0
⇒ "Nil"
days = days -- ["Nil"]
#days
⇒ 7
</syntaxhighlight>

有一些列表建造捷径：<code>..</code>用于其元素形成算数序列的列表，具有指定不是1的增量的可能：

<syntaxhighlight lang="haskell">
fac n   = product [1..n]
odd_sum = sum [1,3..100]
</syntaxhighlight>

更一般性和更强力的列表建造设施是[[列表推导式]]（以前叫做“ZF表达式”)，它以两种主要形式提供：应用于一系列项目的一个表达式，比如：
<syntaxhighlight lang="haskell">
squares = [ n * n | n <- [1..] ]
</syntaxhighlight>

它可以读作：<code>n</code>的平方的列表，这里的<code>n</code>取自所有正数的列表；和其中每个项目都是前一项目的函数的一个系列，比如：

<syntaxhighlight lang="haskell">
powers_of_2 = [ n | n <- 1, 2*n .. ]
</syntaxhighlight>

如这两个例子所蕴含的那样，Miranda允许无限数目元素的列表，其中最简单的是所有正数的列表：<code>[1..]</code>。