oraccha https://blog.hatena.ne.jp/oraccha/ Plan9日記 https://oraccha.hatenadiary.org/ Inferno styxlibの話に入る前にpickについて書いておく。メッセージパッシングのプログラムでは、メッセージをあるフォーマットのデータ構造にpack/unpackする必要があるが、pickはそんなときに便利な機能だ。Cでは、構造体の先頭にメッセージの種類（or タグ）を格納しておいて、その後にunionを使って、種類ごとに異なるデータ構造が続く。LimboにはCのunionのようなpickという構文がある。以下では説明のために、一つのpickと関数からなるApick ADTを宣言する*1。Apickの各タグ（Stirng、Int、Real）は一つのメンバしかもっていないが、もちろん複数のメンバを持… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Foraccha.hatenadiary.org%2Fentry%2F20080224%2F1203830101" title=" pick ADT - Plan9日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-02-24 14:15:01 rich https://oraccha.hatenadiary.org/entry/20080224/1203830101 1.0 100%