";str(chr 34)^it;(print(it^it);fn x=>print(x^it^x^it))";str(chr 34)^it;(print(it^it);fn x=>print(x^it^x^it))
未报价的版本：在codingground上尝试。
引用的版本：在codingground上尝试。
请注意，输出看起来像这样
> val it = "{some string}" : string
> val it = "{some string}" : string
{output to stdout}> val it = fn : string -> unit
因为代码是按声明进行解释的声明（每个声明都;结束一个声明），并显示每个声明的值和类型。
背景
在SML中，有一个形式的quine <code>"<code in quotes>"：
str(chr 34);(fn x=>print(x^it^x^it))"str(chr 34);(fn x=>print(x^it^x^it))"
另一种形式"<code in quotes>"<code>：
";str(chr 34)^it;print(it^it)";str(chr 34)^it;print(it^it)
两者都依赖于<code>-part不包含引号的事实，因此可以引号而无需转义任何内容，"输出quine 的需要由给出str(chr 34)。
它们还严重依赖于隐式标识符it，该隐式标识符在声明中未给出显式标识符时使用。
在第一个quine中str(chr 34);绑定it到包含的字符串"，fn x=>启动一个带一个参数的匿名函数x，然后连接x^it^x^it并打印结果字符串。此匿名函数直接应用于包含程序代码的字符串，因此串联x^it^x^it产生<code>"<code>"。
第二个quine仅以";str(chr 34)^it;print(it^it)";绑定到的程序代码作为字符串开始it。然后str(chr 34)^it;将引号连接到字符串的开头，并且再次没有给出明确的标识符，结果字符串"<code>绑定到it。最后，print(it^it)将字符串与其本身的yield连接起来"<code>"<code>，然后将其打印出来。
说明
编辑：不再是最新的108字节版本，但是在阅读了此说明之后，人们也可能会理解它。
引号安全的quine结合了上述两种方法，并且本身就是形式"<code>"<code>。将其再次放在引号中会产生""<code>"<code>"，因此我们得到一个空字符串，然后是另一种形式的奎因。
这意味着该程序要么"<code>以标识符的形式为其提供了自己的源it，要么it是公正的"，并且给了我们自己的源<code>作为参数，因此必须是处理此类参数的函数。
(if size it>1then(print(it^it);fn _=>())else fn x=>print(it^it^x^it^x^it))
为了确定在哪种情况下，我们检查的大小it是否大于1。如果不是，it则为is "，并且在第二种情况下，因此else-part返回一个匿名函数fn x=>print(it^it^x^it^x^it)，该函数随后被调用，因为其后跟源为字符串。请注意it^it^程序开头的空字符串所需的前导。
如果size it大于1，那么我们在then-part中执行print(it^it)，对吧？不完全是，因为我忘了告诉你，SML是强类型的，这意味着一个条件if <cond> then <exp_1> else <exp_2>必须始终具有相同类型的这又意味着该表达式<exp_1>，并<exp_2>需要有相同的类型。我们已经知道了该else部分的类型：一个匿名函数，该函数接受一个字符串然后调用，该函数print具有type string -> <return type of print>，并且print具有type string -> unit（unit在某种程度上类似于void其他语言），因此生成的type也是string -> unit。
因此，如果then零件只是print(it^it)具有type 的部分unit，我们将收到类型不匹配错误。那又如何fn _=>print(it^it)呢？（_是未使用的参数的通配符）此匿名函数本身具有类型'a -> unit，其中，'a代表任意类型，因此在我们的条件（该条件强制执行一个string -> unit类型）的情况下，它将起作用。（type变量'a使用type实例化string。）但是，在这种情况下我们将不会打印任何内容，因为永远不会调用匿名函数！记住，当我们进入then-part时，整体代码为"<code>"<code>，因此<code>-part的值等于一个函数，但由于后面没有任何内容，因此不会调用它。
相反，我们使用具有形式sequentialisation (<exp_1>; ...; <exp_n>)其中<exp_1>以<exp_n-1>可有任意类型和类型<exp_n>提供了全sequentialisation的类型。从功能的角度来看，<exp_1>to 的值<exp_n-1>被简单地丢弃，但是SML还支持命令式构造，因此表达式可能会有副作用。简而言之，我们将其(print(it^it);print)作为then-part，因此首先打印，然后返回print具有正确类型的函数。