はてなブックマーク

はじめに 先日、こんな素敵な記事を目にしました さすがTypeScriptさん。型定義の自由度が非常に高く、色んな表現が出来ます。 この問題一通りやれば、TypeScriptの型定義もマスター出来るんですかね。 ところで、実は型なし言語のPythonにも型定義が存在します。 TypeScriptやJavaのように、コンパイルエラーを発生させるような強制力はないのですが、VSCodeを始めとしたエディタと協力することで、十分素敵な開発体験を送れます。 def foo(x: int): pass # VSCodeの拡張機能Pylanceを使用した場合、以下コードで赤波線が引かれます foo("1") ちなみに、mypyというライブラリを使用すれば、コマンドライン上で型チェックを実現することが出来ますので、皆様のCI環境に組み込むことで、型付言語とほとんど同様の強制力をもたせることができます さ

初めに ChatGPTの登場によって、ここ数カ月、生成系AIが非常に盛り上がっていますね。 連日新しいサービスやプラグインが生まれているイメージです。 さて、エンジニア界隈では、このChatGPTにプログラムを自動生成してもらい、ノーコードツールのように使用するようなユースケースが度々見受けられます。（日本語で書いた文章から自動でアプリケーションを構築するサービスなんかも出来てましたね） 今回は、そんなChatGPTとGitHubCopilot（以降Copilotと表記します）を使用してアプリケーション開発をしてみたので、その感想や上記ツールを使用するコツを書いていこうと思います。 アプリケーションアーキテクチャ 今回開発したアプリケーションのアーキテクチャは以下の構成になっています。（本記事に直接は関係ないので、読み飛ばしてもらって問題ないです） バックエンド AWS Chalice A

(ⅱ)AWS Black Belt Online Semminerを聞きまくる（対象：アソシエイト、スペシャリスト系） AWS公式が出している所謂「BlackBelt」です。 PDF版とYoutube版（PDFの内容を話している）がありますが、私はYoutube版を移動時間や家事中などの隙間時間にひたすら流してました。 音だけなのでスライドは見てないのですが、以外と内容は伝わります。 BlackBeltは様々なサービスについて、基本的なサービスの使い方から細かいカスタマイズ、ユースケースまで幅広く取り扱ってくれていますが、私は主要なサービスの概要と基本的なユースケースを抑えるために使っていました。なので、音だけでもなんとかなったのかもしれませんね。 上記理由から、アソシエイト系で使うことが多かったです。（SQSとは、CloudFormationとは、CloudFrontとは、等々） スペシ

前書き アプリケーション開発において大変重要となるのがテストです。既存のアプリケーションに様々な変更が入る度に、既存の機能に新たなバグを潜めてないか確認するために、多くのエンジニアが苦汁を舐めた経験があることでしょう・・・。（そこでバグが見つかればいいが、忘れたころに発見すると・・・） そんな面倒なテストを自動化するために、最近はテストコード、あるいはテスト自動化が流行ってきていると思います。 ただし、オンプレミスでテストを行っていると、すぐにテスト用のDBなんて用意出来ないです。そのため、開発用で利用しているDBをそのまま使うパターンがままあると思います。 しかし、そうなると次に問題になるのがDBの状態です。様々な開発及びテストによってぐちゃぐちゃになったDB内部のデータを利用すると、その状態に応じて、結果は変わってきます。このような状態になってしまうと、本来確認したい観点を確認すること

CRDT とは何か Google Docs など共同編集機能があるシステムの裏で文章のコンフリクトをリアルタイムに競合解決を行っているアルゴリズムの一つに、CRDT (Conflict-free Replicated Data Type)というものがあります。 参考 CRDT の他に、OT(Operational Transformation)、日本語では操作変換と呼ばれるものもあり、こちらは 1989 年頃には存在していて歴史が古く、Google Wave や Google Docs などで採用されています 参考 Google Wave などを開発していた中の人のブログ 「I was wrong. CRDTs are the future」という強いタイトルの記事 CRDT の JS 実装で有名なものに yjs があります（Star 2.8k） yjs には CodeMirror や M