この記事はTSKaigi2024での以下の私の発表内容を書き下ろしたものです。 なぜAPIに型をつけたいのか 現代のWebのシステム開発において、クライアント・サーバーともに型のある言語で開発されることが増えてきました。静的な型検査はコードの堅牢性やよりよいメンテナンス性の向上をもたらします。 プログラミング内部だけで型検査をするだけでも十分メリットはありますが、外部I/Oに対する型付けが不十分だとそのメリットを最大限に発揮してるとは言えません。外部I/Oとは、例えばWebフロントエンドだとLocalStorageやDOMからの入力値、それからネットワーク通信（今回はこれをAPIと呼びます[1]）などですね。サーバー側でいうとAPIからの入力・レスポンスやデータベースへの読み書きが該当します。 個人的な経験から言うと、Webシステムの開発におけるエラーの多くはAPIやデータベースとのやり取

※1 いわゆる移動時間(moving time)です。休憩込みの所要時間(グロス時間)は15時間かかっています。 ※2 Garmin Connectより。 ※3 RWGPS地理院標高 - Chrome拡張機能を用いて正確に見積もると1,983 mです。 バッテリーの内装、ケースの作成、細かい機能の作り込み、市販品にはない機能の作成が十分にできておらず、まだ完成には至っていませんが、「意外と作れてしまい、驚き」というのが率直な感想です。 個人がそれぞれの嗜好に合わせてデバイスを作れる時代は、少しずつやってくるのかもしれません。 なぜ作ろうとしたか サイクリングという趣味を広く長く愉しむ過程、また、Linuxや多少のプログラミングの経験があるというバックグラウンドが合わさって、この形になりました。 サイクルコンピューターの進化 元々、サイクルコンピューターはモノクロ液晶にスピードや距離、時計を

突然ですが、まとめます。 「みんなへのおすすめ」ではなく、私が帰省した時に訪ねたいお店、という基準です。 名前の後ろに ⭐️ が付いているやつは特に優先度高めのやつです。 🍔 A&W沖縄 ⭐️ 🍔 キャプテンカンガルー 🍛 ハリーズカフェ ⭐️ 🍛 あじとや 🍛 ゴカルナ 🌮 キングタコス ⭐️ 🌮 メキシコ 🍚 坦々亭 ⭐️ 🍔 A&W沖縄 ⭐️ www.awok.co.jp 沖縄県内のファストフード店といえばここ。あとは Jef とか。 私はいつも「メルティダブル + スーパーフライ + オレンジ」です。カーリーフライ派やルートビア派とも仲良くできます。 🍔 キャプテンカンガルー tabelog.com 個人ランキング県内最強ハンバーガー。肉もジューシーだしバンズもうまいし。 (美味しさだけであれば ⭐️ つけたいけど、遠いし人も並ぶのでなかなかね) 🍛 ハリーズ