Rustとクトゥルフ神話

この記事はドワンゴ Advent Calendar 2024の12日目の記事です。

はじめに

H・P・ラヴクラフトはアメリカの小説家で、「クトゥルフ神話」の創始者として知られています。
クトゥルフ神話とは（解説する必要もないほど有名ですが）、ラヴクラフトの小説「クトゥルー¹の呼び声」を発端とするシェアード・ワールドです。
かつて地球を支配した邪神にまつわる宇宙的恐怖(コズミック・ホラー)やゴシック的懐古趣味、はたまたSF的な要素が組み合わされた世界観が特徴で、いまはTRPGの展開も有名ですね。

さてここでは、ラヴクラフトとRustにまつわる小話を紹介します。

ランタイムを覆う影²

さまざまなイースターエッグ

本題に入る前に、まずイースターエッグについて見ておきましょう。
IT用語としてのイースターエッグとは、ソフトウェアに隠された、それ本来の目的とは関係ない隠し要素のことです。
一般に有名なものとしては、たとえば、Googleの検索画面にはいくつものイースターエッグが仕込まれています。

• 「一回転」を検索すると一回転する
• 「再帰」と検索すると「もしかして: 再帰」がサジェストされる

などですね。

より技術寄りの例としては、vimで:help 42というコマンドを入力すると、生命、宇宙、その他もろもろについての深淵なる疑問の答えをふくむテキストが表示されます³。

What is the meaning of life, the universe and everything?  *42*
Douglas Adams, the only person who knew what this question really was about is
now dead, unfortunately.  So now you might wonder what the meaning of death
is...

==============================================================================

Next chapter: |usr_43.txt|  Using filetypes

Copyright: see |manual-copyright|  vim:tw=78:ts=8:noet:ft=help:norl:

また、プログラミング言語そのものにイースターエッグが仕込まれていることもあります。たとえばpythonのREPLを起動して

>>> import this

を実行すると、有名な "The Zen of Python" が出力されます。

The Zen of Python, by Tim Peters

Beautiful is better than ugly.
Explicit is better than implicit.
Simple is better than complex.
Complex is better than complicated.
Flat is better than nested.
Sparse is better than dense.
Readability counts.
Special cases aren't special enough to break the rules.
Although practicality beats purity.
Errors should never pass silently.
Unless explicitly silenced.
In the face of ambiguity, refuse the temptation to guess.
There should be one-- and preferably only one --obvious way to do it.
Although that way may not be obvious at first unless you're Dutch.
Now is better than never.
Although never is often better than *right* now.
If the implementation is hard to explain, it's a bad idea.
If the implementation is easy to explain, it may be a good idea.
Namespaces are one honking great idea -- let's do more of those!

余談ですが、thisモジュールの実装はかなり奇妙です。気になる方は、

>>> import inspect
>>> inspect.getsource(this)

などで確認してみてください⁴。

Rustのイースターエッグ

ひるがえってRustではどうでしょうか。
現在のRustにはマイナーないくつかのイースターエッグがあります。
わたしが確認した範囲だと、

• test-dummy-unstableに関連してim-a-teapot⁵というオプションが定義されている⁶
• 🦀を変数名に用いると特別なエラーメッセージが出力される
  • let 🦀 = '🦀'と定義してコンパイルすると、Ferris cannot be used as an identifierというエラーになる

などが見つかりました。
一方で、廃止されてしまったものもあります。かつてRustでは、Runtimeのabort時にラヴクラフト作品の引用が出力されていました。

表示される引用文はいくつかの候補から選ばれるようになっており、たとえば0番目は「クトゥルーの呼び声」の一節です。

It was from the artists and poets that the pertinent answers came, and I
know that panic would have broken loose had they been able to compare notes.
As it was, lacking their original letters, I half suspected the compiler of
having asked leading questions, or of having edited the correspondence in
corroboration of what he had latently resolved to see.

適切な回答は芸術家や詩人たちから来たもので、もし彼らが回答を比較できていたならパニック(panic)が起こっていただろう。
実のところ、回答の原文が残っていなかったため、私は編纂者(コンパイラ)の質問が誘導的でなかったか、あるいは彼が無意識に予見していたものを裏づけるために回答を編集したのではなかったか、と半ば疑っていた⁷。

panicやコンパイラ⁸など、プログラミングらしいワードが登場する気の利いた引用ですね⁹。

これらの引用は、標準ライブラリにおいて約2KBの容量を占め、Hello Worldのような基礎的なプログラムにさえ含まれてしまうことが問題視され、Rustから削除されてしまいました。

PR(プルリク)に乗りて歩むもの¹⁰

Spoon

さて、Rustを追われたラヴクラフトは、じつは他のOSSプロジェクトで生きのびています。
spoon¹¹というJavaの静的解析ツールに存在する、LovecraftExceptionクラスを見てみましょう¹²。

/*
* SPDX-License-Identifier: (MIT OR CECILL-C)
*
* Copyright (C) 2006-2023 INRIA and contributors
*
* Spoon is available either under the terms of the MIT License (see LICENSE-MIT.txt) or the Cecill-C License (see LICENSE-CECILL-C.txt). You as the user are entitled to choose the terms under which to adopt Spoon.
*/
package spoon;

/**
* "It was from the artists and poets that the pertinent answers came"
*
* In Spoon, we do believe that poetry has a place in software.
*
* This class counters the dark side of the force which won at https://github.com/rust-lang/rust/issues/13871
*/
public class LovecraftException extends SpoonException {
   private static final long serialVersionUID = 1L;

   public static final String lovecraft =
   	"It was from the artists and poets that the pertinent answers came, and I\n"
   	+ "know that panic would have broken loose had they been able to compare notes.\n"
   	+ "As it was, lacking their original letters, I half suspected the compiler of\n"
   	+ "having asked leading questions, or of having edited the correspondence in\n"
   	+ "corroboration of what he had latently resolved to see."
   	+ "There are not many persons who know what wonders are opened to them in the\n"
   	+ "stories and visions of their youth; for when as children we listen and dream,\n"
   	+ "we think but half-formed thoughts, and when as men we try to remember, we are\n"
   	+ "dulled and prosaic with the poison of life. But some of us awake in the night\n"
   	+ "with strange phantasms of enchanted hills and gardens, of fountains that sing\n"
   	+ "in the sun, of golden cliffs overhanging murmuring seas, of plains that stretch\n"
   	+ "down to sleeping cities of bronze and stone, and of shadowy companies of heroes\n"
   	+ "that ride caparisoned white horses along the edges of thick forests; and then\n"
   	+ "we know that we have looked back through the ivory gates into that world of\n"
   	+ "wonder which was ours before we were wise and unhappy."
   	+ "Instead of the poems I had hoped for, there came only a shuddering blackness\n"
   	+ "and ineffable loneliness; and I saw at last a fearful truth which no one had\n"
   	+ "ever dared to breathe before — the unwhisperable secret of secrets — The fact\n"
   	+ "that this city of stone and stridor is not a sentient perpetuation of Old New\n"
   	+ "York as London is of Old London and Paris of Old Paris, but that it is in fact\n"
   	+ "quite dead, its sprawling body imperfectly embalmed and infested with queer\n"
   	+ "animate things which have nothing to do with it as it was in life."
   	+ "The ocean ate the last of the land and poured into the smoking gulf, thereby\n"
   	+ "giving up all it had ever conquered. From the new-flooded lands it flowed\n"
   	+ "again, uncovering death and decay; and from its ancient and immemorial bed it\n"
   	+ "trickled loathsomely, uncovering nighted secrets of the years when Time was\n"
   	+ "young and the gods unborn. Above the waves rose weedy remembered spires. The\n"
   	+ "moon laid pale lilies of light on dead London, and Paris stood up from its damp\n"
   	+ "grave to be sanctified with star-dust. Then rose spires and monoliths that were\n"
   	+ "weedy but not remembered; terrible spires and monoliths of lands that men never\n"
   	+ "knew were lands..."
   	+ "There was a night when winds from unknown spaces whirled us irresistibly into\n"
   	+ "limitless vacuum beyond all thought and entity. Perceptions of the most\n"
   	+ "maddeningly untransmissible sort thronged upon us; perceptions of infinity\n"
   	+ "which at the time convulsed us with joy, yet which are now partly lost to my\n"
   	+ "memory and partly incapable of presentation to others."
   	+ "You've met with a terrible fate, haven't you?";

   public LovecraftException(String message) {
   	super(lovecraft + "\n" + message);
   }
}

Rustで削除された引用が、このクラスにまるごと移植されていることがわかります。
個人的には、このクラスがExceptionとして実装されている点にJavaらしさを感じます¹³。

さらにこぼれ話として、このクラスには実用例（！）があります。
Spoonのコード中で、例外を投げる処理が一箇所だけLovecraftExceptionに置き換えられている のです。
In Spoon, we do believe that poetry has a place in software.というコメントをまさに実行していますね¹⁴。エラーメッセージのA lambda can't have two bodies.も、どこか文学的に見えてきます。

おわりに

昨今では、品質管理の観点から、開発者の遊び心によってソフトウェアになにかを仕込む機会はなくなってきているように思います。
それ自体は当然の流れではありますが、たまにはOSSでしぶとく生きながらえるこういった要素を愛でてみるのもよいかもしれません。

かくのごとき偉大な力や存在については、あるいは生きながらえているものがいるのかもしれない……永劫の太古から生きながらえているのかもしれない……おそらく太古には意識が姿や形に体現していたのであって、進展する人類の絶頂期をまえに退いて久しいとはいえ……そうした姿はわずかに詩と伝説のみがうつろいゆく記憶をとらえ、それらを神々、怪物、ありとあらゆるたぐいの神話の生物と呼び……

アルジャーノン・ブラックウッド¹⁵

1. 「クトゥルフ」との表記揺れがありますが、わたしは青心社の「暗黒神話体系シリーズ　クトゥルー」を愛読していたのでこちらの表記にします。 ↩

2. インスマスを覆う影 ↩

3. 説明する必要もないほど有名かもしれませんが、補足しておきます。「生命、宇宙、その他もろもろについての深淵なる疑問の答え」が「42」だというのは、名作SF「銀河ヒッチハイク・ガイド」に登場するエピソードです。超知性を備えた汎次元生物であるところのねずみが開発したスーパーコンピュータ「ディープ・ソート」が750万年かけて導き出した答えが「42」でした。 ↩

4. Githubでも閲覧できます。The Zen of Pythonの文章がROT13で"暗号化"されていますね。ROT13は分類としてはシーザー暗号の一種で、変換を2回適用すると元に戻るというちょっとおもしろい特徴があります。 ↩

5. im-a-teapotはそれ自体がまたイースターエッグで、「サーバーが、自身がティーポットであることを理由としてコーヒーを入れることを拒否する」ことを示すHTTPステータスコードです。 ↩

6. こちらは、厳密にいうとRust本体ではなくてcargoのイースターエッグですが。 ↩

7. 翻訳は筆者。 ↩

8. 原文における "compiler" は、手紙を集めて整理していた主人公の大叔父を指しています。compilerといえば、プログラミングにおける意味でしか使ったことがなかったですが、すくなくともラヴクラフトの語彙にはあったんですね。 ↩

9. 他にプログラミング的な文言があるか探してみましたが、3番目の引用文にある"terrible spires and monoliths(モノリス)"ぐらいでしょうか。 ↩

10. 風に乗りて歩むもの ↩

11. 筆者はこのOSSを業務で使っていたことがあり、3行ぐらいコミットしたこともあります。逆にこちらからRustのイースターエッグのことを知りました。 ↩

12. MITライセンスのもとに掲載します。 ↩

13. Javaにおける例外が、検査例外・非検査例外にまつわる考え方など、よくも悪くもJavaらしさを感じさせる部分だからかもしれません。 ↩

14. ちなみに、commitメッセージもfix: poetry has a place in softwareとなっています。 ↩

15. H.P.ラヴクラフト「クトゥルーの呼び声」のエピグラフより。 ↩