EnumやUnionの列挙子が増えたときに起こりうる人為的なバグを撲滅したい

9 min read | #設計 #enum #switch #パターンマッチング

こんにちは、@p1ass です。

Enum や Union 型は、取りうる値を列挙する上で非常に便利な構文です。曜日のようなものを全列挙したり、エラーコードのように本来 string 型として無限の集合だったものを有限の列挙としてアプリケーション側で扱ったりと、様々な用途で使われます。

これらの型は if や switch などの条件分岐やパターンマッチングと共に使われることが多いです。しかし、これらの処理は列挙子を増えたときに意図しないバグを埋め込んでしまうことも多いです。そこでこの記事では、Enum と switch を組み合わせたときに人為的に起こしうるバグを紹介しつつ、できるだけ静的にバグを発見するための方法を考えていきます。

先に話をまとめると、この記事に書いてあることは、

default はできるだけ使わないようにする
switch 式や match 式があるプログラミング言語は羨ましい
上記の構文がない言語では静的解析に頼ろう

になります。

サンプルコードは TypeScript と Rust で書いていますが、これらの言語特有の話をしたいのではなく、一例として挙げています。

2021/9/23

他言語を書いているエンジニアがJavaをざっくりキャッチアップする

9 min read | #開発 #Java #入門

こんにちは、@p1ass です。

この記事は、他のプログラミング言語は書いているが Java はそんなに書いていない/忘れた私が Java をキャッチアップするために得た知識をまとめたものです。ある程度他の言語を書いている人であれば文法周りは困らないと思うので、エコシステム周りを重点的に書いています。

2021/8/24

ISUCON11予選に出場し48位で予選敗退しました

9 min read | #ISUCON #Go

こんにちは @p1ass です。

今年も去年に引き続き ISUCON の予選に参加しました。去年は FAIL で学生枠の本戦出場を逃したので「今年こそは！」と思っていたのですが、タイトルの通り予選敗退しました。結果は Best が 71,673 点、追試スコアが 67,097 点で 48 位でした。

この記事では、競技中にやったことをまとめておきます。実装言語は Go で、メンバーは @Lorse と @usagiga です。

2021/8/16

「データ指向アプリケーションデザイン」を読んだ

3 min read | #読書 #設計 #データベース #インフラ

こんにちは、@p1ass です。

先日、ずっと積んであった「データ指向アプリケーションデザイン」を読み終わりました。書籍自体は一年半以上前に頂いていたのですが、当時の自分には難しい内容でずっと放り投げていました。しかし、最近になって本書のサブタイトルにもある 「信頼性、拡張性、保守性の高い分散システム設計」 に対する興味が増したので改めて読み始めました。今回は興味も相まって最後まで読み切れたので、忘れないうちに軽く本書を読んだ感想を書いておこうと思います。

2021/6/6